3595 search results - page 42 / 719 » Roles of Program Extension |
PLDI
2010
ACM
14 years 2 months ago
2010
ACM
Verified compilers, such as Leroy's CompCert, are accompanied by a fully checked correctness proof. Both the compiler and proof are often constructed with an interactive proo...
ICSM
2009
IEEE
14 years 4 months ago
2009
IEEE
This work presents a descriptive and analytic study of classes playing zero, one, or two roles in six different design patterns (and combinations thereof). First, we answer three...
AGENTS
2001
Springer
14 years 2 months ago
2001
Springer
This paper promotes social role awareness as a desirable capability of animated agents, that are by now strong affective reasoners, but otherwise often lack the social competence ...
ECOOPW
1998
Springer
14 years 2 months ago
1998
Springer
Agent systems are highly distributed and feature widespread coordination and collaboration. Because of these characteristics, a traditional object oriented approach to software de...
LREC
2008
13 years 11 months ago
2008
Semantic databases are a stable starting point in developing knowledge based systems. Since creating language resources demands many temporal, financial and human resources, a pos...