1888 search results - page 42 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
123
click to vote
DEBU
2008
15 years 2 months ago
2008
Data-driven Web services, viewed broadly as interactive systems available on the Web for users and programs, provide the backbone for increasingly complex Web applications. While ...
110
Voted
FDL
2004
IEEE
15 years 6 months ago
2004
IEEE
We present a rigorous but transparent semantics definition of SystemVerilog that covers processes with blocking and non-blocking statements as well as their interaction with the s...
114
Voted
FORTE
1998
15 years 3 months ago
1998
: In this paper a co-design methodology based on multiformalism modelling is presented. It defines a platform that integrates different notations and, the necessary mechanisms to h...
158
click to vote
TC
2010
14 years 9 months ago
2010
Hybrid systems have emerged as an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. Under this paradigm, distr...
106
click to vote
KI
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. This paper presents a method for engineering and programming multirobot systems, based on a combination of statecharts and hybrid automata, which are well-known in the fi...