Sciweavers

880 search results - page 63 / 176
» Semantics-Based Concurrency Control
Sort
View
RISE
2005
Springer
16 years 3 days ago
Formal Development of Reactive Fault Tolerant Systems
Usually complex systems are controlled by an operator co-operating with a computer-based controller. The controlling software runs in continuous interaction with the operator and c...
Linas Laibinis, Elena Troubitsyna
AROBOTS
2008
78views more  AROBOTS 2008»
15 years 6 months ago
Reaching with multi-referential dynamical systems
We study a reaching movement controller for a redundant serial arm manipulator, based on two principles believed to be central to biological motion control: multireferential contro...
Micha Hersch, Aude Billard
ICNS
2006
IEEE
16 years 20 days ago
Building Distributed Access Control System Using Service-Oriented Programming Model
– Service-Oriented Programming Model is a new methodology for building service-oriented applications. In the Service-Oriented Programming Model, an application is assembled from ...
Ivan Zuzak, Sinisa Srbljic, Ivan Benc
NCA
2006
IEEE
16 years 19 days ago
Congestion Control for Distributed Hash Tables
Distributed Hash Tables (DHTs) provide a scalable mechanism for mapping identifiers to socket addresses. As each peer in the network can initiate lookup requests, a DHT has to pr...
Fabius Klemm, Jean-Yves Le Boudec, Karl Aberer
IFIP
1992
Springer
15 years 10 months ago
Controller Implementation by Communicating Asynchronous Sequential Circuits Generated from a Petri Net Specification of Required
This paper presents a completely systematic design procedure for asynchronous controllers. The initial step is the construction of a signal transition graph (STG, an interpreted P...
Jochen Beister, Ralf Wollowski