9989 search results - page 1539 / 1998 » A CLP Approach to Modelling Systems |
194
click to vote
EMSOFT
2004
Springer
16 years 8 days ago
2004
Springer
Esterel is a system-level language for the modelling, verification and synthesis of control dominated (reactive) embedded systems. Existing Esterel compilers generate intermediat...
190
click to vote
MIDDLEWARE
2004
Springer
16 years 7 days ago
2004
Springer
In order for middleware systems to be adaptive, their properties and services need to support a wide variety of application-specific policies. However, application developers and ...
168
click to vote
ANSS
2003
IEEE
16 years 5 days ago
2003
IEEE
As the average bandwidth capacity is increasing, users around the world demand for shorter service time. While the servers are able to acquire more bandwidth, they can not keep up...
165
click to vote
MFCS
1997
Springer
15 years 11 months ago
1997
Springer
The aim of this paper is an integration of graph grammars with different kinds of behavioural constraints, in particular with temporal logic constraints. Since the usual algebraic ...
184
click to vote
DAGSTUHL
2004
15 years 8 months ago
2004
Although computer systems penetrate all facets of society, the software running those systems may contain many errors. Producing high quality software appears to be difficult and v...