3765 search results - page 348 / 753 » Formal Methods for Systems Engineering Behavior Models |
183
click to vote
EMSOFT
2007
Springer
15 years 10 months ago
2007
Springer
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...
169
click to vote
SIGSOFT
2006
ACM
16 years 22 days ago
2006
ACM
Developers of distributed systems routinely construct discrete-event simulations to help understand and evaluate the behavior of inter-component protocols. Simulations are abstrac...
194
click to vote
FUIN
2010
15 years 4 months ago
2010
Abstract. Complex biological systems involve incorporated behaviors of numerous processes, mechanisms and objects. However, experimental analysis, by its nature, divides biological...
155
click to vote
SFM
2009
Springer
16 years 1 months ago
2009
Springer
In this tutorial paper we present quantitative methods for analysing Web Services with the goal of understanding how they will perform under increased demand, or when asked to serv...
220
click to vote
AC
2005
Springer
15 years 6 months ago
2005
Springer
Reducing power consumption has become a major challenge in the design and operation of today's computer systems. This chapter describes different techniques addressing this c...