782 search results - page 103 / 157 » Can a Parser be Generated from Examples |
138
click to vote
EVOW
2001
Springer
15 years 8 months ago
2001
Springer
The field of mobile robotics offers a new medium for public entertainment and art. Mobile robots can move, react, and interact in the real world, generating behaviors that can be u...
121
click to vote
ITC
2000
IEEE
15 years 8 months ago
2000
IEEE
A wrapper is a thin shell around the core, that provides the switching between functional, and core-internal and core-external test modes. Together with a test access mechanism (T...
105
click to vote
FIW
2007
15 years 5 months ago
2007
Abstract. One approach to system development is to decompose the requirements into features and specify the individual features before composing them. A major limitation of deferri...
155
click to vote
JIISIC
2001
15 years 5 months ago
2001
We have developed a distributed DSS capable to working in a dynamic way. That is, when a domain of an organization needs a new kind of information, the system looks for this infor...
126
click to vote
CONCURRENCY
2007
15 years 3 months ago
2007
Runtime verification of multithreaded systems, that is, the process of finding errors in multithreaded systems as they execute, is the theme of this paper. The major goal of the...