Sciweavers

7986 search results - page 214 / 1598
» Computational Science and its Applications
Sort
View
SOFSEM
2009
Springer
15 years 11 months ago
Can Component/Service-Based Systems Be Proved Correct?
Component-oriented and service-oriented approaches have gained a strong enthusiasm in industries and academia with a particular interest for service-oriented approaches. The servic...
Christian Attiogbé
SPIN
2005
Springer
16 years 18 hour ago
Behavioural Models for Hierarchical Components
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...
Tomás Barros, Ludovic Henrio, Eric Madelain...
CLUSTER
2001
IEEE
15 years 10 months ago
Cluster-Based Computing with Active, Persistent Objects on the Web
This paper describes a middleware that enables its target application to dynamically incorporate heterogeneous nodes of a cluster. It distributes the objects of the application ac...
Frank Sommers, Shahram Ghandeharizadeh, Shan Gao
GRID
2005
Springer
16 years 2 days ago
Grid-level computing needs pervasive debugging
— Developing applications for parallel and distributed systems is hard due to their nondeterministic nature; developing debugging tools for such systems and applications is even ...
Rashid Mehmood, Jon Crowcroft, Steven Hand, Steven...
AUGHUMAN
2011
15 years 1 months ago
Full body interaction for serious games in motor rehabilitation
Serious games and especially their use in healthcare applications are an active and rapidly growing area of research. A key aspect of games in rehabilitation is 3D input. In this ...
Christian Schönauer, Thomas Pintaric, Hannes ...