2436 search results - page 283 / 488 » Comonadic Notions of Computation |
177
click to vote
COORDINATION
2006
Springer
15 years 10 months ago
2006
Springer
In a previous work we have presented a formal framework devoted to show the relevance of choreography and orchestration in the design of service oriented applications. Even if usef...
157
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
Recently, a number of frameworks were proposed to extend interface theory to the domains of single-processor and distributed real-time systems. This paper unifies some of these ap...
177
click to vote
ITS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. It is common to think of a "learner model" as a global description of a student's understanding of domain content. We propose a notion of learner model whe...
161
click to vote
SIGGRAPH
1991
ACM
15 years 10 months ago
1991
ACM
We present a new interactive modeling technique based on the notion of sculpting a solid material. A sculpting tool is controlled by a 3D input device and the material is represen...
158
click to vote
AAAI
2008
15 years 9 months ago
2008
The interpreted system model offers a computationally grounded model, in terms of the states of computer processes, to S5 epistemic logics. This paper extends the interpreted syst...