7109 search results - page 1340 / 1422 » Process Algebra with Combinators |
124
click to vote
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
The correct interplay among components in a distributed, reactive system is a crucial development task, particularly for embedded systems such as those in the automotive domain. M...
128
click to vote
HIP
2005
Springer
15 years 9 months ago
2005
Springer
Human interaction proofs (HIPs) have become common place on the internet due to their effectiveness in deterring automated abuse of online services intended for humans. However, th...
142
click to vote
HYBRID
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, we present a new design methodology for synchronous reactive systems, based on a clear separation between control and data flow parts. This methodology allows to fa...
147
click to vote
ICA3PP
2005
Springer
15 years 9 months ago
2005
Springer
In the present work we describe architectural concepts of the distributed molecular simulation package GridMD. The main purpose of this work is to underline the construction patter...
108
click to vote
ICISS
2005
Springer
15 years 9 months ago
2005
Springer
The event-condition-action paradigm (also known as triggers or rules) is a powerful technology. It gives a database “active” capabilities – the ability to react automatically...