452 search results - page 74 / 91 » Symbolic Execution of Behavioral Requirements |
95
Voted
JECR
2002
15 years 11 days ago
2002
An in-depth understanding of human factors in web-based interaction requires a methodology which enables researchers to chart online actions, understand the cognitive processes gu...
100
Voted
MODELS
2010
Springer
14 years 11 months ago
2010
Springer
A feature represents a functional requirement fulfilled by a system. Since many maintenance tasks are expressed in terms of features, it is important to establish the corresponden...
120
Voted
EMSOFT
2010
Springer
14 years 10 months ago
2010
Springer
Nucleos is a new runtime system for ultra-lightweight embedded systems. Central to Nucleos is a dispatcher based on the concept of e threaded code, which enables layers of abstrac...
102
Voted
IJRR
2011
14 years 7 months ago
2011
We present a novel approach to legged locomotion over rough terrain that is thoroughly rooted in optimization. This approach relies on a hierarchy of fast, anytime algorithms to p...
139
click to vote
PPOPP
2011
ACM
14 years 3 months ago
2011
ACM
Performance modeling for scientific applications is important for assessing potential application performance and systems procurement in high-performance computing (HPC). Recent ...