2436 search results - page 172 / 488 » Comonadic Notions of Computation |
128
click to vote
TIDSE
2004
Springer
15 years 9 months ago
2004
Springer
In this paper, we discuss a conceptual project in which students from the University of Southern Denmark combined the elements of physical play with interactive technology to creat...
150
click to vote
WEBI
2004
Springer
15 years 9 months ago
2004
Springer
Several interesting research directions materialize through the convergence of mobile computing and service-oriented computing. As mobile devices keep getting smaller, cheaper and...
150
click to vote
CONCUR
2001
Springer
15 years 9 months ago
2001
Springer
We present a process algebraic approach for extending to the probabilistic setting the classical logical information flow analysis of computer systems. In particular, we employ a ...
123
click to vote
CSL
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. We consider two systems of constructive modal logic which are computationally motivated. Their modalities admit several computational interpretations and are used to capt...
138
click to vote
ICCAD
2000
IEEE
15 years 9 months ago
2000
IEEE
We address optimizing multi-valued (MV) logic functions in a multi-level combinational logic network. Each node in the network, called an MV-node, has multi-valued inputs and sing...