Sciweavers

29 search results - page 3 / 6
» Towards an Agent Based Approach for Verification of OWL-S Pr...
Sort
View
ATAL
2009
Springer
13 years 11 months ago
MASQ: towards an integral approach to interaction
In this paper we describe MASQ (Multi-Agent Systems based on Quadrants), a model that defines four perspectives over an agent-based interaction according to two axes: internal/ex...
Tiberiu Stratulat, Jacques Ferber, John Tranier
AMCS
2011
341views Mathematics» more  AMCS 2011»
13 years 8 days ago
FSP and FLTL framework for specification and verification of middle-agents
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...
Amelia Badica, Costin Badica
AICT
2006
IEEE
210views Communications» more  AICT 2006»
13 years 11 months ago
Model-Based Analysis of Obligations in Web Service Choreography
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
Howard Foster, Sebastián Uchitel, Jeff Mage...
SIGSOFT
2005
ACM
14 years 6 months ago
Towards a unified formal model for supporting mechanisms of dynamic component update
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...
Junrong Shen, Xi Sun, Gang Huang, Wenpin Jiao, Yan...
HICSS
2003
IEEE
164views Biometrics» more  HICSS 2003»
13 years 10 months ago
On a Text-Processing Approach to Facilitating Autonomous Deception Detection
Abstract—Current techniques towards information security have limited capabilities to detect and counter attacks that involve different kinds of masquerade and spread of misinfor...
Therani Madhusudan