3104 search results - page 473 / 621 » Using quantitative analysis to implement autonomic IT system... |
153
click to vote
CP
2010
Springer
15 years 3 months ago
2010
Springer
In this paper we describe the design and implementation of CP-VIZ, a generic visualization platform for constraint programming. It provides multiple views to show the search tree, ...
128
Voted
CASCON
2006
15 years 6 months ago
2006
Automatically determining the situation of an ad-hoc group of people and devices within a smart environment is a significant challenge in pervasive computing systems. Current appro...
149
click to vote
FORMATS
2009
Springer
15 years 8 months ago
2009
Springer
Probabilistic timed automata (PTAs) are used for formal modelling and verification of systems with probabilistic, nondeterministic and real-time behaviour. For non-probabilistic ti...
121
click to vote
HYBRID
2007
Springer
15 years 10 months ago
2007
Springer
The lack of precise numerical information for the values of biological parameters severely limits the development and analysis of models of genetic regulatory networks. To deal wit...
140
click to vote
CODES
2001
IEEE
15 years 8 months ago
2001
IEEE
In this paper, we present a proposal for a UML profile called `Embedded UML'. Embedded UML represents a synthesis of various ideas in the real-time UML community, and concept...