3256 search results - page 228 / 652 » Applications of Formal Methods to System Design and Verifica... |
159
click to vote
MEMOCODE
2010
IEEE
15 years 4 months ago
2010
IEEE
Elastic systems provide tolerance to the variations in computation and communication delays. The incorporation of elasticity opens new opportunities for optimization using new corr...
203
click to vote
ECWEB
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The adoption of mobile technologies into companies frequently follows a technology -driven approach without precise knowledge about the potential benefits that may be rea...
159
click to vote
FMSB
2008
15 years 8 months ago
2008
In this work we develop a new technique for over-approximating (in the sense of timed trace inclusion) continuous dynamical systems by timed auThis technique refines commonly-used ...
194
click to vote
GI
2005
Springer
16 years 1 days ago
2005
Springer
: This contribution discusses the application of Petri nets for modeling workflow in healthcare based on a normative language approach. After a brief inon, a framework of different...
183
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...