Sciweavers

1554 search results - page 48 / 311
» A New Simulation Tool for the Modeling and Control of Distri...
Sort
View
FCS
2006
13 years 9 months ago
Algorithmic Control in Concurrent Computations
: In this paper, functioning and interaction of distributed devices and concurrent algorithms are analyzed in the context of the theory of algorithms. Although different systems in...
Mark Burgin
APSEC
2004
IEEE
13 years 11 months ago
Tool Supported Development of Service-Based Systems
Service-based systems engineering is a recent paradigm that has proven useful for the development of multifunctional systems, whose functions may be used in different contexts and...
Martin Deubler, Johannes Grünbauer, Gerhard P...
HICSS
2003
IEEE
131views Biometrics» more  HICSS 2003»
14 years 1 months ago
Free Riding: A New Challenge to Peer-to-Peer File Sharing Systems
Most of the research in the field of peer-to-peer file sharing systems has concentrated on performance issues such as efficient file lookup, replicating files to improve fil...
Lakshmish Ramaswamy, Ling Liu
ENTCS
2007
101views more  ENTCS 2007»
13 years 7 months ago
Model-checking Distributed Components: The Vercors Platform
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
Tomás Barros, Antonio Cansado, Eric Madelai...
JIRS
2010
120views more  JIRS 2010»
13 years 6 months ago
Designing Decentralized Controllers for Distributed-Air-Jet MEMS-Based Micromanipulators by Reinforcement Learning
Distributed-air-jet MEMS-based systems have been proposed to manipulate small parts with high velocities and without any friction problems. The control of such distributed systems ...
Laëtitia Matignon, Guillaume J. Laurent, Nadi...