887 search results - page 96 / 178 » A Science of Reasoning |
LICS
2008
IEEE
14 years 3 months ago
2008
IEEE
We investigate the (in)equational theory of impossible futures semantics over the process algebra BCCSP. We prove that no finite, sound axiomatization for BCCSP modulo impossible...
SSDBM
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper describes a tool for providing transparent access to online meteorological databases by way of local file system. It is realized by FUSE, an implementation of usermode ...
HICSS
2007
IEEE
14 years 3 months ago
2007
IEEE
A variety of forces are constantly transforming enterprises, thus, requiring them to constantly adapt to changing business environment. This emergent state requires enterprises to...
LICS
2007
IEEE
14 years 3 months ago
2007
IEEE
We show how to construct the category of games and innocent strategies from a more primitive category of games. On that category we define a comonad and monad with the former dis...
LICS
2007
IEEE
14 years 3 months ago
2007
IEEE
A k-edge operation ϕ on a finite set A is a k + 1-ary operation that satisfies the identities ϕ(x, x, y, . . . , y) ≈ ϕ(x, y, x, y, . . . , y) ≈ y and ϕ(y, y, y, x, y, ....