1729 search results - page 123 / 346 » Practical Temporal Projection |
CSL
2009
Springer
14 years 2 months ago
2009
Springer
This paper extends for the first time semantic interpretation tools to infinite data in order to ensure Input/Output upper bounds on first order Haskell like programs on streams...
CAV
2008
Springer
13 years 12 months ago
2008
Springer
Abstract. This paper develops a local reasoning method to check lineartime temporal properties of concurrent programs. In practice, it is often infeasible to model check over the p...
CSCW
2008
ACM
13 years 12 months ago
2008
ACM
The design of online collaborative computer games and pervasive games can learn from the everyday practice of deer hunting. We present an ethnographic study revealing how hunters ...
ASPDAC
2010
ACM
13 years 8 months ago
2010
ACM
Managing long verification error traces is one of the key challenges of automated debugging engines. Today, debuggers rely on the iterative logic array to model sequential behavior...
GIS
2008
ACM
14 years 11 months ago
2008
ACM
In digital humanities projects, particularly for historical research and cultural heritage, GIS has played an increasingly important role. However, most implementations have conce...