5525 search results - page 323 / 1105 » Verification of Model Transformations |
198
click to vote
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
In every application domain, achieving interoperability among heterogenous information systems is a crucial challenge and alliances are formed to standardize data-exchange formats...
167
click to vote
ICASSP
2007
IEEE
16 years 1 months ago
2007
IEEE
In radar, when the wavelength of the transmitted electromagnetic wave is considerably larger than the dimension of the antenna, the received signal is modeled as the integral of t...
176
click to vote
ICIP
2007
IEEE
16 years 1 months ago
2007
IEEE
Coding of video sequences using hierarchical B pictures in the Joint Scalable Video Model (JSVM) for the scalability amendment of H.264/AVC has the benefit of improved rate distor...
206
click to vote
SI3D
2006
ACM
16 years 21 days ago
2006
ACM
This paper studies jump flooding as an algorithmic paradigm in the general purpose computation with GPU. As an example application of jump flooding, the paper discusses a constant...
179
click to vote
ECMDAFA
2005
Springer
16 years 9 days ago
2005
Springer
As the number of available Web services increases there is a growing demand to realize complex business processes by combining and reusing available Web services. The reuse and com...