3984 search results - page 318 / 797 » A Model-Driven Transformation Method |
185
click to vote
AGTIVE
2007
Springer
16 years 10 days ago
2007
Springer
In this article, we propose to use the Discrete EVent system Specification (DEVS) formalism to describe and execute graph transformation control structures. We provide a short rev...
195
click to vote
SOFSEM
2007
Springer
16 years 7 days ago
2007
Springer
We investigate randomised algorithms for subset matching with spatial point sets—given two sets of d-dimensional points: a data set T consisting of n points and a pattern P consi...
151
Voted
ASWEC
2006
IEEE
16 years 6 days ago
2006
IEEE
This paper describes the formalisation of Java thread synchronisation in an extended Owicki-Gries theory, which facilitates the proof of safety and progress properties of multi-th...
142
Voted
AVSS
2006
IEEE
16 years 6 days ago
2006
IEEE
We propose in this work a method for detecting faces in colour images with complex backgrounds. The approach starts with the transformation of the image pixels from the RGB colour...
151
Voted
ICDE
2006
IEEE
16 years 5 days ago
2006
IEEE
This paper introduces the use of wavelets for information retrieval in a peer-to-peer environment. In order to achieve our purposes, we use a new combination between broadcasting ...