Sciweavers

4385 search results - page 763 / 877
» Abstraction for Concurrent Objects
Sort
View
IWEC
2007
15 years 16 days ago
Cultural Computing and the Self Concept: Towards Unconscious Metamorphosis
Abstract. We are exploring an application for a novel direction in humancomputer interaction named ‘cultural computing’, which aims to provide a new medium for cultural transla...
Tijn Kooijmans, Matthias Rauterberg
SWAP
2008
15 years 16 days ago
Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting
Abstract. The Service Oriented Architecture paradigm, and its implementation based on Web Services, have been the object of an intense research and standardization activity. One of...
Federico Chesani, Paola Mello, Marco Montali, Paol...
SIROCCO
2007
15 years 16 days ago
Design of Minimal Fault Tolerant On-Board Networks: Practical Constructions
Abstract. The problem we consider originates from the design of efficient on-board networks in satellites (also called Traveling Wave Tube Amplifiers). Signals incoming in the net...
Jean-Claude Bermond, Frédéric Giroir...
CLIMA
2004
15 years 15 days ago
Metareasoning for Multi-agent Epistemic Logics
Abstract. We present an encoding of a sequent calculus for a multiagent epistemic logic in Athena, an interactive theorem proving system for many-sorted first-order logic. We then ...
Konstantine Arkoudas, Selmer Bringsjord
82
Voted
DAGSTUHL
2006
15 years 15 days ago
A Bayesian Reputation System for Virtual Organizations
Abstract. Virtual Organizations (VOs) are an emerging business model in today's Internet economy. Increased specialization and focusing on an organization's core competen...
Jochen Haller