3595 search results - page 42 / 719 » Roles of Program Extension |
116
click to vote
PLDI
2010
ACM
15 years 6 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...
101
Voted
ICSM
2009
IEEE
15 years 8 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...
127
click to vote
AGENTS
2001
Springer
15 years 6 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 ...
103
Voted
ECOOPW
1998
Springer
15 years 6 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...
102
click to vote
LREC
2008
15 years 3 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...