6014 search results - page 1042 / 1203 » Structural Testing with Use Cases |
120
click to vote
AUSAI
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. Autonomous agents decide for themselves, on the basis of their beliefs, goals, etc., how to act in an environment. However, it is often the case that an agent is motivate...
114
click to vote
TIME
1994
IEEE
15 years 8 months ago
1994
IEEE
We are concerned with temporalreasoning problems where there is uncertainty about the order in which events occur. The task of temporal reasoning is to derive an event sequence co...
172
Voted
PODC
1990
ACM
15 years 7 months ago
1990
ACM
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...
139
click to vote
ASAP
2007
IEEE
15 years 7 months ago
2007
IEEE
Software-based, fine-grain control flow integrity (CFI) validation technique has been proposed to enforce control flow integrity of program execution. By validating every indirect...
126
click to vote
DOCENG
2007
ACM
15 years 7 months ago
2007
ACM
Optimisation of real world Variable Data printing (VDP) documents is a difficult problem because the interdependencies between layout functions may drastically reduce the number o...