4250 search results - page 204 / 850 » Understanding the Requirements on Modelling Techniques |
CAISE
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Today’s large-scale computing systems are deployed in open, changing and unpredictable environments. To operate reliably, such systems should be able to adapt to new ci...
AAI
2004
13 years 10 months ago
2004
We are interested in applying model checking techniques to the verification of communication protocols which require safe communication. Typically, in such scenarios, one desires ...
ISORC
2007
IEEE
14 years 4 months ago
2007
IEEE
Methodologies, techniques and tools that currently support the embedded systems (ESs) development process prove inadequate for today’s complex ESs. Adopted traditional architect...
ICESS
2007
Springer
14 years 4 months ago
2007
Springer
Embedded software requires concurrency formalisms other than threads and mutexes used in traditional programming languages like C. Actor-oriented design presents a high level abstr...
FORMATS
2007
Springer
14 years 4 months ago
2007
Springer
Dierence Bound Matrices (DBMs) are the most commonly used data structure for model checking timed automata. Since long they are being used in successful tools like Kronos or UPPAA...