5196 search results - page 321 / 1040 » State of Application Assessment |
189
click to vote
SIGSOFT
2003
ACM
16 years 11 hour ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
179
click to vote
VLSID
1999
IEEE
15 years 11 months ago
1999
IEEE
The design and synthesis of asynchronous circuits is gaining importance in both the industrial and academic worlds. Timed circuits are a class of asynchronous circuits that incorp...
179
click to vote
AAAI
2006
15 years 8 months ago
2006
Partially observed actions are observations of action executions in which we are uncertain about the identity of objects, agents, or locations involved in the actions (e.g., we kn...
202
click to vote
OPODIS
2003
15 years 8 months ago
2003
Jackson networks have been very successful in so many areas in modeling parallel and distributed systems. However, the ability of Jackson networks to predict performance with syste...
197
click to vote
AAAI
2000
15 years 8 months ago
2000
Just as actions can have indirect effects on the state of the world, so too can sensing actions have indirect effects on an agent's state of knowledge. In this paper, we inve...