443 search results - page 22 / 89 » A System Development Process with Event-B and the Rodin Plat... |
ESCIENCE
2007
IEEE
14 years 1 months ago
2007
IEEE
In this paper, we present the design of Aneka, a .NET based service-oriented platform for desktop grid computing that provides: (i) a configurable service container hosting plugga...
ICSE
2009
IEEE-ACM
14 years 1 months ago
2009
IEEE-ACM
In every application domain, achieving interoperability among heterogenous information systems is a crucial challenge and alliances are formed to standardize data-exchange formats...
ASIAMS
2007
IEEE
14 years 1 months ago
2007
IEEE
Simulation is perhaps the most cost-effective tool to evaluate the operation of a system under design. A flexible, easy to extend, fully object-oriented, and multilayered simulato...
CLUSTER
2000
IEEE
13 years 11 months ago
2000
IEEE
The importance of large-scale electrical business processing is increasing today as recent Internet technologies build on the basic infrastructure. Simply integrating existing tec...
UML
2005
Springer
14 years 7 days ago
2005
Springer
Abstract. Current trends in software development show a move towards supporting autonomous components (agents). The accurate timing of interactions between such components is growi...