Search results for "event-based models"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel	Fluent temporal logic for discrete-time event-based models.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	discrete-time event-based models, fluent linear temporal logic, model-checking, software architecture analysis
2	Michael Young, David L. Levine, Richard N. Taylor	Comments on ``Temporal Logic-Based Deadlock Analysis for Ada''.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	temporal logic-based deadlock analysis, axiomatic proof method, event-based models, computational complexity, computational complexity, Ada, Ada, temporal logic, concurrency control, nondeterminism, symbolic manipulation, symbol manipulation, state-based models
1	Klaus Kabitzsch, Jens Naake, Andre Roeder, Volodymyr Vasyutynskyy	Rapid migration and commissioning of industrial equipment.	ETFA	2008	DBLP DOI BibTeX RDF
1	Branimir Wetzstein, Zhilei Ma, Frank Leymann	Towards Measuring Key Performance Indicators of Semantic Business Processes.	BIS	2008	DBLP DOI BibTeX RDF	Semantic Business Process Management, Business Activity Monitoring, Key Performance Indicator
1	Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Hai H. Wang	Specifying and Verifying Event-Based Fairness Enhanced Systems.	ICFEM	2008	DBLP DOI BibTeX RDF
1	Dominique Cansell, Dominique Méry	Proved-Patterns-Based Development for Structured Programs.	CSR	2007	DBLP DOI BibTeX RDF
1	Marcio S. Dias, Debra J. Richardson	The Role of Event Description in Architecting Dependable Systems.	WADS	2002	DBLP DOI BibTeX RDF
1	Nestor Lopez, Marianne Simonot, Véronique Donzeau-Gouge	Deriving Software Specifications from Event Based Models.	ZB	2000	DBLP DOI BibTeX RDF	System Property, Environment Interaction, Shared module, Distributed System, Refinement, Event, System model, Concurrent Process, Program Specification, Atomic Operation
1	Wang-Chien Lee, Johnson Lee, Karen E. Huff	On Simulation Modeling of Information Dissemination Systems in Mobile Environments.	MDA	1999	DBLP DOI BibTeX RDF
1	Alex Kondratyev, Michael Kishinevsky, Alexandre Yakovlev	Hazard-free implementation of speed-independent circuits.	IEEE Trans. on CAD of Integrated Circuits and Systems	1998	DBLP DOI BibTeX RDF
1	Twan Basten, Thomas Kunz, James P. Black, Michael H. Coffin, David J. Taylor	Vector Time and Causality Among Abstract Events in Distributed Computations.	Distributed Computing	1997	DBLP DOI BibTeX RDF	Event abstraction, Vector time, Distributed systems, Causality, Partial order, Logical time, Precedence relation
1	Peter C. Bates	Debugging Heterogeneous Distributed Systems Using Event-Based Models of Behavior	ACM Trans. Comput. Syst.	1995	DBLP DOI BibTeX RDF	debugging, events, behavior modeling
1	Nelson Morgan, Hervé Bourlard, Steven Greenberg, Hynek Hermansky	Stochastic perceptual auditory-event-based models for speech recognition.	ICSLP	1994	DBLP BibTeX RDF
1	G. Michele Pinna, Axel Poigné	On the Specification of Elementary Reactive Behaviour.	MFPS	1993	DBLP DOI BibTeX RDF
1	Arend Rensink	Posets for Configurations!	CONCUR	1992	DBLP DOI BibTeX RDF
1	Peter C. Bates	Debugging Heterogeneous Distributed Systems Using Event-Based Models of Behavior.	Workshop on Parallel and Distributed Debugging	1988	DBLP DOI BibTeX RDF