Search results for "TROL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
57	Pierfrancesco Bellini, Mario Andres Bruno, Paolo Nesi	Verification Criteria for a Compositional Model for Reactive Systems.	ICECCS	2000	DBLP DOI BibTeX RDF	verification criteria, system composition/decomposition, external interface, temporal constraint propagation, structural hierarchy, missing temporal constraints, TROL, object oriented real time language, formal specification, reactive systems, compositional model, graphical notation
42	Quan-Long Ding, Soung C. Liew	ABR Services Using a Parallel C trol Scheme in ATM Networks.	PDPTA	1997	DBLP BibTeX RDF
42	Giacomo Bucci, Paolo Nesi	Using TOOMS/TROL for specifying a cellular phone.	RTS	1995	DBLP DOI BibTeX RDF
42	Dominik Engel, Sven Bertel, Thomas Barkowsky	Spatial Principles in Control of Focus in Reasoning with Mental Representations, Images, and Diagrams.	Spatial Cognition	2004	DBLP DOI BibTeX RDF
21	Kazunori Mizuno, Yukio Fukui, Seiichi Nishihara	Urban Traffic Signal Control Based on Distributed Constraint Satisfaction.	HICSS	2008	DBLP DOI BibTeX RDF
21	Takao Konishi, Naohiro Hamada, Hiroshi Saito	A Control Circuit Synthesis Method for Asynchronous Circuits in Bundled-Data Implementation.	CIT	2007	DBLP DOI BibTeX RDF
21	Jochen Quante	Dynamic Object Process Graph Extraction for Program Understanding and Protocol Recovery.	CSMR	2007	DBLP DOI BibTeX RDF
21	Jochen Quante	Online Construction of Dynamic Object Process Graphs.	CSMR	2007	DBLP DOI BibTeX RDF
21	Vincent C. Hu, Evan Martin, JeeHyun Hwang, Tao Xie 0001	Conformance Checking of Access Control Policies Specified in XACML.	COMPSAC (2)	2007	DBLP DOI BibTeX RDF
21	Chun-Ming Leung, Yuen-Yan Chan	Network Forensic on Encrypted Peer-to-Peer VoIP Traffics and the Detection, Blocking, and Prioritization of Skype Traffics.	WETICE	2007	DBLP DOI BibTeX RDF	Enterprise Network Security, Network Foren- sics, Traffic Prioritiza- tion, Reverse Engineering, Blocking, Traffic Analysis, Skype, NAT Traversal
21	Tobias Graml, Ralf Bracht, Marcus Spies	Patterns of Business Rules to Enable Agile Business Processes.	EDOC	2007	DBLP DOI BibTeX RDF
21	Sruthi Bandhakavi, Charles C. Zhang, Marianne Winslett	Super-sticky and declassifiable release policies for flexible information dissemination control.	WPES	2006	DBLP DOI BibTeX RDF	release policies, privacy, declassification, sticky policies
21	Xinwen Zhang, Masayuki Nakae, Michael J. Covington, Ravi S. Sandhu	A usage-based authorization framework for collaborative computing systems.	SACMAT	2006	DBLP DOI BibTeX RDF	access control, authorization, security architecture, collaborative computing, usage control, UCON
21	Rafael K. S. Silva, César A. F. De Rose, Marilton S. de Aguiar, Graçaliz Pereira Dimuro, Antônio Carlos da Rocha Costa	HPC-ICTM: a Parallel Model for Geographic Categorization.	John Vincent Atanasoff Symposium	2006	DBLP DOI BibTeX RDF
21	Ümit Y. Ogras, Radu Marculescu	Prediction-based flow control for network-on-chip traffic.	DAC	2006	DBLP DOI BibTeX RDF	congestion control, networks-on-chip, flow control, multi-processor systems
21	Oliver Bringmann 0001, Wolfgang Rosenstiel, Carsten Menn	Controller Estimation for FPGA Target Architectures during High-Level Synthesis.	ISSS	2002	DBLP DOI BibTeX RDF	FPGA, controller, high-level synthesis, area estimation
21	Dechang Sun, Bapiraju Vinnakota, Wanli Jiang	Fast State Verification.	DAC	1998	DBLP DOI BibTeX RDF	model checking, verification, guided search