396 search results - page 65 / 80 » Factor Automata of Automata and Applications |
111
click to vote
COORDINATION
2007
Springer
15 years 8 months ago
2007
Springer
Connectors have emerged as a powerful concept for composition and coordination of concurrent activities encapsulated as components and services. Compositional coordination models a...
129
click to vote
IWANN
1995
Springer
15 years 5 months ago
1995
Springer
1 This paper presents a new technique for the design of real-time controllers based on a hybrid approach which integrates several control strategies, such as intelligent controlle...
126
click to vote
ESORICS
2002
Springer
16 years 1 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
142
click to vote
WISE
2006
Springer
15 years 7 months ago
2006
Springer
Service composition is becoming the dominant paradigm for developing Web service applications. It is important to ensure that a service composition complies with the requirements f...
101
click to vote
SC
2004
ACM
15 years 7 months ago
2004
ACM
Inspired by the attractive Flops/dollar ratio and the incredible growth in the speed of modern graphics processing units (GPUs), we propose to use a cluster of GPUs for high perfo...