2139 search results - page 86 / 428 » Modeling Aspect-Oriented Compositions |
195
click to vote
QEST
2006
IEEE
16 years 10 days 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...
167
click to vote
TACAS
1998
Springer
15 years 10 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...
1782
click to vote
ICECCS
2008
IEEE
16 years 23 days ago
2008
IEEE
Component-based software development focuses on building large software systems by integrating existing software components to reduce cost, risk and time. However, behavioural and...
132
click to vote
AAAI
2008
15 years 8 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....
167
click to vote
ICIP
2009
IEEE
15 years 4 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...