4520 search results - page 2 / 904 » Algebraic Techniques for Timed Systems |
125
Voted
QEST
2005
IEEE
15 years 5 months ago
2005
IEEE
In this paper we present a novel performance analysis technique for large-scale systems modelled in the stochastic process algebra PEPA. In contrast to the well-known approach of ...
141
click to vote
CSFW
2000
IEEE
15 years 4 months ago
2000
IEEE
Some of the non interference properties studied in [4, 6, 18] for information flow analysis in computer systems, notably Æ , are reformulated here in a realtime setting. This is...
DMSN
2005
ACM
15 years 1 months ago
2005
ACM
In this paper, we introduce a rotating interrogation technique for sensor networks called Whirlpool. Whirlpool provides opportunities to optimize data delivery in time-critical mo...
80
Voted
ICASSP
2009
IEEE
14 years 9 months ago
2009
IEEE
In this paper, we show that the problem of detection and localization of multiple targets in a bistatic MIMO radar system can be solved by Parallel Factor (PARAFAC) analysis. Our ...
114
click to vote
CUZA
2002
14 years 11 months ago
2002
This paper presents Process Algebra for Predictible Control Systems (PAPCS) as a model for specifying and analysis of concurrent, time and resource dependent, distributed control s...