10072 search results - page 145 / 2015 » Composition of Model Programs |
177
click to vote
ICPR
2008
IEEE
16 years 8 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...
187
Voted
SEFM
2006
IEEE
16 years 1 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...
160
click to vote
OOPSLA
2005
Springer
16 years 27 days 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...
202
Voted
GCC
2003
Springer
16 years 18 days 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...
174
click to vote
SOCO
2010
Springer
15 years 11 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...