Sciweavers

3405 search results - page 254 / 681
» Distributed Application Development with Inferno
Sort
View
GCC
2004
Springer
15 years 12 months ago
Agent-Oriented Formal Specification of Web Services
Web services (WS) provide a technology for integrating applications over the Internet. The components of a WS are active and persistent computational entities that have autonomous ...
Hong Zhu, Bin Zhou, XinJun Mao, Lijun Shan, David ...
EMSOFT
2001
Springer
15 years 11 months ago
Bus Architectures for Safety-Critical Embedded Systems
Abstract. Embedded systems for safety-critical applications often integrate multiple “functions” and must generally be fault-tolerant. These requirements lead to a need for mec...
John M. Rushby
PADL
2009
Springer
16 years 7 months ago
Operational Semantics for Declarative Networking
Declarative Networking has been recently promoted as a high-level programming paradigm to more conveniently describe and implement systems that run in a distributed fashion over a ...
Juan A. Navarro, Andrey Rybalchenko
HCW
1998
IEEE
15 years 11 months ago
The Globus Project: A Status Report
The Globus project is a multi-institutional research e ort that seeks to enable the construction of computational grids providing pervasive, dependable, and consistent access to h...
Ian T. Foster, Carl Kesselman
EUROPAR
2009
Springer
16 years 1 months ago
MapReduce Programming Model for .NET-Based Cloud Computing
Recently many large scale computer systems are built in order to meet the high storage and processing demands of compute and data-intensive applications. MapReduce is one of the mo...
Chao Jin, Rajkumar Buyya