728 search results - page 42 / 146 » A Logical View of Choreography |
146
click to vote
ICCAD
2008
IEEE
16 years 2 months ago
2008
IEEE
This paper presents new methods for restructuring logic networks based on fast Boolean techniques. The basis for these are 1) a cut based view of a logic network, 2) exploiting th...
151
click to vote
ECBS
2008
IEEE
16 years 6 days ago
2008
IEEE
Models are widely used for communication and documentation purposes. They also tend to be used as parameters for code generation. Because these models have to be complete, consist...
131
click to vote
ICCAD
1993
IEEE
15 years 10 months ago
1993
IEEE
In this paper, we look at the problem of inverter minimization in multi-level logic networks. The network is specified in terms of a set of base functions and the inversion opera...
159
click to vote
DALT
2006
Springer
15 years 9 months ago
2006
Springer
Goals are used to define the behavior of (pro-active) agents. It is our view that the goals of an agent can be seen as a knowledge base of the situations that it wants to achieve. ...
148
click to vote
JAPLL
2011
15 years 21 days ago
2011
The paper proposes a formal analysis of a theory of norms resulting from pulling together Anderson’s reduction, the analysis of counts-as, and a novel approach to the formal rep...