771 search results - page 70 / 155 » Modelling and Analysing Socio-Technical Systems |
160
Voted
LICS
2003
IEEE
15 years 4 months ago
2003
IEEE
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
ICSE
2003
IEEE-ACM
15 years 4 months ago
2003
IEEE-ACM
Modeling software components from multiple perspectives provides complementary views of a software system and enables sophisticated analyses of its functionality. A software compon...
100
Voted
ACSD
2008
IEEE
15 years 5 months ago
2008
IEEE
Synchronous systems can immediately react to the inputs of their environment which may lead to so-called causality cycles between actions and their trigger conditions. Systems wit...
93
Voted
CAV
2006
Springer
15 years 2 months ago
2006
Springer
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
102
Voted
SCANGIS
2003
15 years 9 days ago
2003
Although, most of phenomena change over time, there has been an attempt to model the phenomena of real world assuming a static nature for them. Even when changes occurred in the p...