2036 search results - page 195 / 408 » A generic type-and-effect system |
187
click to vote
CGF
2000
15 years 7 months ago
2000
In this paper, we present an integration framework for heterogeneous motion generators. The objective is to outline issues that are currently easily solved in professional post-pr...
187
click to vote
TCS
1998
15 years 6 months ago
1998
We provide a global technique, called neatening, for the study of modularity of left-linear Term Rewriting Systems. Objects called bubbles are identi ed as the responsibles of mos...
165
click to vote
LOGCOM
2010
15 years 5 months ago
2010
Abstract This paper investigates expressivity of modal logics for transition systems, multitransition systems, Markov chains, and Markov processes, as coalgebras of the powerset, ï...
230
click to vote
IPAW
2010
15 years 5 months ago
2010
Abstract. The heterogeneous and unreliable nature of distributed systems has created a distinct need for the inclusion of provenance within their design to allow for error correcti...
206
click to vote
SRDS
2010
IEEE
15 years 5 months ago
2010
IEEE
We address the problem of providing transparent, lightweight, fault-tolerance mechanisms for generic peer-to-peer middleware systems. The main idea is to use the peer-to-peer overl...