2797 search results - page 340 / 560 » Control Structures |
119
click to vote
HYBRID
2004
Springer
15 years 9 months ago
2004
Springer
This paper is driven by a general motto: bisimulate a hybrid system by a finite symbolic dynamical system. In the case of o-minimal hybrid systems, the continuous and discrete com...
138
click to vote
HYBRID
2004
Springer
15 years 9 months ago
2004
Springer
We present a new high-level programming language, called XGIOTTO, for programming applications with hard real-time constraints. Like its predecessor, XGIOTTO is based on the LET (l...
109
click to vote
ICWE
2004
Springer
15 years 9 months ago
2004
Springer
The growing demand for web applications and the new multi-user and multi-device requirements of these has led to the need for a structured and well-reasoned approach that helps bo...
140
click to vote
IMR
2004
Springer
15 years 9 months ago
2004
Springer
We introduce an indexing scheme for the vertices of semi-regular meshes, based on interleaving quadtrees rooted on the edges of the base mesh. Using this indexing scheme we develo...
102
click to vote
PRIMA
2004
Springer
15 years 9 months ago
2004
Springer
This paper describes the architecture of a distributed workflow management system in a dynamic environment. The system features autonomous agent components that can adapt to both s...