2227 search results - page 303 / 446 » Reversibility and Models for Concurrency |
COORDINATION
2006
Springer
14 years 2 months ago
2006
Springer
Bigraphical Reactive Systems have been proposed as a meta model for global ubiquitous computing generalising process calculi for mobility such as the pi-calculus and the Mobile Amb...
APSEC
1995
IEEE
14 years 1 months ago
1995
IEEE
The development of distributed applications is an open area involving researchers from different communities. We propose an object-oriented approach to the development of distribu...
HCI
2007
13 years 11 months ago
2007
In the VTT PLAMOS (Plant Model Services for Mobile Process Maintenance Engineer) project new tools were developed for modern maintenance work carried out in industrial plants by ei...
FLAIRS
2006
13 years 11 months ago
2006
We propose a new decision-theoretic approach for solving execution-time deliberation scheduling problems using recent advances in Generalized Semi-Markov Decision Processes (GSMDP...
FMOODS
2006
13 years 11 months ago
2006
Abstract. Explicit behavioural interfaces are now accepted as a mandatory feature of components to address architectural analysis. Behavioural interface description languages shoul...