Sciweavers

104 search results - page 2 / 21
» A Canonical Scheme for Model Composition
Sort
View
NCA
2005
IEEE
13 years 11 months ago
Protocol Composition Frameworks A Header-Driven Model
Protocol composition frameworks provide off-the-shelf composable protocols to simplify the development of custom protocol stacks. All recent protocol frameworks use a general-purp...
Daniel C. Bünzli, Sergio Mena, Uwe Nestmann
ADBIS
2006
Springer
135views Database» more  ADBIS 2006»
13 years 9 months ago
Interactive Discovery and Composition of Complex Web Services
Among the most important expected benefits of a global service oriented architecture leveraging web service standards is an increased level of automation in the discovery, composit...
Sergey A. Stupnikov, Leonid A. Kalinichenko, St&ea...
ESOP
2001
Springer
13 years 9 months ago
Modeling an Algebraic Stepper
Programmers rely on the correctness of the tools in their programming environments. In the past, semanticists have studied the correctness of compilers and compiler analyses, which...
John Clements, Matthew Flatt, Matthias Felleisen
ICIP
2009
IEEE
13 years 3 months ago
Improved watermark detection robust to camcorder capture based on quadrangle estimation
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...
Min-Jeong Lee, Kyung-Su Kim, Young-Ho Suh, Heung-K...
JOT
2007
94views more  JOT 2007»
13 years 5 months ago
A Typing Scheme for Behavioural Models
State machines can be used to specify the behaviour of objects in a system by describing the relationships between the states of the object and its ability to respond to events pr...
Ashley T. McNeile, Nicholas Simons