641 search results - page 33 / 129 » Combining Aspects of Reactive Systems |
128
Voted
ISORC
1999
IEEE
15 years 4 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
104
click to vote
VALUETOOLS
2006
ACM
15 years 6 months ago
2006
ACM
— Multi-server and multi-queue architectures are common mechanisms used in a large variety of applications (call centers, Web services, computer systems). One of the major motiva...
SIGMETRICS
2005
ACM
15 years 6 months ago
2005
ACM
Multi-server and multi-queue architectures are common mechanisms used in a large variety of applications (call centers, Web services, computer systems). One of the major motivatio...
94
Voted
IAJIT
2007
15 years 12 days ago
2007
: Software analysis pattern is an approach of software reuse which provides a way to reuse expertise that can be used across domains at early level of development. Developing softw...
114
Voted
BIRTHDAY
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. This paper combines three topics to which Amir Pnueli contributed significantly: the semantics of languages for concurrency, the semantics of statecharts, and reactive an...