1271 search results - page 185 / 255 » On Simulation-Checking with Sequential Systems |
195
Voted
ICDE
1999
IEEE
16 years 4 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...
108
Voted
ICPR
2000
IEEE
16 years 3 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 ...
107
click to vote
WWW
2007
ACM
16 years 3 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...
98
Voted
WWW
2002
ACM
16 years 3 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...
128
Voted
COORDINATION
2009
Springer
16 years 3 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 ...