5863 search results - page 1067 / 1173 » On Model-Checking of P Systems |
151
click to vote
TOSEM
2008
15 years 3 months ago
2008
e than previously established, appearing at various levels of abstraction, in diverse systems and languages. The implications of this phenomenon cover various aspects of software e...
134
click to vote
JIRS
2007
15 years 3 months ago
2007
A detailed step-by-step approach is presented to optimize, standardize, and automate the process of unmanned vehicle controller design, evaluation, validation and verification, fol...
118
click to vote
TRANSCI
2008
15 years 3 months ago
2008
The availability of relatively cheap small jet aircrafts suggests a new air transportation business: dial-a-flight, an on-demand service in which travelers call a few days in adva...
148
click to vote
VLSISP
2008
15 years 3 months ago
2008
In this paper we describe a regular expression pattern matching approach for reconfigurable hardware. Following a Non-deterministic Finite Automata direction, we introduce three ne...
142
click to vote
AAMAS
2002
Springer
15 years 3 months ago
2002
Springer
Service matchmaking among heterogeneous software agents in the Internet is usually done dynamically and must be efficient. There is an obvious trade-off between the quality and eff...