2771 search results - page 374 / 555 » Using Computational Reflection in Optimistic Distributed Sim... |
157
click to vote
ISORC
2009
IEEE
16 years 29 days ago
2009
IEEE
In the automotive domain, several loosely-coupled Architecture Description Languages (ADLs) compete to proet of abstract modeling and analysis services on top of the implementatio...
152
click to vote
ICRA
2008
IEEE
16 years 23 days ago
2008
IEEE
— In this paper we present a novel approach to robust visual servoing. This method removes the feature tracking step from a typical visual servoing algorithm. We do not need corr...
136
click to vote
ICMCS
2006
IEEE
16 years 11 days ago
2006
IEEE
This paper addresses issues pertaining to the necessity of utilizing formal verification methods in the design of protocols for peer-to-peer multimedia systems. These systems req...
163
click to vote
LCN
2005
IEEE
15 years 12 months ago
2005
IEEE
— The sensing capabilities of networked sensors are affected by environmental factors in real deployment and it is imperative to have practical considerations at the design stage...
167
click to vote
DCOSS
2005
Springer
15 years 12 months ago
2005
Springer
Recent research has shown that using a mobile element to collect and carry data mechanically from a sensor network has many advantages over static multihop routing. We have an imp...