2673 search results - page 208 / 535 » Guided Static Analysis |
174
click to vote
AROBOTS
2011
14 years 11 months ago
2011
—In this paper we consider the problem of controlling multiple robots manipulating and transporting a payload in three dimensions via cables. We develop robot configurations tha...
123
click to vote
CHI
2008
ACM
16 years 5 months ago
2008
ACM
Trauma centers are stressful, noisy and dynamic environments, with many people performing complex tasks, and with little in the way of information support. Information must be pri...
123
click to vote
IVA
2009
Springer
15 years 11 months ago
2009
Springer
In this paper, we present a study to evaluate the impact of adaptive feedback on the effectiveness of a pedagogical agent for an educational computer game. We compare a version of ...
115
click to vote
ISPW
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents a value-based software process framework that has been derived from the 4+1 theory of value-based software engineering (VBSE). The value-based process framework...
148
click to vote
ICTCS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Non-interference is a desirable property of systems in a multilevel security architecture, stating that confidential information is not disclosed in public output. The c...