2043 search results - page 70 / 409 » Reasoning About Security Models |
ICSE
2001
IEEE-ACM
14 years 2 months ago
2001
IEEE-ACM
In requirements elicitation, different stakeholders often hold different views of how a proposed system should behave, resulting in inconsistencies between their descriptions. Con...
ENTCS
2008
13 years 10 months ago
2008
Current object-oriented approaches to distributed programs may be criticized in several respects. First, method calls are generally synchronous, which leads to much waiting in dis...
COGSCI
2004
13 years 10 months ago
2004
Previous research suggests that children can infer causal relations from patterns of events. However, what appear to be cases of causal inference may simply reduce to children rec...
KI
2007
Springer
14 years 4 months ago
2007
Springer
To achieve complex missions an autonomous unmanned aerial vehicle (UAV) operating in dynamic environments must have and maintain situational awareness. This can be achieved by cont...
ISSTA
2009
ACM
14 years 4 months ago
2009
ACM
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates encountered in branch statements, and of using a constraint ...