1953 search results - page 311 / 391 » Dependability Modeling and Analysis in Dynamic Systems |
INFOCOM
2006
IEEE
15 years 3 months ago
2006
IEEE
— Service Composition is a promising technology for providing on-demand services in dynamic and loosely coupled peerto-peer (P2P) networks. Because of system dynamics, such as th...
100
click to vote
ATVA
2008
Springer
14 years 12 months ago
2008
Springer
Model checking has proven to be a useful analysis technique not only for concurrent systems, but also for the genetic regulatory networks (Grns) that govern the functioning of livi...
CORR
2010
Springer
14 years 7 months ago
2010
Springer
We initiate the study of probabilistic parallel programs with dynamic process creation and synchronisation. To this end, we introduce probabilistic split-join systems (pSJSs), a mo...
104
click to vote
ICAT
2003
IEEE
15 years 3 months ago
2003
IEEE
Forest resource management systems and forest landscape visualization applications often need usersteered interactive displays of a forest landscape representing the underlying fo...
RE
2002
Springer
14 years 9 months ago
2002
Springer
Posing speculative questions about a software system is an important yet often unsupported activity. Current impact analysis techniques tend to focus upon the functionality of the...