2501 search results - page 347 / 501 » Obligations and Their Interaction with Programs |
147
click to vote
WCE
2007
15 years 7 months ago
2007
— This paper presents an analytical model for calculating the deformation behavior of an elastic, composite strut comprising any number of materials, which are represented by an ...
148
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We propose a framework that provides a programming interface to perform complex dynamic system-level analyses of deployed production systems. By leveraging hardware support for vi...
185
click to vote
ENTCS
2008
15 years 6 months ago
2008
HOL-TestGen is a specification and test case generation environment extending the interactive theorem prover Isabelle/HOL. The HOL-TestGen method is two-staged: first, the origina...
178
click to vote
IJRR
2008
15 years 6 months ago
2008
We develop a new motion planning algorithm for a variant of a Dubins car with binary left/right steering and apply it to steerable needles, a new class of flexible beveltip medica...
158
click to vote
SIGCSE
2008
ACM
15 years 6 months ago
2008
ACM
Computer science is seeing a decline in enrollment at all levels of education. One key strategy for reversing this decline is to improve methods of student retention. This paper, ...