713 search results - page 110 / 143 » Syntax and Semantics of Babel-17 |
MSR
2005
ACM
14 years 2 months ago
2005
ACM
Source code version repositories provide a treasure of information encompassing the changes introduced in the system throughout its evolution. These repositories are typically man...
SOCO
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In addition to publishing composite services as reusable services, compositions can also be reused by applying them to orchestrate different component services. To do so...
CONCUR
2004
Springer
14 years 1 months ago
2004
Springer
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, asso...
DIAGRAMS
2004
Springer
14 years 1 months ago
2004
Springer
Projected contours enable Euler diagrams to scale better. They enable the representation of information using less syntax and can therefore increase visual clarity. Here informal r...
ECAI
2004
Springer
14 years 1 months ago
2004
Springer
The aim of this article is to revisit Dalal’s operator for belief revision. Dalal has proposed a technique for revising belief bases based on the minimization of a distance betw...