2042 search results - page 304 / 409 » Modeling and Analysis of Probabilistic Timed Systems |
174
click to vote
TASE
2008
IEEE
15 years 3 months ago
2008
IEEE
In this paper we deal with the problem of modeling railway networks with Petri nets so as to apply the theory of supervisory control for discrete event systems to automatically de...
106
click to vote
CHI
2009
ACM
15 years 6 months ago
2009
ACM
During visual analysis, users must often connect insights discovered at various points of time to understand implicit relations within their analysis. This process is often called...
180
Voted
ACMSE
2008
ACM
15 years 5 months ago
2008
ACM
Peer-To-Peer (P2P) systems have made an enormous impact on the Internet, directly affecting its performance and security. The litigation against P2P file sharing has led some desi...
149
Voted
ANLP
1994
15 years 4 months ago
1994
FoG currently produces bilingual marine and public weather forecasts at several Canadian weather offices. The system is engineered to reflect "good professional style" a...
125
Voted
IJCSA
2007
15 years 3 months ago
2007
The main aim of this paper is to establish a reliable model both for the steady-state and unsteady-state regimes of a nonlinear process. The use of this model should reflect the t...