73 search results - page 4 / 15 » Reachability and Timing Analysis in Data Flow Networks: A Ca... |
ICCCN
1997
IEEE
14 years 1 days ago
1997
IEEE
This paper presents the results of a 40-day reliability study on a set of 97 popular Web sites done from an end user’s perspective. Data for the study was acquired by periodical...
FORMATS
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
ISBRA
2010
Springer
13 years 6 months ago
2010
Springer
A popular model for gene regulatory networks is the Boolean network model. In this paper, we propose an algorithm to perform an analysis of gene regulatory interactions using the B...
TACAS
1998
Springer
14 years 1 days ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
JPDC
2006
13 years 7 months ago
2006
We focus on data gathering problems in energy constrained networked sensor systems. The system operates in rounds where a subset of the sensors generate a certain number of data p...