Sciweavers

1636 search results - page 265 / 328
» Reasoning About Quantum Systems
Sort
View
HICSS
2005
IEEE
171views Biometrics» more  HICSS 2005»
15 years 11 months ago
An Architecture and Business Model for Making Software Agents Commercially Viable
While several research projects have been proposed to use software agents to deal with information overload, their results are not applicable in the existing Web infrastructure ma...
Qusay H. Mahmoud, Leslie Yu
ISQED
2005
IEEE
76views Hardware» more  ISQED 2005»
15 years 11 months ago
Technology Mapping for Reliability Enhancement in Logic Synthesis
Abstract— Reliability enhancements are traditionally implemented through redundancies at the system level or through the use of harden-cell-designs at the circuit level. Reliabil...
Zhaojun Wo, Israel Koren
WECWIS
2005
IEEE
94views ECommerce» more  WECWIS 2005»
15 years 11 months ago
Truthful Online Auctions for Pricing Peer-to-Peer Services
We consider truthful online auctions that aim at optimizing sellers’ revenues, representing service contributors’ satisfactions, as a general model for pricing peer-to-peer se...
Po-An Chen, Tyng-Ruey Chuang
IUI
2005
ACM
15 years 11 months ago
A location representation for generating descriptive walking directions
An expressive representation for location is an important component in many applications. However, while many location-aware applications can reason about space at the level of co...
Gary Look, Buddhika Kottahachchi, Robert Laddaga, ...
FASE
2005
Springer
15 years 11 months ago
Analyzing Web Service Based Business Processes
This paper is concerned with the application of Web services to distributed, cross-organizational business processes. In this scenario, it is crucial to answer the following questi...
Axel Martens