2897 search results - page 215 / 580 » Test Case Integration: From Components to Systems |
169
click to vote
IJSEKE
2011
14 years 7 months ago
2011
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
129
click to vote
ICRA
1999
IEEE
15 years 8 months ago
1999
IEEE
Developing automated assembly systems normally happens in two distinct stages: rst an o -line" stage in which the system is designed and programmed in simulated and then an o...
157
click to vote
ICIP
2000
IEEE
15 years 8 months ago
2000
IEEE
In this contribution, we present an algorithm for lowcomplexity global motion estimation, that works with block-coded video (e.g. MPEG-2). A superimposed global motion model is fi...
147
Voted
OTM
2007
Springer
15 years 10 months ago
2007
Springer
: Two major problems in constructing data federations (for example, data warehouses and database federations) concern achieving and maintaining consistency and a uniform representa...
142
click to vote
CCGRID
2005
IEEE
15 years 9 months ago
2005
IEEE
While the Grid and Web Services have helped us support heterogeneous resource access through the use of service oriented architectures, they have not addressed the issue of hetero...