12774 search results - page 319 / 2555 » A Framework for Proof Systems |
149
click to vote
HICSS
2006
IEEE
16 years 24 days ago
2006
IEEE
Inexpensive data collection and storage technologies and a global thirst for information have led to data repositories so large that users may become disoriented and unable to loc...
188
click to vote
TAGT
1998
Springer
15 years 11 months ago
1998
Springer
Reactive systems perform their tasks through interaction with their users or with other systems (as parts of a bigger system). An essential requirement for modeling such systems is...
201
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
rexample Guided Abstraction-Refinement Framework for Markov Decision Processes ROHIT CHADHA and MAHESH VISWANATHAN Dept. of Computer Science, University of Illinois at Urbana-Champ...
135
click to vote
ATAL
2005
Springer
16 years 9 days ago
2005
Springer
The open-source framework AKIRA integrates Multiagent and Pandemonium elements. We describe the main components of the framework, showing that the hybrid nature of the Agents, hav...
151
click to vote
RTSS
2000
IEEE
15 years 11 months ago
2000
IEEE
A framework for scheduling a number of di erent real-time applications on a single shared preemptable processor is proposed. This framework enforces complete isolation among the d...