1163 search results - page 99 / 233 » Case Studies of Model Checking for Embedded System Designs |
198
click to vote
CIDR
2009
15 years 5 months ago
2009
Recent excitement in the database community surrounding new applications--analytic, scientific, graph, geospatial, etc.--has led to an explosion in research on database storage sy...
124
click to vote
IJCNN
2007
IEEE
15 years 10 months ago
2007
IEEE
— Recent brain imaging studies on primates revealed that a network of brain areas is activated both during observation and during execution of movements. The present work aims at...
146
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
The Unified Software Development Process (USDP) and Unified Modeling Language (UML) have been now generally accepted as the standard methodology and modeling language for developin...
147
click to vote
MASCOTS
2003
15 years 5 months ago
2003
System-level design presents special simulation modeling challenges. System-level models address the architectural and functional performance of complex systems. Systems are decom...
107
click to vote
EDO
2000
Springer
15 years 8 months ago
2000
Springer
Abstract Designing and maintaining a distributed system requires consideration of dependencies and invariants in the system's model. This paper suggests expressing distributio...