Sciweavers

3684 search results - page 662 / 737
» Generic Support for Distributed Applications
Sort
View
141
Voted
JFP
2010
142views more  JFP 2010»
15 years 1 months ago
Linear type theory for asynchronous session types
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...
Simon J. Gay, Vasco Thudichum Vasconcelos
168
Voted
MASS
2010
150views Communications» more  MASS 2010»
15 years 16 days ago
A non-replication multicasting scheme in delay tolerant networks
Delay tolerant networks (DTNs) are a special type of wireless mobile networks which may lack continuous network connectivity. Multicast is an important routing function that suppor...
Jie Wu, Yunsheng Wang
117
Voted
SIGSOFT
2010
ACM
15 years 15 days ago
Software is data too
Software systems are designed and engineered to process data. However, software is data too. The size and variety of today's software artifacts and the multitude of stakehold...
Andrian Marcus, Tim Menzies
NCA
2010
IEEE
14 years 9 months ago
Anatomy-based organization of morphology and control in self-reconfigurable modular robots
In this paper we address the challenge of realizing full-body behaviors in scalable modular robots. We present an experimental study of a biologically inspired approach to organize...
David Johan Christensen, Jason Campbell, Kasper St...
151
Voted
TMI
2010
150views more  TMI 2010»
14 years 9 months ago
Automatic Parameter Selection for Multimodal Image Registration
Over the past ten years similarity measures based on intensity distributions have become state-of-the-art in automatic multimodal image registration. An implementation for clinical...
Dieter A. Hahn, Volker Daum, Joachim Hornegger