5477 search results - page 542 / 1096 » Contexts, Domains, and Software |
187
click to vote
FATES
2004
Springer
16 years 24 days ago
2004
Springer
We present an extension of Tretmans’ theory and algorithm for test generation for input-output transition systems to real-time systems. Our treatment is based on an operational i...
202
click to vote
ICESS
2004
Springer
16 years 24 days ago
2004
Springer
An integrated solution to guarantee real-time requirements in embedded real-time monitor and control systems is presented in this paper. First l task model is abstracted from such ...
218
click to vote
ICFEM
2004
Springer
16 years 24 days ago
2004
Springer
Circus is a combination of Z, CSP, and Morgan’s refinement calculus; it has an associated refinement strategy that supports the development of reactive programs. In this work, ...
168
Voted
MDM
2004
Springer
16 years 23 days ago
2004
Springer
This position paper looks back and takes stock in the context of mobile agent technologies1 . Our claim is that mobile agent technologies received wrong attention. Partially becau...
225
click to vote
IRI
2003
IEEE
16 years 21 days ago
2003
IEEE
- Middleware technologies change so rapidly that designers must adapt existing software architectures to incorporate new emerging ones. This paper proposes tectural pattern and gui...