1163 search results - page 25 / 233 » Case Studies of Model Checking for Embedded System Designs |
155
click to vote
DAC
2008
ACM
16 years 2 months ago
2008
ACM
Embedded systems with heterogeneous processors extend the energy/timing trade-off flexibility and provide the opportunity to fine tune resource utilization for particular applicat...
154
click to vote
DSVIS
1998
Springer
15 years 6 months ago
1998
Springer
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
122
Voted
VRML
2010
ACM
15 years 5 months ago
2010
ACM
In this paper, we describe a case study in usability engineering for Web3D learning systems and introduce a new step to the typical methods of the usability design. Pedagogical ap...
111
Voted
SAC
2009
ACM
15 years 8 months ago
2009
ACM
We study collaborative modeling of business processes with respect to the impact of tool support on the modeling process. For this purpose we compared model quality and modeling c...
131
Voted
CJ
2004
15 years 1 months ago
2004
This paper describes a way to manage the modeling and analysis of Scheduled Maintenance Systems (SMS) within an analytically tractable context. We chose a significant case study h...