2558 search results - page 102 / 512 » Model Composition Contracts |
158
click to vote
QEST
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— This paper reports on our efforts to link an industrial state-of-the-art modelling tool to academic state-of-the-art analysis algorithms. In a nutshell, we enable timed...
137
click to vote
TACAS
1998
Springer
15 years 8 months ago
1998
Springer
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
107
click to vote
AAAI
2008
15 years 6 months ago
2008
Modern feature-rich telecommunications services offer significant opportunities to human users. To make these services more usable, facilitating personalisation is very important....
139
click to vote
ICIP
2009
IEEE
15 years 1 months ago
2009
IEEE
In this paper, we propose a blind watermark detection scheme which is robust against composite geometric distortions. The composite geometric distortions mean that an image or a v...
132
click to vote
COORDINATION
2007
Springer
15 years 10 months ago
2007
Springer
Connectors have emerged as a powerful concept for composition and coordination of concurrent activities encapsulated as components and services. Compositional coordination models a...