Sciweavers

1472 search results - page 45 / 295
» A Framework for Performability Modeling of Messaging Service...
Sort
View
FMCO
2007
Springer
169views Formal Methods» more  FMCO 2007»
14 years 2 months ago
An Object-Oriented Component Model for Heterogeneous Nets
Abstract. Many distributed applications can be understood in terms of components interacting in an open environment. This interaction is not always uniform as the network may consi...
Einar Broch Johnsen, Olaf Owe, Joakim Bjørk...
GCC
2007
Springer
14 years 2 months ago
Quality of Service of Grid Computing: Resource Sharing
Rapid advancement of communication technology has changed the landscape of computing. New models of computing, such as business-on-demand, Web services, peer-to-peer networks, and...
Xian-He Sun, Ming Wu
CP
2000
Springer
14 years 4 days ago
A Constraint-Based Framework for Prototyping Distributed Virtual Applications
Abstract. This paper describes the architecture and implementation of a constraint-based framework for rapid prototyping of distributed applications such as virtual simulations, co...
Vineet Gupta, Lalita Jategaonkar Jagadeesan, Radha...
FMCO
2003
Springer
121views Formal Methods» more  FMCO 2003»
14 years 1 months ago
TulaFale: A Security Tool for Web Services
Web services security specifications are typically expressed as a mixture of XML schemas, example messages, and narrative explanations. We propose a new specification language fo...
Karthikeyan Bhargavan, Cédric Fournet, Andr...
MDM
2009
Springer
169views Communications» more  MDM 2009»
14 years 11 days ago
Adaptive Query Routing on Distributed Context - The COSINE Framework
Context-awareness has become a desired key feature of today’s mobile systems, yet, its realization still remains a challenge. On the one hand, mobile computing provides great po...
Lukasz Juszczyk, Harald Psaier, Atif Manzoor, Scha...