1143 search results - page 203 / 229 » Abstract Syntax and Logic Programming |
CONCUR
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
KSEM
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. In this paper we propose a model that allows agents to deliberate using defeasible argumentation, to share knowledge with other agents, and to represent individual knowle...
ISVLSI
2006
IEEE
15 years 4 months ago
2006
IEEE
Abstract— Research in the fields of physics, chemistry and electronics has demonstrated that Quantum-dot Cellular Automata (QCA) is a viable alternative for nano-scale computing...
FASE
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. The build architecture of legacy C/C++ software systems, groups program files in directories to represent logical components. The interfaces of these components are loos...
RTA
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. For narrowing to be an efficient evaluation mechanism, several lazy narrowing strategies have been proposed, although typically for the restricted case of left-linear con...