5525 search results - page 644 / 1105 » Verification of Model Transformations |
194
click to vote
CIMCA
2008
IEEE
16 years 1 months ago
2008
IEEE
With the advent of e-Commerce, enterprises can no longer rely on static business strategies. They have to be able to cope in dynamic and uncertain electronic environments, especia...
199
click to vote
APSEC
2006
IEEE
16 years 1 months ago
2006
IEEE
The technology of a home network system (HNS) allows integration of several kinds of home appliances to provide a user with value-added integrated services. Development of the int...
181
click to vote
SOFSEM
2005
Springer
16 years 16 days ago
2005
Springer
Recently, a range of applications of views increases. Views are not anymore tightly related to classical databases – there are proposals to use them as means of data transformati...
216
click to vote
AVBPA
2005
Springer
16 years 15 days ago
2005
Springer
Abstract. This paper is framed in the field of statistical face analysis. In particular, the problem of accurate segmentation of prominent features of the face in frontal view ima...
184
click to vote
KI
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...