3047 search results - page 284 / 610 » On the Meaning of Logical Completeness |
180
click to vote
FCT
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. In the paper we show that there is a close relationship between the energy complexity and the depth of threshold circuits computing any Boolean function although they hav...
183
click to vote
DEXAW
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper addresses the specification of security modules in a Mobile Digital Rights Management (DRM) approach with a focus on copy detection mechanisms. The presented DRM approa...
171
click to vote
ECOOP
2004
Springer
16 years 1 months ago
2004
Springer
This paper presents an object-oriented technique for rewriting abstract syntax trees in order to simplify compilation. The technique, Rewritable Reference Attributed Grammars (ReRA...
174
click to vote
ISCIS
2004
Springer
16 years 29 days ago
2004
Springer
Partial order methods, such as the stubborn set method and the priority method, reduce verification effort by exploiting irrelevant orders of events. We show how the stubborn set...
208
click to vote
IWMM
1998
Springer
15 years 11 months ago
1998
Springer
For Garbage Collection (GC) to be a generally accepted means of memory management it is required to prove its efficiency. This paper presents a scheme that guarantees that an incr...