Sciweavers

2013 search results - page 226 / 403
» Happy New Year
Sort
View
SIGOPSE
2000
ACM
15 years 11 months ago
Position paper: the role of platforms and operating systems in supporting home networks
As researchers look beyond the PC there is increasing interest in developing and deploying sophisticated home networks. Such networks might allow the seamless integration of infor...
Nigel Davies, Pierre-Guillaume Raverdy
ASIACRYPT
2000
Springer
15 years 11 months ago
Unconditionally Secure Digital Signature Schemes Admitting Transferability
A potentially serious problem with current digital signature schemes is that their underlying hard problems from number theory may be solved by an innovative technique or a new gen...
Goichiro Hanaoka, Junji Shikata, Yuliang Zheng, Hi...
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
15 years 11 months ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...
DATE
1999
IEEE
135views Hardware» more  DATE 1999»
15 years 11 months ago
Combinational Equivalence Checking Using Satisfiability and Recursive Learning
The problem of checking the equivalence of combinational circuits is of key significance in the verification of digital circuits. In recent years, several approaches have been pro...
João P. Marques Silva, Thomas Glass
ICMCS
1999
IEEE
113views Multimedia» more  ICMCS 1999»
15 years 11 months ago
Optimally Ensured Interactive Service in Distributed Multimedia Presentation Systems
In this paper, we develop a new service to support optimally ensured user interactions with minimum latency in interactive distributed multimedia presentation environments. The no...
Markus Mielke, Aidong Zhang