3082 search results - page 300 / 617 » its 2004 |
189
click to vote
PERVASIVE
2004
Springer
16 years 1 days ago
2004
Springer
Ensuring authenticity and integrity are important tasks when dealing with goods. While in the past seal wax was used to ensure the integrity, electronic devices are now able to tak...
146
click to vote
PET
2004
Springer
16 years 1 days ago
2004
Springer
Internet computing technologies, like grid computing, enable a weak computational device connected to such a grid to be less limited by its inadequate local computational, storage,...
168
click to vote
ROBOCUP
2004
Springer
16 years 1 days ago
2004
Springer
UCHILSIM is a robotic simulator specially developed for the RoboCup four-legged league. It reproduces with high accuracy the dynamics of AIBO motions and its interactions with the ...
218
click to vote
SEMWEB
2004
Springer
16 years 22 hour ago
2004
Springer
SemanticOrganizer is a collaborative knowledge management system designed to support distributed NASA projects, including multidisciplinary teams of scientists, engineers, and acci...
192
click to vote
SPIN
2004
Springer
16 years 21 hour ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...