11022 search results - page 375 / 2205 » Programming Systems for Autonomy |
171
click to vote
COMPSAC
2005
IEEE
16 years 14 days ago
2005
IEEE
SLABS is a formal specification language designed for modular and composable specification of multi-agent systems. This paper reports our attempts to support SLABS at the level ...
156
click to vote
EUC
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. For the security technology that has been achieved with software in the computer system and the protection of the intellectual property right of software, software protec...
204
click to vote
CC
2003
Springer
16 years 2 days ago
2003
Springer
This paper presents a semantics-based compilation model for an aspect-oriented programming language based on its operational semantics. Using partial evaluation, the model can expl...
213
click to vote
ATAL
1997
Springer
15 years 11 months ago
1997
Springer
We briefly overview the architecture of a diagnosis agent. We employ logic and logic programming to specify and implement the agent: the knowledge base uses extended logic progra...
193
Voted
CHARME
2001
Springer
15 years 10 months ago
2001
Springer
In this paper we present a syntactical approach for deriving real-time programs from a formal specification of the requirements of real-time systems. The main idea of our approach ...