1121 search results - page 140 / 225 » Logics of Complementarity in Information Systems |
EWDW
1990
14 years 29 days ago
1990
The formal description of the semantics of object-oriented data models is still an open problem. Some characteristic features of object-oriented data models, such as methods and i...
IFIP8
2007
13 years 10 months ago
2007
Business Process Verification (BPV) is increasingly important in emerging BPM Systems. Although many approaches related to BPV exist, the gap between formal models defined in previ...
FUIN
2008
13 years 9 months ago
2008
Abstract. The ability to recognize human activities from sensory information is essential for developing the next generation of smart devices. Many human activity recognition tasks...
PLDI
2006
ACM
14 years 2 months ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
POPL
2004
ACM
14 years 9 months ago
2004
ACM
We aim to specify program transformations in a declarative style, and then to generate executable program transformers from such specifications. Many transformations require non-t...