6014 search results - page 38 / 1203 » Parametric Analysis of Computer Systems |
102
Voted
HYBRID
2007
Springer
15 years 6 months ago
2007
Springer
This work investigates some of the computational issues involved in the solution of probabilistic reachability problems for discretetime, controlled stochastic hybrid systems. It i...
91
Voted
TC
2010
14 years 7 months ago
2010
A distinct characteristic of multistate systems (MSS) is that the systems and/or their components may exhibit multiple performance levels (or states) varying from perfect operation...
105
click to vote
CADE
2008
Springer
15 years 2 months ago
2008
Springer
Recent studies have provided many characterisations of the class of polynomial time computable functions through term rewriting techniques. In this paper we describe a (fully autom...
114
Voted
ICALT
2008
IEEE
15 years 7 months ago
2008
IEEE
Apparently computer technology is shifting its focus, with individual users not being the main target any more. The evolution of Web 2.0 technologies is promoting the development ...
61
Voted
PERCOM
2010
ACM
14 years 11 months ago
2010
ACM
