1018 search results - page 32 / 204 » Abstraction and Refinement in Model Checking |
123
Voted
ENTCS
2007
15 years 14 days ago
2007
ion and Completeness for Real-Time Maude Peter Csaba ¨Olveczky a,b and Jos´e Meseguer b a Department of Informatics, University of Oslo b Department of Computer Science, Universi...
97
Voted
DSOM
2006
Springer
15 years 4 months ago
2006
Springer
This paper describes an approach for application specific conflict prevention based on model-driven refinement of policies prior to deployment. Central to the approach is an algori...
102
click to vote
CODES
2001
IEEE
15 years 4 months ago
2001
IEEE
Models of computation like Kahn and dataflow process networks provide convenient means for modeling signal processing applicahis is partly due to the abstract primitives that thes...
129
Voted
GLVLSI
2007
IEEE
15 years 4 months ago
2007
IEEE
he abstract and simple computation and communication mechanism in the synchronous computational model it is easy to simulate synchronous systems and to apply formal verification m...
91
Voted
ENTCS
2006
15 years 16 days ago
2006
Industry is looking to create a market in reliable "plug-and-play" components. To model components in a modular style it would be useful to combine event-based and state...