Sciweavers

2519 search results - page 74 / 504
» MASUP: An Agent-Oriented Modeling Process for Information Sy...
Sort
View
FM
2009
Springer
153views Formal Methods» more  FM 2009»
15 years 4 months ago
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
Neil Walkinshaw, John Derrick, Qiang Guo
SIGMETRICS
2003
ACM
15 years 11 months ago
Queueing systems with long-range dependent input process and subexponential service times
We analyze the asymptotic tail distribution of stationary waiting times and stationary virtual waiting times in a singleserver queue with long-range dependent arrival process and ...
Cathy H. Xia, Zhen Liu
EATIS
2007
ACM
15 years 10 months ago
Introducing interaction-based auctions into a model agent-based e-commerce system: preliminary considerations
In our work we have proposed an agent-based model e-commerce system. In this system buyer agents negotiate prices with seller agents. Thus far our attention was devoted "one ...
Maciej Gawinecki, Pawel Kobzdej, Maria Ganzha, Mar...
ACOM
2004
Springer
15 years 11 months ago
Dialogization and Implicit Information in an Agent Communicational Model
In this paper we propose a computational model for human-agent and agent-agent conversation. This model has two fundamental characteristics: (1) it takes into account the implicit ...
Karim Bouzouba, Jamal Bentahar, Bernard Moulin
CAISE
2009
Springer
16 years 27 days ago
TomTom for Business Process Management (TomTom4BPM)
Navigation systems have proven to be quite useful for many drivers. People increasingly rely on the devices of TomTom and other vendors and find it useful to get directions to go ...
Wil M. P. van der Aalst