4520 search results - page 20 / 904 » Algebraic Techniques for Timed Systems |
131
click to vote
IWFM
2000
15 years 3 months ago
2000
Security services in a multi-user environment are often based on access control mechanisms. Static of an access control policy can be formalised using abstract algebraic models. W...
AUTOMATICA
2010
15 years 1 months ago
2010
In this paper, a suitable LaSalle principle for continuous-time linear switched systems is used to characterize invariant sets and their associated switching laws. An algorithm to...
124
click to vote
TCAD
1998
15 years 1 months ago
1998
— We introduce a transformation, named rephasing, that manipulates the timing parameters in control-data-flow graphs (CDFG’s) during the high-level synthesis of data-pathinten...
107
Voted
TCS
2002
15 years 1 months ago
2002
This paper surveys the theoretical developments in the field of stochastic process algebras, process algebras where action occurrences may be subject to a delay that is determined...
78
Voted
CASES
2004
ACM
15 years 7 months ago
2004
ACM