4520 search results - page 832 / 904 » Algebraic Techniques for Timed Systems |
178
Voted
KES
2006
Springer
15 years 22 days ago
2006
Springer
With the development of service robots and with the emerging concept of the ubiquitous world, localization of a mobile robot has become a popular issue. Even though several localiz...
115
click to vote
PRESENCE
2000
15 years 17 days ago
2000
The Virtual Explorer project of the Senses Bureau at the University of California, San Diego, focuses on creating immersive, highly interactive environments for education and scie...
115
Voted
SAC
2002
ACM
15 years 13 days ago
2002
ACM
Distributed cooperative engineering applications require consistent and long-term sharing of large volumes of data, which may cause conflicts due to concurrent read/write operatio...
104
Voted
SCFBM
2008
15 years 7 days ago
2008
Background: High throughput laboratory techniques generate huge quantities of scientific data. Laboratory Information Management Systems (LIMS) are a necessary requirement, dealin...
127
click to vote
SCP
2010
14 years 11 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...