3229 search results - page 102 / 646 » The Theory of Timed Automata |
158
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
We investigate the problem of locally monitoring contract regulated behaviours in web services. We encode contract clauses in service specifications by using extended timed automat...
218
click to vote
FOSSACS
2009
Springer
16 years 1 months ago
2009
Springer
In this essay we discuss the origin, central results, and some perspectives of algorithmic synthesis of nonterminating reactive programs. We recall the fundamental questions raised...
190
click to vote
OPODIS
2004
15 years 7 months ago
2004
Embedded Systems are components integrating software and hardware jointly and specifically designed to provide given functionalities. These components may be used in many different...
184
click to vote
TSP
2008
15 years 6 months ago
2008
This paper introduces a general and axiomatic approach to linear signal processing (SP) that we refer to as the algebraic signal processing theory (ASP). Basic to ASP is the linear...
175
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—There has been significant recent interest in covert communication using timing channels. In network timing channels, information is leaked by controlling the time between tran...