Sciweavers

4679 search results - page 68 / 936
» Modeling When Connections Are the Problem
Sort
View
SIMPRA
2008
84views more  SIMPRA 2008»
15 years 1 months ago
Balancing the criticisms: Validating multi-agent models of social systems
Using multi-agent models to study social systems has attracted criticisms because of the challenges involved in their validation. Common criticisms that we have encountered are de...
Marcus A. Louie, Kathleen M. Carley
ENTCS
2008
97views more  ENTCS 2008»
15 years 2 days ago
Coordination Models Orc and Reo Compared
Orc and Reo are two complementary approaches to the problem of coordinating components or services. On one hand, Orc is highly asynchronous, naturally dynamic, and based on epheme...
José Proença, Dave Clarke
140
Voted
CBSE
2005
Springer
15 years 7 months ago
Component-Based Open Middleware Supporting Aspect-Oriented Software Composition
State-of-the-art middleware for component-based distributed applications requires openness to support a broad and varying range of services. It also requires powerful and maintaina...
Bert Lagaisse, Wouter Joosen
LICS
2003
IEEE
15 years 6 months ago
Revisiting Digitization, Robustness, and Decidability for Timed Automata
We consider several questions related to the use of digitization techniques for timed automata. These very successful techniques reduce dense-time language inclusion problems to d...
Joël Ouaknine, James Worrell
SCALESPACE
2001
Springer
15 years 6 months ago
Bayesian Object Detection through Level Curves Selection
Bayesian statistical theory is a convenient way of taking a priori information into consideration when inference is made from images. In Bayesian image detection, the a priori dist...
Charles Kervrann