Sciweavers

3283 search results - page 222 / 657
» Designing Agent Based Travel Support System
Sort
View
IJIS
2008
115views more  IJIS 2008»
14 years 11 months ago
A new semantics for ACL based on commitments and penalties
Abstract. In complex multi agent systems, the agents may be heterogeneous and possibly designed by different programmers. Thus, the importance of defining a standard framework for ...
Leila Amgoud, Florence Dupin de Saint-Cyr
COMPSAC
2005
IEEE
15 years 4 months ago
Considerations on a New Software Architecture for Distributed Environments Using Autonomous Semantic Agents
Distributed processing environments such as that of a traffic management network system (TMS) can be implemented easier, faster, and secure and perform better through use of auton...
Atilla Elçi, Behnam Rahnama
BIRTHDAY
2010
Springer
14 years 11 months ago
Programming Inductive Proofs - A New Approach Based on Contextual Types
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
Brigitte Pientka
CSCW
2006
ACM
15 years 5 months ago
Sandboxes: supporting social play through collaborative multimedia composition on mobile phones
Media sharing over mobile devices is quickly becoming a common practice, used to support a variety of social processes. Most existing systems employ a model of sharing that treats...
David Fono, Scott Counts
PFE
2001
Springer
15 years 3 months ago
Supporting Information Product and Service Families with Traceability
In this paper, we examine the role of knowledge management in the design, customization, and delivery of a family of electronically delivered products and services, specifically in...
Balasubramaniam Ramesh, Amrit Tiwana, Kannan Mohan