Sciweavers

3885 search results - page 346 / 777
» Transformations for Write-All-with-Collision Model
Sort
View
163
Voted
SOSE
2008
IEEE
16 years 1 months ago
Precise Steps for Choreography Modeling for SOA Validation and Verification
Service-oriented architecture (SOA) enables organizations to transform their existing IT infrastructure into a more flexible business process platform.. In this architecture, deco...
Sebastian Wieczorek, Andreas Roth, Alin Stefanescu...
APSEC
2006
IEEE
16 years 25 days ago
Adopting Model-Driven Development for Integrated Services and Appliances in Home Network Systems
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...
Hiroshi Igaki, Masahide Nakamura, Ken-ichi Matsumo...
SOFSEM
2005
Springer
16 years 7 days ago
Modeling Data Integration with Updateable Object Views
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...
Piotr Habela, Krzysztof Kaczmarski, Hanna Kozankie...
AVBPA
2005
Springer
279views Biometrics» more  AVBPA 2005»
16 years 6 days ago
Active Shape Models with Invariant Optimal Features (IOF-ASMs)
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...
Federico Sukno, Sebastián Ordas, Constantin...
KI
2004
Springer
16 years 3 days ago
Model Based Deduction for Database Schema Reasoning
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...
Peter Baumgartner, Ulrich Furbach, Margret Gro&szl...