6308 search results - page 67 / 1262 » Modeling Urgency in Timed Systems |
155
click to vote
INFOCOM
1997
IEEE
15 years 9 months ago
1997
IEEE
Several types of network trafic have been shown to exhibit long-range dependence (LRD). In this work, we show that the busy period of an ATM system driven by a long-range dependen...
135
click to vote
FUIN
2007
15 years 4 months ago
2007
A formal model for description of passive and active timing attacks is presented, studied and compared with other security concepts. It is based on a timed process algebra and on a...
139
click to vote
ACSD
2006
IEEE
15 years 11 months ago
2006
IEEE
Timed Automata (TA) and Time Petri Nets (TPN) are two well-established formal models for real-time systems. Recently, a linear transformation of TA to TPNs preserving reachability...
221
click to vote
NPL
2011
14 years 7 months ago
2011
The accuracy of a model to forecast a time series diminishes as the prediction horizon increases, in particular when the prediction is carried out recursively. Such decay is faster...
126
click to vote
ICMCS
2000
IEEE
15 years 9 months ago
2000
IEEE
Physical modeling of a mass-spring system allows for realistic object motion and deformation in a virtual environment. Previous work in this type of physical modeling relies on ge...