322 search results - page 35 / 65 » Testing Deadlock-Freeness in Real-Time Systems: A Formal App... |
166
click to vote
FIW
2007
15 years 8 months ago
2007
Many of the formal techniques are orchestrated for interaction detection in a complex integrated solution of hardware and software components. However, the applicability of these ...
170
click to vote
CCGRID
2006
IEEE
16 years 20 days ago
2006
IEEE
The applicability of network-based computing depends on the availability of the underlying network bandwidth. However, network resources are shared and the available network bandw...
230
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
- This paper describes an approach to the design of a population of cooperative robots based on concepts borrowed from Systems Theory and Artificial Intelligence The research has b...
178
click to vote
SOQUA
2004
15 years 8 months ago
2004
We present an approach for the use case and scenario-based testing of software components. Use cases and scenarios are applied to describe the functional requirements of a software...
169
click to vote
CODES
2000
IEEE
15 years 11 months ago
2000
IEEE
In current design practice synthesis tools play a key role, letting designers to concentrate on the specificationof the system being designed by carrying out repetitive tasks such...