605 search results - page 32 / 121 » A strategy for efficiently verifying requirements |
ICISC
2001
13 years 10 months ago
2001
Motivated by emerging needs in online interactions, we define a new type of digital signature called a `Content Extraction Signature' (CES). A CES allows the owner, Bob, of a...
ICPP
2006
IEEE
14 years 3 months ago
2006
IEEE
Publish/subscribe (pub/sub) systems are very suitable for the dissemination of dynamic information over the Internet. As dynamic information is usually characterized by a short li...
ICRA
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract-- This paper describes a navigation system that allowed a robot to complete 26.2 miles of autonomous navigation in a real office environment. We present the methods requir...
AIPS
2007
13 years 11 months ago
2007
Scheduling the James Webb Space Telescope (JWST) requires modeling and minimizing the buildup of angular momentum of the spacecraft. Accounting for momentum management is expected...
EUROCRYPT
2007
Springer
14 years 27 days ago
2007
Springer
Abstract. With computer networks spreading into a variety of new environments, the need to authenticate and secure communication grows. Many of these new environments have particul...