1791 search results - page 62 / 359 » Two Types of Multiple-Conclusion Systems |
BIRTHDAY
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. UML models consist of several diagrams of different types describing different views of a software system ranging from specifications of the static system structure to de...
ICFP
2005
ACM
14 years 7 months ago
2005
ACM
This paper explains how the high-level treatment of datatypes in functional languages--using features like constructor functions and pattern matching--can be made to coexist with ...
CSFW
2003
IEEE
14 years 1 months ago
2003
IEEE
To be practical, systems for ensuring secure information flow must be as permissive as possible. To this end, the author recently proposed a type system for multi-threaded progra...
PERCOM
2009
ACM
14 years 2 months ago
2009
ACM
—Accurate, simple and affordable methods for passive indoor tracking of human beings are still missing. In this article, we describe the development of an unobtrusive two-dimensi...
IEEEARES
2008
IEEE
14 years 2 months ago
2008
IEEE
— Finding evidence of antedating is an important goal in many digital investigations. This paper explores how causality can expose antedating by investigating storage systems for...