11168 search results - page 74 / 2234 » Abstract State Processes |
139
Voted
APPROX
2010
Springer
14 years 9 months ago
2010
Springer
d Abstract) Thomas P. Hayes1 and Alistair Sinclair2 1 Department of Computer Science, University of New Mexico 2 Computer Science Division, University of California at Berkeley A &...
116
Voted
AAAI
2004
15 years 4 months ago
2004
CAT's knowledge base contains abstract task or example "abstract flight reservation task," which can be included in a workflow as placeholders. CAT will gest that us...
103
Voted
MATA
2005
Springer
15 years 8 months ago
2005
Springer
Widget Integration Framework (WIF) is a framework that covers diverse widgets and their interactions with higher layers above. The framework everal advantages of supporting a progr...
120
Voted
ECAI
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Temporally extended goals are used in planning to express safety and maintenance conditions. Linear temporal logic is the language often used to express temporally extend...
135
click to vote
DATE
2009
IEEE
15 years 9 months ago
2009
IEEE
—A large part of a modern SOC’s debug complexity resides in the interaction between the main system components. ion-level debug moves the abstraction level of the debug process...