10718 search results - page 697 / 2144 » On the Circuit Implementation Problem |
191
click to vote
SAC
2006
ACM
16 years 1 months ago
2006
ACM
Aspect–Oriented Programming (AOP) is increasingly being adopted by developers to better modularize object–oriented design by introducing crosscutting concerns. However, due to...
218
click to vote
EPIA
2005
Springer
16 years 1 months ago
2005
Springer
Theoretical research has spent some years facing the problem of how to represent and provide semantics to updates of logic programs. This problem is relevant for addressing highly ...
164
click to vote
CP
2004
Springer
16 years 27 days ago
2004
Springer
In this paper we study four algorithms for computing the frequency of a given partial order. Here the frequency of a partial order is the number of standard labellings respecting t...
173
Voted
SAINT
2003
IEEE
16 years 23 days ago
2003
IEEE
Service discovery problem has recently been drawing much attention from researchers and practitioners. Jini, SLP, and UPnP are among the few emerging service discovery protocols. ...
197
click to vote
CAV
2003
Springer
16 years 21 days ago
2003
Springer
Many verification problems reduce to proving the validity of formulas involving both propositional connectives and domain-specific functions and predicates. This paper presents ...