Sciweavers

26782 search results - page 210 / 5357
» The Importance of Importance
Sort
View
151
Voted
ICMCS
2000
IEEE
140views Multimedia» more  ICMCS 2000»
15 years 11 months ago
On Building an Internet Gateway for Internet Telephony
In recent years, the Internet has emerged as an important collaborative platform. Many applications utilize the Internet to provide new kinds of services. Among others, Internet t...
Cheng-Yue Chang, Ming-Syan Chen
ECAI
2000
Springer
15 years 11 months ago
Learning to Use Operational Advice
We address the problem of advice-taking in a given domain, in particular for building a game-playing program. Our approach to solving it strives for the application of machine lea...
Johannes Fürnkranz, Bernhard Pfahringer, Herm...
CAV
1998
Springer
103views Hardware» more  CAV 1998»
15 years 11 months ago
You Assume, We Guarantee: Methodology and Case Studies
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...
Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajama...
SOFSEM
1998
Springer
15 years 11 months ago
Distributed Systems Technology for Electronic Commerce Applications
Abstract. Based on the specific characteristics of electronic commerce (ECommerce) requirements for an adequate system support, this contribution gives an overview of the respectiv...
Winfried Lamersdorf, Michael Merz, M. Tuan Tu
EUROPKI
2007
Springer
15 years 10 months ago
OpenHSM: An Open Key Life Cycle Protocol for Public Key Infrastructure's Hardware Security Modules
Abstract. The private keys used in a PKI are its most important asset. Protect these keys from unauthorised use or disclosure is essential to secure a PKI. Relying parties need ass...
Jean Everson Martina, Túlio Cicero Salvaro ...