11022 search results - page 176 / 2205 » Programming Systems for Autonomy |
129
Voted
LCPC
2001
Springer
15 years 9 months ago
2001
Springer
144
Voted
CC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This tool demonstration presents Hob, a system for verifying data structure consistency for programs written in a general-purpose programming language. Our tool enables t...
146
Voted
ECBS
2004
IEEE
15 years 8 months ago
2004
IEEE
: The available evidence in a legacy software system, which can help in its understanding and recovery of its architecture are not always sufficient. Very often the system's d...
168
Voted
AMKM
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. In this paper, we outline the relation between Knowledge Management (KM) as an application area on the one hand, and software agents as a basic technology for supporting ...
117
click to vote
PROMAS
2007
Springer
15 years 11 months ago
2007
Springer
This paper discusses the need for an effective and practical BDI-based agentoriented programming language. It proposes an alternative by presenting the syntax and semantics of a ...