1163 search results - page 154 / 233 » Case Studies of Model Checking for Embedded System Designs |
136
click to vote
DAC
1996
ACM
15 years 8 months ago
1996
ACM
This paper provides a case study that shows how a demanding application stresses the capabilities of today's CAD tools, especially in the integration of products from multipl...
126
click to vote
INFOCOM
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract—Exponential bandwidth scaling has been a fundamental driver of the growth and popularity of the Internet. However, increases in bandwidth have been accompanied by increa...
146
click to vote
WOA
2007
15 years 5 months ago
2007
— This paper briefly describes the ELDATool, a Statecharts-based visual tool for the rapid prototyping of MultiAgent Systems based on the Event-driven Lightweight Distilled State...
139
click to vote
MHCI
2009
Springer
15 years 11 months ago
2009
Springer
Mobile technologies, due to their ubiquitous nature, play an important role in supporting health care. However, it is not easy to design useful integrated mobile services without ...
140
click to vote
JTRES
2009
ACM
15 years 9 months ago
2009
ACM
Safety Critical Java is a specification being built on top a subset of interfaces from the Real-Time Specification for Java. It is designed to ease development and analysis of s...