3281 search results - page 120 / 657 » An Approach to use Executable Models for Testing |
125
Voted
ATAL
1995
Springer
15 years 6 months ago
1995
Springer
This paper describes a novel approach to high-level agent programming based on a highly developed logical theory of action. The user provides a specification of the agents’ bas...
135
click to vote
ACSAC
2010
IEEE
15 years 19 days ago
2010
IEEE
Code injection continues to pose a serious threat to computer systems. Among existing solutions, W X is a notable approach to prevent the execution of injected code. In this paper...
126
Voted
JVA
2006
IEEE
15 years 8 months ago
2006
IEEE
History repeats itself. Since the invention of the programmable computer, numerous computer scientists keep dedicating their professional lives to the design of “the single, bes...
100
click to vote
RAS
2007
15 years 2 months ago
2007
We use a decomposition approach to generate cooperative strategies for a class of multi-vehicle control problems. By introducing a set of tasks to be completed by the team of vehi...
115
Voted
DAC
1997
ACM
15 years 6 months ago
1997
ACM
This paper presents a novel approach for automatic test pattern generation of asynchronous circuits. The techniques used for this purpose assume that the circuit can only be exerc...