Sciweavers

6808 search results - page 242 / 1362
» Distributed Concurrency Control
Sort
View
IJRR
2006
103views more  IJRR 2006»
15 years 6 months ago
Adaptive Tracking Control for Robots with Unknown Kinematic and Dynamic Properties
It has been almost two decades since the first globally tracking convergent adaptive controllers were derived for robot with dynamic uncertainties. However, the problem of concurr...
Chien-Chern Cheah, Chao Liu 0003, Jean-Jacques E. ...
IPPS
2003
IEEE
15 years 12 months ago
Towards a Theory of Bisimulation for a Fragment of Verilog
In this paper, we have developed an operational semantic framework for a non-trival subset of Verilog which features event–driven computation, shared variable concurrency. The b...
Li Yongjian, Jifeng He
CL
1999
Springer
15 years 6 months ago
Compositional Petri net models of advanced tasking in Ada-95
Abstract The Ada language has been designed to support development of concurrent and distributed software. While the Ada83 standard defined the basic mechanisms of rendezvous-based...
Ravi K. Gedela, Sol M. Shatz, Haiping Xu
ICC
2009
IEEE
147views Communications» more  ICC 2009»
16 years 1 months ago
Distributed Quality-Lifetime Maximization in Wireless Video Sensor Networks
—Owing to the availability of low-cost and low-power CMOS cameras, Wireless Video Sensor Networks (WVSN) has recently become a reality. However video encoding is still a costly p...
Eren Gürses, Yuan Lin, Raouf Boutaba
165
Voted
MATA
2005
Springer
146views Communications» more  MATA 2005»
16 years 3 days ago
Distributed Authorization Framework for Mobile Agents
Abstract. Mobile agent systems provide new perspectives for distributed e-commerce applications. These applications may present specific restrictions, making mobile agent systems ...
Guillermo Navarro, Jose A. Ortega-Ruiz, Joan Ametl...