5159 search results - page 454 / 1032 » Structural Testing of Executables |
197
click to vote
FM
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Despite more then 30 years of research on protocol specification, the major protocols deployed in the Internet, such as TCP, are described only in informal prose RFCs and...
211
click to vote
AIPS
2004
15 years 9 months ago
2004
Conformant planning is the task of generating plans given uncertainty about the initial state and action effects, and without any sensing capabilities during plan execution. The p...
177
click to vote
AAAI
1997
15 years 9 months ago
1997
The degree to which a planner succeeds and meets response deadlines depends on the correctness and completenessof its modelswhichdescribe events and actions that change the world ...
190
click to vote
FMSD
2007
15 years 7 months ago
2007
Real-time embedded systems are often specified as a collection of independent tasks, each generating a sequence of event-triggered code blocks, and the scheduling in this domain ...
313
click to vote
DLIB
2002
15 years 7 months ago
2002
In this article we present a method for retrieving documents from a digital library through a visual interface based on automatically generated concepts. We used a vocabulary gene...