Sciweavers

2875 search results - page 64 / 575
» Distributed Reactive Machines
Sort
View
166
Voted
COORDINATION
2005
Springer
15 years 11 months ago
A Correct Abstract Machine for Safe Ambients
t Abstract Machine for Safe Ambients Daniel Hirschkoff1 , Damien Pous1 , and Davide Sangiorgi2 1 ENS Lyon, France 2 Universit`a di Bologna, Italy Abstract. We describe an abstract...
Daniel Hirschkoff, Damien Pous, Davide Sangiorgi
180
Voted
ICSE
2007
IEEE-ACM
16 years 8 days ago
Design, Implementation and Deployment of State Machines Using a Generative Approach
Abstract. We describe an approach to designing and implementing a distributed system as a family of related finite state machines, generated from a single abstract model. Various a...
Graham N. C. Kirby, Alan Dearle, Stuart J. Norcros...
ICMAS
1998
15 years 7 months ago
Multi-Machine Scheduling - A Multi-Agent Learning Approach
Multi-machine scheduling, that is, the assigment of jobs to machines such that certain performance demands like cost and time effectiveness are fulfilled, is a ubiquitous and comp...
Wilfried Brauer, Gerhard Weiß
213
Voted
ESOP
2011
Springer
14 years 9 months ago
Measure Transformer Semantics for Bayesian Machine Learning
Abstract. The Bayesian approach to machine learning amounts to inferring posterior distributions of random variables from a probabilistic model of how the variables are related (th...
Johannes Borgström, Andrew D. Gordon, Michael...
IPPS
2007
IEEE
16 years 13 days ago
Management of Virtual Machines on Globus Grids Using GridWay
Virtual machines are a promising technology to overcome some of the problems found in current Grid infrastructures, like heterogeneity, performance partitioning or application iso...
Antonio J. Rubio-Montero, Eduardo Huedo, Rub&eacut...