9067 search results - page 1543 / 1814 » Adaptive Model Checking |
178
click to vote
CHI
2000
ACM
15 years 11 months ago
2000
ACM
We discuss a novel type of interface, the intelligent gazeadded interface, and describe the design and evaluation of a sample gaze-added operating-system interface. Gaze-added int...
208
click to vote
CA
1999
IEEE
15 years 11 months ago
1999
IEEE
MPEG-4 is scheduled to become an International Standard in March 1999. This paper demonstrates an experiment for a virtual cloning method and animation system, which is compatible...
200
click to vote
ISPAN
1999
IEEE
15 years 11 months ago
1999
IEEE
In this work, we develop a novel mathematical model to analyze di erent location update protocols for mobile cellular network. Our model can capture many important features of use...
211
click to vote
EUROCRYPT
1999
Springer
15 years 11 months ago
1999
Springer
Since the Diffie-Hellman paper, asymmetric encryption has been a very important topic, and furthermore ever well studied. However, between the efficiency of RSA and the security of...
284
click to vote
HPDC
1998
IEEE
15 years 11 months ago
1998
IEEE
Conventional resource management systems use a system model to describe resources and a centralized scheduler to control their allocation. We argue that this paradigm does not ada...