1271 search results - page 185 / 255 » On Simulation-Checking with Sequential Systems |
ICDE
1999
IEEE
14 years 11 months ago
1999
IEEE
The ability to model the temporal dimension is essential to many applications. Furthermore, the rate of increase in database size and response time requirements has outpaced advan...
ICPR
2000
IEEE
14 years 11 months ago
2000
IEEE
Industrial inspection robots, which are to move around a nuclear power plant and carry out inspection tasks, must follow a given route while observing static and dynamic features ...
WWW
2007
ACM
14 years 10 months ago
2007
ACM
In XML databases, materializing queries and their results into views in a semantic cache can improve the performance of query evaluation by reducing computational complexity and I...
WWW
2002
ACM
14 years 10 months ago
2002
ACM
This paper presents an approach to develop bidding agents that participate in multiple alternative auctions, with the goal of obtaining an item at the lowest price. The approach c...
COORDINATION
2009
Springer
14 years 10 months ago
2009
Springer
Process-oriented programming is a design methodology in which software applications are constructed from communicating concurrent processes. A process-oriented design is typically ...