10072 search results - page 145 / 2015 » Composition of Model Programs |
126
click to vote
ICPR
2008
IEEE
16 years 6 months ago
2008
IEEE
In this paper, we propose a method for detecting digital processing of video such as compositing. Our method is based on a realistic model of charge coupled device (CCD) sensor no...
139
Voted
SEFM
2006
IEEE
15 years 11 months ago
2006
IEEE
We present a methodology for modeling heterogeneous real-time components. Components are obtained as the superposition of three layers : Behavior, specified as a set of transitio...
118
click to vote
OOPSLA
2005
Springer
15 years 10 months ago
2005
Springer
Studies of Aspect-Oriented Programming (AOP) usually focus on a language in which a specific aspect extension is integrated with a base language. Languages specified in this man...
137
Voted
GCC
2003
Springer
15 years 10 months ago
2003
Springer
This paper introduces a method for automatic composition of semantic web services using linear logic theorem proving. The method uses semantic web service language (DAML-S) for ext...
138
click to vote
SOCO
2010
Springer
15 years 9 months ago
2010
Springer
Aspect composition often involves advice interference and this is a crucial problem in aspect oriented programming. When multiple advices are woven at the same join point, the advi...