278 search results - page 37 / 56 » Infrastructure for Cross-Layer Designs Interaction |
TPHOL
1996
IEEE
15 years 1 months ago
1996
IEEE
Nuprl and HOL are both tactic-based interactive theorem provers for higher-order logic, and both have been used in many substantial applications over the last decade. However, the ...
DEXAW
2004
IEEE
15 years 1 months ago
2004
IEEE
Grid technologies have been developed in response to an increase in demand for computing applications designed to yield the benefits from collaboration, data sharing and sophistic...
JCDL
2003
ACM
15 years 2 months ago
2003
ACM
1 This paper introduces SCENS, a Secure Content Exchange Negotiation System suitable for the exchange of private digital data that reside in distributed digital repositories. SCENS...
EHCI
2001
14 years 11 months ago
2001
Handheld appliances such as PDAs, organisers or electronic pens are currently very popular. Handhelds are used to enter and retrieve useful information, e.g., dates, to do lists, m...
ICHIM
2001
14 years 11 months ago
2001
Traditional visits to environments interesting from a cultural point of view are based on technologies that do not permit flexibility and modification to the visit itself on the b...