Sciweavers

5671 search results - page 1051 / 1135
» A Semantic Approach to Interpolation
Sort
View
IJAOSE
2010
227views more  IJAOSE 2010»
15 years 4 months ago
Implementing reactive BDI agents with user-given constraints and objectives
CASO is an agent-oriented programming language based on AgentSpeak(L), one of the most influential abstract languages based on the BDI (Beliefs-Desires-Intentions) architecture. ...
Aniruddha Dasgupta, Aditya K. Ghose
SAC
2008
ACM
15 years 4 months ago
Enhancing web service selection by QoS-based ontology and WS-policy
The Service Oriented Architecture enables the development of flexible large scale-applications in open environments by dynamically combining Web services. Nevertheless, current te...
Sodki Chaari, Youakim Badr, Frédériq...
JDWM
2010
139views more  JDWM 2010»
15 years 4 months ago
Mining Frequent Generalized Patterns for Web Personalization in the Presence of Taxonomies
The Web is a continuously evolving environment, since its content is updated on a regular basis. As a result, the traditional usagebased approach to generate recommendations that ...
Panagiotis Giannikopoulos, Iraklis Varlamis, Magda...
JFP
2010
142views more  JFP 2010»
15 years 4 months ago
Linear type theory for asynchronous session types
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...
Simon J. Gay, Vasco Thudichum Vasconcelos
JOT
2010
144views more  JOT 2010»
15 years 4 months ago
A Tool for Specifying and Validating Agents' Interaction Protocols: From Agent UML to Maude
To achieve the multi-agent systems’ goals, agents interact to exchange information, to cooperate and to coordinate their tasks. Interaction is generally recognized as an importa...
Farid Mokhati, Brahim Sahraoui, Soufiane Bouzaher,...
« Prev « First page 1051 / 1135 Last » Next »