Sciweavers

6808 search results - page 201 / 1362
» Distributed Concurrency Control
Sort
View
IFM
2007
Springer
245views Formal Methods» more  IFM 2007»
16 years 21 days ago
Co-simulation of Distributed Embedded Real-Time Control Systems
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F....
RTSS
1989
IEEE
15 years 10 months ago
A Distributed Fault Tolerant Architecture for Nuclear Reactor Control and Safety Functions
A new fault tolerant architecture that provides tolerance to a broad scope of hardware, software, and communications faults is being developed. This architecture relies on widely ...
Myron Hecht, J. Agron, S. Hochhauser
TWC
2008
124views more  TWC 2008»
15 years 6 months ago
On the Performance of Distributed Polling Service-based Medium Access Control
It has been shown in the literature that many MAC protocols for wireless networks have a considerable control overhead, which limits their achievable throughput and delay performan...
Yihan Li, Shiwen Mao, Shivendra S. Panwar, Scott F...
ICRA
2006
IEEE
132views Robotics» more  ICRA 2006»
16 years 18 days ago
Vision-based Control Laws for Distributed Flocking of Nonholonomic Agents
— We study the problem of vision-based flocking and coordination of a group of kinematic agents in 2 and 3 dimensions. It is shown that in the absence of communication among age...
Nima Moshtagh, Ali Jadbabaie, Kostas Daniilidis
SP
2005
IEEE
149views Security Privacy» more  SP 2005»
16 years 4 days ago
Distributed Proving in Access-Control Systems
We present a distributed algorithm for assembling a proof that a request satisfies an access-control policy expressed in a formal logic, in the tradition of Lampson et al. [16]. ...
Lujo Bauer, Scott Garriss, Michael K. Reiter