Sciweavers

242 search results - page 16 / 49
» On the Non-sequential Nature of Domain Models of Real-number...
Sort
View
IPPS
2005
IEEE
14 years 2 months ago
A Maintenance-Oriented Fault Model for the DECOS Integrated Diagnostic Architecture
Abstract— The increasing use of electronics in the automotive and avionic domain has lead to dramatic improvements with respect to functionality, safety, and cost. However, with ...
Philipp Peti, Roman Obermaisser, Astrit Ademaj, He...
ISORC
2005
IEEE
14 years 2 months ago
Automated Model Checking and Testing for Composite Web Services
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
Hai Huang, Wei-Tek Tsai, Raymond A. Paul, Yinong C...
IEEESCC
2005
IEEE
14 years 2 months ago
Transforming Business Process Models: Enabling Programming at a Higher Level
Two practical paradigms are presented, which facilitate domain concepts to be directly used to model business operations: the first paradigm is based on the business artifacts and...
Wei Zhao, Barrett R. Bryant, Fei Cao, Kamal Bhatta...
CODASPY
2011
13 years 15 hour ago
Relationship-based access control: protection model and policy language
Social Network Systems pioneer a paradigm of access control that is distinct from traditional approaches to access control. Gates coined the term Relationship-Based Access Control...
Philip W. L. Fong
ICPR
2008
IEEE
14 years 2 months ago
Regional motion patterns for the Left Ventricle function assessment
Regional scores (e.g. strain, perfusion) of the Left Ventricle (LV) functionality are playing an increasing role in the diagnosis of cardiac diseases. A main limitation is the lac...
Jaume Garcia-Barnes, Debora Gil, Francesc Carreras...