1163 search results - page 176 / 233 » Case Studies of Model Checking for Embedded System Designs |
148
click to vote
WICSA
2004
15 years 5 months ago
2004
A software reconfiguration pattern is a solution to a problem in component-based software systems where the configuration needs to be updated while the system is operational. It d...
129
Voted
SIMUTOOLS
2008
15 years 5 months ago
2008
In this paper we present a methodology for the evaluation of networked systems communicating using WLAN technology. We show a case study of goal-oriented cooperating robots, for w...
128
click to vote
DESRIST
2009
Springer
15 years 8 months ago
2009
Springer
Simon’s The Sciences of the Artificial is rightly influential as a founding text in design research in the information systems field (IS). Simon’s contributions in the same vo...
130
Voted
ECIS
2001
15 years 5 months ago
2001
This paper argues for a return to fundamentals as we enter the new millennium. It argues that the field of Information Systems should no longer be distracted from its natural locu...
160
Voted
ESTIMEDIA
2008
Springer
15 years 5 months ago
2008
Springer
The relentless increase in multimedia embedded system application requirements as well as improvements in IC design technology have motivated the deployment of chip multiprocessor ...