Sciweavers

1724 search results - page 198 / 345
» Adaptable Mobile Transactions
Sort
View
FMCO
2007
Springer
118views Formal Methods» more  FMCO 2007»
15 years 10 months ago
Coordination: Reo, Nets, and Logic
This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL). The first part examines the seman...
Dave Clarke
EEE
2005
IEEE
15 years 10 months ago
A Broker-Based Framework for QoS-Aware Web Service Composition
Web services are modular web applications that can be independently deployed and invoked by other software or services on the web. This offers enterprises the capability to integr...
Tao Yu, Kwei-Jay Lin
ATAL
2003
Springer
15 years 9 months ago
Self-Organisation: Paradigms and Applications
Abstract. A self-organising system functions without central control, and through contextual local interactions. Components achieve a simple task individually, but a complex collec...
Giovanna Di Marzo Serugendo, Noria Foukia, Salima ...
WWW
2006
ACM
16 years 5 months ago
Designing an architecture for delivering mobile information services to the rural developing world
Paper plays a crucial role in many developing world information practices. However, paper-based records are inefficient, error-prone and difficult to aggregate. Therefore we need ...
Tapan S. Parikh, Edward D. Lazowska
EUROMICRO
2007
IEEE
15 years 10 months ago
A Light-Weight Implementation Scheme of the Tree Morphing Protocol for Mobile Multicast Sources
Multicast network services advantageously complement multimedia information and communication technologies, as they open up the realm for highly scalable multicustomer application...
Olaf Christ, Thomas C. Schmidt, Matthias Wähl...