2004 search results - page 327 / 401 » Interaction nets: programming language design and implementa... |
129
Voted
VLDB
1994
ACM
15 years 7 months ago
1994
ACM
This paper describes the design and implementation of NAOS, an active rule component in the object-oriented database system 02. The contribution of this work is related to two mai...
156
Voted
TYPES
1995
Springer
15 years 7 months ago
1995
Springer
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...
112
Voted
RIA
2006
15 years 3 months ago
2006
In this article, we expose our research program in bio-affective-social computing aimed at guiding and participating to the development of multimodal socially intelligent agents in...
167
Voted
JSAC
2008
15 years 2 months ago
2008
In this paper we design a cognitive radio that can coexist with multiple parallel WLAN channels while abiding by an interference constraint. The interaction between both systems is...
137
click to vote
ICFEM
2003
Springer
15 years 8 months ago
2003
Springer
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...