Sciweavers

3838 search results - page 313 / 768
» The Autonomic Computing Paradigm
Sort
View
WETICE
2005
IEEE
16 years 1 months ago
A Service Oriented Architecture Framework for Collaborative Services
The demand for flexible, efficient and user-friendly collaborative services is becoming more and more urgent as the competition in the current marketoriented arena is getting more...
Ivar Jørstad, Schahram Dustdar, Do Van Than...
FMCO
2004
Springer
157views Formal Methods» more  FMCO 2004»
16 years 25 days ago
MoMo: A Modal Logic for Reasoning About Mobility
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
Rocco De Nicola, Michele Loreti
CLUSTER
2003
IEEE
16 years 22 days ago
Performance Analysis of Java Message-Passing Libraries on Fast Ethernet, Myrinet and SCI Clusters
The use of Java for parallel programming on clusters according to the message-passing paradigm is an attractive choice. In this case, the overall application performance will larg...
Guillermo L. Taboada, Juan Touriño, Ramon D...
SCALESPACE
2001
Springer
15 years 12 months ago
Scale-Space Theories for Scalar and Vector Images
We define mutually consistent scale-space theories for scalar and vector images. Consistency pertains to the connection between the already established scalar theory and that for ...
Luc Florack
DSN
2000
IEEE
15 years 12 months ago
Experiences with Group Communication Middleware
Group communication is a widely studied paradigm for building fault-tolerant distributed systems. The Armada project at the University of Michigan is a collaborative effort with t...
Scott Johnson, Farnam Jahanian, Sunondo Ghosh, Bri...