12115 search results - page 2081 / 2423 » Bisimulation of Dynamical Systems |
170
click to vote
CONCUR
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...
170
click to vote
COORDINATION
2007
Springer
16 years 28 days ago
2007
Springer
Recent advances in middleware technologies propose semantics-aware tuplespaces as an instrument for coping with the requirements of scalability, heterogeneity and dynamism arising ...
259
click to vote
DSOM
2007
Springer
16 years 28 days ago
2007
Springer
Web Services are an XML technology recently viewed as capable of being used for network management. A key aspect of WS in this domain is event reporting. WS-based research in this ...
160
click to vote
GECCO
2007
Springer
16 years 27 days ago
2007
Springer
This paper formally presents the resident physician scheduling problem, which is one of the most important scheduling problems in hospital. The resident physician scheduling probl...
162
click to vote
GPC
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Geoscience analysis is currently limited by cumbersome access and manipulation of large datasets from remote sources. Due to their data-heavy and compute-light nature, th...