9842 search results - page 287 / 1969 » Compositional timing analysis |
132
click to vote
ATAL
2010
Springer
15 years 5 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...
128
Voted
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
An audio recording is subject to a number of possible distortions and artifacts. For example, the persistence of sound, due to multiple reflections from various surfaces in a roo...
140
click to vote
JUCS
2007
15 years 4 months ago
2007
: We investigate the computational power of C++ compilers. In particular, it is known that any partial recursive function can be computed at compile time, using the template mechan...
166
Voted
CRYPTO
2012
Springer
13 years 7 months ago
2012
Springer
Abstract. We present the first black-box construction of a secure multiparty computation protocol that satisfies a meaningful notion of concurrent security in the plain model (wi...
155
click to vote
CBSE
2005
Springer
15 years 10 months ago
2005
Springer
We consider a class of component-based software models with interaction style of buffered asynchronous message passing between components with ports, represented by UML-RT. After ...