1988 search results - page 207 / 398 » Engineering formal metatheory |
177
click to vote
WCRE
2006
IEEE
16 years 18 days ago
2006
IEEE
Programming is modeling the reality. Most of the times, the mapping between source code and the real world concepts is captured implicitly in the names of identifiers. Making the...
157
click to vote
IUI
2006
ACM
16 years 17 days ago
2006
ACM
In this paper we describe research on using eye-tracking data for on-line assessment of user meta-cognitive behavior during the interaction with an intelligent learning environmen...
140
click to vote
COMPSAC
2005
IEEE
16 years 6 days ago
2005
IEEE
Buffer overrun vulnerabilities cause significant security problems, and have proven to be difficult to prevent. In this paper we present a novel approach to tackling the problem...
164
click to vote
CSMR
2005
IEEE
16 years 6 days ago
2005
IEEE
Object-oriented applications are difficult to extend and maintain, due to the presence of implicit dependencies in the inheritance hierarchy. Although these dependencies often co...
172
click to vote
IAT
2005
IEEE
16 years 6 days ago
2005
IEEE
This paper discusses a general architecture for intelligent software agents. It can be used to construct agents that engage in high-level reasoning by employing standard reasoning...