2060 search results - page 69 / 412 » The Composition of Event-B Models |
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
Voted
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...
116
click to vote
AH
2006
Springer
15 years 10 months ago
2006
Springer
This paper provides a solution to discourse structure adaptation in the process of automatic hypermedia presentation generation. Existing approaches to discourse structure composit...
103
click to vote
PTS
2007
15 years 5 months ago
2007
with abstract data structures • Margus Veanes, Colin Campbell and Wolfram Schulte: Composition of Model Programs