Sciweavers

816 search results - page 98 / 164
» A Coordination Model for Triplespace Computing
Sort
View
LICS
2003
IEEE
15 years 5 months ago
Model checking for probability and time: from theory to practice
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
Marta Z. Kwiatkowska
PG
2003
IEEE
15 years 5 months ago
Interactive 3D Model Acquisition and Registration
The acquisition of geometric information from realworld objects has become a major way of modeling complex scenes and environments. Unfortunately, most optical methods for geometr...
Yushuang Liu, Wolfgang Heidrich
ECOOPW
1999
Springer
15 years 4 months ago
An Aspect-Oriented Design Framework for Concurrent Systems
Abstract. In Aspect-Oriented Programming we decompose a problem into a number of functional components as well as a number of aspects and then we compose these components and aspec...
Constantinos Constantinides, Atef Bader, Tzilla El...
HPDC
1998
IEEE
15 years 4 months ago
Efficient Coupling of Parallel Applications Using PAWS
PAWS (Parallel Application WorkSpace) is a software infrastructure for use in connecting separate parallel applications within a component-like model. A central PAWS Controller co...
Peter H. Beckman, Patricia K. Fasel, William F. Hu...
GI
1998
Springer
15 years 4 months ago
Workshop: Multimedia-Systeme
The IMB Jena Image Library of Biological Macromolecules (http://www.imb-jena.de/IMAGE.html) is a freely accessible Internet archive with three-dimensional (3D) structural informat...
Hans-Jürgen Appelrath, Klaus Meyer-Wegener