4520 search results - page 34 / 904 » Algebraic Techniques for Timed Systems |
108
click to vote
SP
2006
IEEE
15 years 7 months ago
2006
IEEE
Timing-based active watermarking schemes are developed to trace back attackers through stepping stone connections or anonymizing networks. By slightly changing packet timing, thes...
119
click to vote
VLDB
1987
ACM
15 years 5 months ago
1987
ACM
This paper reports on an implementation of Bayer's Time Interval concurrency control method and compares it to the performance of a conventional timestamp method. The impleme...
129
click to vote
EMSOFT
2007
Springer
15 years 8 months ago
2007
Springer
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
131
click to vote
ECOOP
1995
Springer
15 years 5 months ago
1995
Springer
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...
APLAS
2005
ACM
15 years 7 months ago
2005
ACM
Affine size-change analysis has been used for termination analysis of eager functional programming languages. The same style of analysis is also capable of compactly recording and ...