Sciweavers

271 search results - page 26 / 55
» Procedural Urban Modeling in Practice
Sort
View
DSN
2004
IEEE
14 years 1 months ago
Model Checking Action- and State-Labelled Markov Chains
In this paper we introduce the logic asCSL, an extension of continuous stochastic logic (CSL), which provides powerful means to characterise execution paths of action- and state-l...
Christel Baier, Lucia Cloth, Boudewijn R. Haverkor...
APCCM
2009
13 years 11 months ago
Modelling Web-Oriented Architectures
Service-oriented architectures (SOAs) provide the basis of distributed application frameworks where software components are provided as modular and reusable services. Until today ...
Gunnar Thies, Gottfried Vossen
CSDA
2007
124views more  CSDA 2007»
13 years 9 months ago
Wavelet based time-varying vector autoregressive modelling
Vector autoregressive (VAR) modelling is one of the most popular approaches in multivariate time series analysis. The parameters interpretation is simple, and provide an intuitive...
João Ricardo Sato, Pedro Alberto Morettin, ...
LOGCOM
1998
126views more  LOGCOM 1998»
13 years 9 months ago
Engineering AgentSpeak(L): A Formal Computational Model
Perhaps the most successful agent architectures, and certainly the best known, are those based on the Belief-Desire-Intention (BDI) framework. Despite the wealth of research that ...
Mark d'Inverno, Michael Luck
ADAEUROPE
2007
Springer
14 years 4 months ago
Modelling Remote Concurrency with Ada
When developing concurrent software, a proper engineering practice is to choose a good level of abstraction for expressing concurrency control. Ideally, this level should provide p...
Claude Kaiser, Christophe Pajault, Jean-Fran&ccedi...