2673 search results - page 208 / 535 » Guided Static Analysis |
208
click to vote
AROBOTS
2011
15 years 1 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...
149
click to vote
CHI
2008
ACM
16 years 6 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...
162
click to vote
IVA
2009
Springer
16 years 1 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 ...
143
click to vote
ISPW
2006
IEEE
16 years 16 days 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...
179
click to vote
ICTCS
2005
Springer
16 years 12 hour 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...