5414 search results - page 904 / 1083 » Exploratory Model Building |
121
click to vote
RE
2009
Springer
15 years 8 months ago
2009
Springer
Requirements traceability is a challenge for modern software projects where task dependencies and technical experspread across system developers, abstract model representations su...
124
click to vote
ASIACRYPT
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Semantic security against chosen-ciphertext attacks (INDCCA) is widely believed as the correct security level for public-key encryption scheme. On the other hand, it is o...
120
click to vote
CAV
2001
Springer
15 years 8 months ago
2001
Springer
Regular languages have proved useful for the symbolic state exploration of infinite state systems. They can be used to represent infinite sets of system configurations; the tran...
101
click to vote
GI
2001
Springer
15 years 8 months ago
2001
Springer
—The rapid advances in a wide range of wireless access technologies along with an industry-wide IP-convergence have set up the stage for context-aware computing. The “location...
137
click to vote
SIGGRAPH
2010
ACM
15 years 8 months ago
2010
ACM
This paper introduces an approach to control of physics-based characters based on high-level features of movement, such as centerof-mass, angular momentum, and end-effectors. Obje...