We address the problem of complementing higher-order patterns without repetitions of free variables. Differently from the first-order case, the complement of a pattern cannot, in ...
The role of computers in the modern office has tended to split our activities between virtual interactions in the realm of the computer and physical interactions with real objects...
Roy Want, Kenneth P. Fishkin, Anuj Gujar, Beverly ...
We present a methodology for the watermarking of synchronous sequential circuits that makes it possible to identify the authorship of designs by imposing a digital watermark on th...
Power efficient design of real-time systems based on programmable processors becomes more important as system functionality is increasingly realized through software. This paper ...
Distributed systems using mobile computing do not have the traditional ACID properties (Atomicity, Consistency, Isolation and Durability), and, therefore, consistency problems may...