598 search results - page 81 / 120 » Generic Trace Theory |
ICPR
2004
IEEE
14 years 11 months ago
2004
IEEE
Recently it has been claimed that as early as 1420 some European artists constructed their paintings by optically projecting images onto their supports (canvas, oak panel, etc.) a...
CHI
2006
ACM
14 years 10 months ago
2006
ACM
We discuss the legacy and processes of creative design, and differentiate it from the type of user-centered design commonly found in CHI. We provide an example of this process, an...
VLSID
2004
IEEE
14 years 10 months ago
2004
IEEE
Abstract-- Power has become a major concern for mobile computing systems such as laptops and handhelds, on which a significant fraction of software usage is interactive instead of ...
ICFP
2003
ACM
14 years 10 months ago
2003
ACM
We propose a type system for locating the source of type errors in an applied lambda calculus with ML-style polymorphism. The system is based on discriminative sum types--known fr...
SAC
2009
ACM
14 years 4 months ago
2009
ACM
A wide range of web service choreography constraints on the content and sequentiality of messages can be translated into Linear Temporal Logic (LTL). Although they can be statical...