1163 search results - page 203 / 233 » Case Studies of Model Checking for Embedded System Designs |
115
click to vote
JSW
2008
15 years 1 months ago
2008
An application framework provides reusable design and implementation for a family of software systems. At the application engineering stage, application developers extend framework...
134
click to vote
CODES
2009
IEEE
15 years 5 months ago
2009
IEEE
Technological advancements due to Moore’s law have led to the proliferation of complex wireless sensor network (WSN) domains. One commonality across all WSN domains is the need ...
105
click to vote
RTSS
2006
IEEE
15 years 8 months ago
2006
IEEE
A real-time database is composed of real-time objects whose values remain valid only within their validity intervals. Each object in the database models a real world entity. The f...
123
Voted
ESEM
2007
ACM
15 years 3 months ago
2007
ACM
An important number of studies have addressed the importance of models in software engineering, mainly in the design of robust software systems. Although models have been proven t...
110
click to vote
SIGCOMM
2006
ACM
15 years 7 months ago
2006
ACM
A pervasive requirement of distributed systems is to deal with churn — change in the set of participating nodes due to joins, graceful leaves, and failures. A high churn rate ca...