1407 search results - page 174 / 282 » Using Use Cases in Executable Z |
133
click to vote
ICRA
2008
IEEE
15 years 10 months ago
2008
IEEE
— We present results of successful telemanipulation of large, heavy objects by a humanoid robot. Using a single joystick the operator controls walking and whole body manipulation...
121
click to vote
FUZZIEEE
2007
IEEE
15 years 10 months ago
2007
IEEE
— We propose a fuzzy-based decision-making mechanism for selecting data dissemination protocols in wireless sensor networks (WSNs). Its goal is to select the most efficient proto...
126
click to vote
SCAM
2007
IEEE
15 years 10 months ago
2007
IEEE
Remote trusting aims at verifying the “healthy” execution of a program running on an untrusted client that communicates with a trusted server via network connection. After giv...
133
click to vote
DEXAW
2006
IEEE
15 years 10 months ago
2006
IEEE
Traditional methods for integrity checking in relational or deductive databases heavily rely on the assumption that data have integrity before the execution of updates. In this wa...
142
click to vote
FDL
2006
IEEE
15 years 10 months ago
2006
IEEE
To ensure correctness and performance of real-time embedded systems, early evaluation of properties is needed. Based on design experience for real-time systems and using the conce...