5777 search results - page 332 / 1156 » The palladio component model |
158
Voted
UAI
1998
15 years 8 months ago
1998
We describe computationally efficient methods for learning mixtures in which each component is a directed acyclic graphical model (mixtures of DAGs or MDAGs). We argue that simple...
202
click to vote
JUCS
2008
15 years 7 months ago
2008
: A precise model of the behavioral dynamics is a necessary precondition for the development of collaborative environments. In this paper we present a specification framework for c...
192
Voted
SPIN
2007
Springer
16 years 1 months ago
2007
Springer
This paper describes a set of verification components that open the way to perform on-the-fly software model checking with the Cadp toolbox, originally designed for verifying the...
231
click to vote
QEST
2005
IEEE
16 years 1 months ago
2005
IEEE
In this paper we present a novel performance analysis technique for large-scale systems modelled in the stochastic process algebra PEPA. In contrast to the well-known approach of ...
217
click to vote
ISMAR
2002
IEEE
16 years 12 days ago
2002
IEEE
This paper presents a new technique we have created, known as Bread Crumbs, which allows the modelling of large outdoor ground features using a mobile augmented reality system and...