Sciweavers

4806 search results - page 777 / 962
» Interactive uncertainty analysis
Sort
View
CANS
2009
Springer
136views Cryptology» more  CANS 2009»
16 years 24 days ago
Verifying Anonymous Credential Systems in Applied Pi Calculus
Abstract. Anonymous credentials are widely used to certify properties of a credential owner or to support the owner to demand valuable services, while hiding the user’s identity ...
Xiangxi Li, Yu Zhang, Yuxin Deng
ATAL
2009
Springer
16 years 23 days ago
Aerogility: an intelligent decision support system for managing service-based aftermarkets
This paper describes Aerogility - an intelligent decision support system for managing service-based aftermarkets. Aerogility uses multi-agent software technology to implement a dy...
Viet Dung Dang, Steve Osborn, Gary Vickers, Malcol...
CAISE
2009
Springer
16 years 23 days ago
Evaluation Patterns for Analyzing the Costs of Enterprise Information Systems
Introducing enterprise information systems (EIS) is usually associated with high costs. It is therefore crucial to understand those factors that determine or influence these costs...
Bela Mutschler, Manfred Reichert
COSIT
2009
Springer
146views GIS» more  COSIT 2009»
16 years 23 days ago
Decentralized Time Geography for Ad-Hoc Collaborative Planning
For an autonomous physical agent, such as a moving robot or a person with their mobile device, performing a task in a spatio-temporal environment often requires interaction with ot...
Martin Raubal, Stephan Winter, Christopher Dorr
ESAW
2009
Springer
16 years 23 days ago
Determining the Trustworthiness of New Electronic Contracts
Expressing contractual agreements electronically potentially allows agents to automatically perform functions surrounding contract use: establishment, fulfilment, renegotiation et...
Paul T. Groth, Simon Miles, Sanjay Modgil, Nir Ore...