4520 search results - page 37 / 904 » Algebraic Techniques for Timed Systems |
109
click to vote
CORR
2006
Springer
15 years 1 months ago
2006
Springer
We describe several technical tools that prove to be efficient for investigating the rewrite systems associated with an equational specification. These tools consist in introducing...
101
click to vote
AAAI
1990
15 years 2 months ago
1990
: Tasks such as forecasting, diagnosis, and planning frequently require quantitative predictions . Typically, quantitative predictions are obtained by characterizing a system in te...
101
click to vote
RTAS
2007
IEEE
15 years 8 months ago
2007
IEEE
Stochastic analysis techniques for real-time systems model the execution time of tasks as random variables. These techniques constitute a very powerful tool to study the behaviour...
FSEN
2009
Springer
15 years 8 months ago
2009
Springer
We propose a timed process calculus for wireless systems exposed to communication collisions. The operational semantics of our calculus is given in terms of a labelled transition ...
129
click to vote
IEEEIAS
2009
IEEE
15 years 8 months ago
2009
IEEE
: There are two main approaches for implementing IDS; Host based and Network based. While the former is implemented in form of software deployed on a host, the latter, usually is b...