Sciweavers

22114 search results - page 351 / 4423
» Use of Models and Modelling Techniques for Service Developme...
Sort
View
IANDC
2010
125views more  IANDC 2010»
15 years 4 months ago
A thread calculus with molecular dynamics
In a previous paper, we developed an algebraic theory of threads, interleaving of threads, and interaction between threads and services. In the current paper, we extend that theory...
Jan A. Bergstra, C. A. Middelburg
ATAL
2005
Springer
16 years 29 days ago
From concepts to agents: towards a framework for multi-agent system modelling
Whilst tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program code. AUML dev...
Richard Hill, Simon Polovina, Martin D. Beer
UAI
2001
15 years 8 months ago
Toward General Analysis of Recursive Probability Models
There is increasing interest within the research community in the design and use of recursive probability models. There remains concern about computational complexity costs and th...
Daniel Pless, George F. Luger
BPM
2006
Springer
113views Business» more  BPM 2006»
15 years 11 months ago
Process Equivalence: Comparing Two Process Models Based on Observed Behavior
In various application domains there is a desire to compare process models, e.g., to relate an organization-specific process model to a reference model, to find a web service match...
Wil M. P. van der Aalst, Ana Karla A. de Medeiros,...
NIPS
1998
15 years 8 months ago
Bayesian Modeling of Facial Similarity
In previous work 6, 9, 10], we advanced a new technique for direct visual matching of images for the purposes of face recognition and image retrieval, using a probabilistic measur...
Baback Moghaddam, Tony Jebara, Alex Pentland