1163 search results - page 47 / 233 » Case Studies of Model Checking for Embedded System Designs |
135
Voted
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
Control design and real-time implementation are usually performed in isolation. The effects of the computer implementation on control system performance are still evaluated on the...
135
click to vote
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Many application domains require adaptive realtime embedded systems that can change their functionality over time. In such systems it is not only necessary to guarantee ...
96
Voted
CHI
2007
ACM
16 years 4 months ago
2007
ACM
In this paper we present the MapMover project as a case study into the use and design of an interactive system for collective expression. Informed by analysis and reflection we ad...
136
click to vote
SOSE
2006
IEEE
15 years 10 months ago
2006
IEEE
The globalization of software development helps to reduce business cost by outsourcing software design and development tasks. However, it also poses new challenges on the collabor...
146
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
Use case models capture and describe the functional requirements of a software system. A use case driven development process, where a use case model is the principal basis for con...