1360 search results - page 78 / 272 » Reasoning on Workflow Executions |
115
Voted
CAV
2010
Springer
15 years 6 months ago
2010
Springer
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...
106
Voted
JVM
2001
15 years 5 months ago
2001
For the application of Java in realtime and safety critical domains, an analysis of the worst-case execution times of primitive Java operations is necessary. All primitive operati...
136
Voted
ICCBR
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Artificial Intelligence techniques have been successfully applied to several computer games. However in some kinds of computer games, like real-time strategy (RTS) games...
114
Voted
IJCAI
1997
15 years 4 months ago
1997
Themost costly aspect of gathering information over the Internet is that of transferring data over the networkto answer the user’s query. Wemaketwo contributions in this paperth...
139
Voted
IWMMDBMS
1996
15 years 4 months ago
1996
The paper describes recent progress in research on database system support for executing multimedia presentations. It proposes the general concept of Reactive Playout Management t...