4622 search results - page 44 / 925 » Foundations of Information Theory |
PPDP
2009
Springer
15 years 4 months ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Reļ...
CAISE
2004
Springer
15 years 3 months ago
2004
Springer
Business process modeling and design, which has attracted much attention in recent years, emphasizes mainly graphical representation, usually without an underlying theory. The lack...
CRIWG
2003
14 years 11 months ago
2003
Abstract. In this paper we present a theory-based approach to designing tailorable groupware for the healthcare domain. Both literature and empirical data show the need, and diffic...
IEEECIT
2010
IEEE
14 years 8 months ago
2010
IEEE
āDatabase technology is the significant part of computer science and technology, as the core technology of information management, database technology is widely used in the field...
MFPS
1993
15 years 1 months ago
1993
All known structures involving a constructively obtainable ļ¬xed point (or iteration) operation satisfy the equational laws deļ¬ning iteration theories. Hence, there seems to be...