452 search results - page 57 / 91 » Symbolic Execution of Behavioral Requirements |
70
Voted
HRI
2007
ACM
15 years 2 months ago
2007
ACM
Effective human/robot interfaces which mimic how humans interact with one another could ultimately lead to robots being accepted in a wider domain of applications. We present a fr...
HICSS
2010
IEEE
15 years 3 months ago
2010
IEEE
As data centers and end users become increasingly reliant on virtualization technology, more efficient and accurate methods of profiling such systems are needed. However, under vir...
87
Voted
SAC
2004
ACM
15 years 4 months ago
2004
ACM
In this paper we present an approach for developing adaptable software applications. The problem we are facing is that of a (possibly mobile) user who wants to download and execut...
115
Voted
EWSN
2004
Springer
15 years 10 months ago
2004
Springer
Directed diffusion is a prominent example of data-centric routing based on application layer data and purely local interactions. In its functioning it relies heavily on network-wid...
73
Voted
RTSS
2008
IEEE
15 years 5 months ago
2008
IEEE
Many embedded systems are subject to temporal constraints that require advance guarantees on meeting deadlines. Such systems rely on static analysis to safely bound worst-case exe...