165 search results - page 21 / 33 » Specification patterns can be formal and still easy |
TLDI
2010
ACM
15 years 6 months ago
2010
ACM
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
AAI
2000
14 years 9 months ago
2000
This paper introduces a formally specified design of a compositional generic agent model (GAM). This del abstracts from specific application domains; it provides a unified formal ...
GCC
2007
Springer
15 years 3 months ago
2007
Springer
On building a service-oriented architecture for Grid systems, more and more researches have been focused on service composition. Services, however, are not always exactly compatib...
MC
2007
14 years 11 months ago
2007
Appropriate awareness support has been an issue in the area of Computer-Supported Cooperative Work (CSCW) for quite a while. Yet, many challenges like the dual trade-off between a...
EKAW
2004
Springer
15 years 3 months ago
2004
Springer
Capturing and exploiting knowledge is at the heart of several important problems such as decision making, the semantic web, and intelligent agents. The captured knowledge must be a...