Sciweavers

3838 search results - page 313 / 768
» The Autonomic Computing Paradigm
Sort
View
171
Voted
WETICE
2005
IEEE
16 years 5 days 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»
15 years 12 months 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
15 years 12 months 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...
148
Voted
SCALESPACE
2001
Springer
15 years 11 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
187
Voted
DSN
2000
IEEE
15 years 11 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...