1482 search results - page 67 / 297 » Facilitating Agent Development in Open Distributed Systems |
146
click to vote
STTT
2010
15 years 2 months ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
147
click to vote
ICAD
2004
15 years 5 months ago
2004
We describe significant developments towards a real-time implementation of SonArt, the parameter mapping framework first presented in [1] 1 . Enhancements include the incorporatio...
141
click to vote
CCGRID
2009
IEEE
15 years 10 months ago
2009
IEEE
Cloud computing systems fundamentally provide access to large pools of data and computational resources through a variety of interfaces similar in spirit to existing grid and HPC ...
112
click to vote
PDPTA
2004
15 years 5 months ago
2004
: With the resurgence of interest in distributed processing and programming of distributed systems, researchers are exploring methods and techniques for facilitating programming of...
136
click to vote
IPPS
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper we discuss our initial experiences adapting OpenMP to enable it to serve as a programming model for high performance embedded systems. A high-level programming model...