Sciweavers

7924 search results - page 972 / 1585
» Non-Malleable Functions and Their Applications
Sort
View
AGP
1999
IEEE
15 years 11 months ago
The Relative Complement Problem for Higher-Order Patterns
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 ...
Alberto Momigliano, Frank Pfenning
CHI
1999
ACM
15 years 11 months ago
Bridging Physical and Virtual Worlds with Electronic Tags
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 ...
DAC
1999
ACM
15 years 11 months ago
Robust Techniques for Watermarking Sequential Circuit Designs
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...
Arlindo L. Oliveira
DAC
1999
ACM
15 years 11 months ago
Power Conscious Fixed Priority Scheduling for Hard Real-Time Systems
Power efficient design of real-time systems based on programmable processors becomes more important as system functionality is increasingly realized through software. This paper ...
Youngsoo Shin, Kiyoung Choi
DEXAW
1999
IEEE
119views Database» more  DEXAW 1999»
15 years 11 months ago
Atomicity Implementation in Mobile Computing
Distributed systems using mobile computing do not have the traditional ACID properties (Atomicity, Consistency, Isolation and Durability), and, therefore, consistency problems may...
Lars Frank