9210 search results - page 1382 / 1842 » Analyzing Real-Time Systems |
201
click to vote
ICFEM
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We develop a way of analyzing the behavior of systems modeled using Discrete Time Markov Chains (DTMC). Specifically, we define iLTL, an LTL with linear inequalities on...
159
click to vote
ICWE
2004
Springer
16 years 5 days ago
2004
Springer
This work presents an empirical study on Web quality measurement. We evaluate the performance and reliability of Web as perceived by the end users located at the Wroclaw University...
179
click to vote
MMB
2004
Springer
16 years 5 days ago
2004
Springer
Rate measurements are required for many purposes, e.g. for system analysis and modelling or for live systems that react to measurements. For off-line measurement all data is avail...
162
Voted
CCGRID
2003
IEEE
16 years 3 days ago
2003
IEEE
This paper describes two systems to recover the Internet connectivity impaired by private networks and firewalls. These devices cause asymmetry in the Internet, making peer-to-pee...
218
click to vote
EUROMICRO
2003
IEEE
16 years 3 days ago
2003
IEEE
: The approach of aggregating components into complex software systems is maturing with the rapid development of component technology. How to analyze software reliability from syst...