2436 search results - page 255 / 488 » Comonadic Notions of Computation |
164
click to vote
NSPW
2006
ACM
16 years 18 days ago
2006
ACM
This work explores issues of computational disclosure control. We examine assumptions in the foundations of traditional problem statements and abstract models. We offer a comprehe...
160
click to vote
BIRTHDAY
2005
Springer
16 years 6 days ago
2005
Springer
Huet and L´evy (1979) showed that needed reduction is a normalizing strategy for orthogonal (i.e., left-linear and non-overlapping) term rewriting systems. In order to obtain a de...
191
click to vote
ICSOC
2004
Springer
16 years 1 days ago
2004
Springer
Service oriented computing, with its aim of unhindered interoperability, is an appropriate paradigm for ad hoc networks, which are characterized by physical mobility of heterogeno...
163
click to vote
LCPC
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The DEFACTO project - a Design Environment For Adaptive Computing TechnOlogy - is a system that maps computations, expressed in high-level languages such as C, directly o...
188
click to vote
VISUALIZATION
2000
IEEE
15 years 11 months ago
2000
IEEE
Throughout the design cycle, visualization, whether a sketch scribbled on the back of a spare piece of paper or a fully detailed drawing, has been the mainstay of design: we need ...