Sciweavers

2714 search results - page 199 / 543
» On the Notion of Value Object
Sort
View
ARGMAS
2009
Springer
16 years 1 months ago
Dominant Decisions by Argumentation Agents
Abstract. We introduce a special family of (assumption-based argumentation) frameworks for reasoning about the bene ts of decisions. These frameworks can be used for representing t...
Paul-Amaury Matt, Francesca Toni, Juan R. Vaccari
ARGMAS
2009
Springer
16 years 1 months ago
Comparing Argumentation Frameworks for Composite Ontology Matching
Resolving the semantic heterogeneity problem is crucial to allow interoperability between ontology-based systems. Ontology matching based on argumentation is an innovative research...
Cássia Trojahn dos Santos, Paulo Quaresma, ...
ICC
2007
IEEE
117views Communications» more  ICC 2007»
16 years 26 days ago
Price Negotiation Systems for M-commerce
— As content delivery to wireless devices becomes faster and scalable, it is likely that mobile commerce will constitute a significant portion of digital commerce. In markets, b...
Huafei Zhu, Feng Bao, A. Lakshminarayanan
CALCO
2007
Springer
88views Mathematics» more  CALCO 2007»
16 years 22 days ago
Datatypes in Memory
Besides functional correctness, specifications must describe other properties of permissible implementations. We want to use simple algebraic techniques to specify resource usage ...
David Aspinall, Piotr Hoffman
CRYPTO
2007
Springer
106views Cryptology» more  CRYPTO 2007»
16 years 21 days ago
Simulatable VRFs with Applications to Multi-theorem NIZK
Abstract. This paper introduces simulatable verifiable random functions (sVRF). VRFs are similar to pseudorandom functions, except that they are also verifiable: corresponding to...
Melissa Chase, Anna Lysyanskaya