Sciweavers

636 search results - page 29 / 128
» The AXML Artifact Model
Sort
View
ASE
2008
102views more  ASE 2008»
13 years 8 months ago
Model driven code checking
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
Gerard J. Holzmann, Rajeev Joshi, Alex Groce
INFORMATICALT
2010
110views more  INFORMATICALT 2010»
13 years 6 months ago
Exemplar-Based Image Completion Model Employing PDE Corrections
To suitably complete an image without seams, block effects, and artifacts, a novel exemplar-based image completion model employing partial differential equation (PDE) is proposed. ...
Jiying Wu, Qiuqi Ruan, GaoYun An
AO
2006
97views more  AO 2006»
13 years 8 months ago
An ontological model of device function: industrial deployment and lessons learned
Functionality is one of the key concepts of knowledge about artifacts. Functional knowledge shows a part of designer's intention (so-called design rationale), and thus its sha...
Yoshinobu Kitamura, Yusuke Koji, Riichiro Mizoguch...
IPMI
1999
Springer
14 years 5 days ago
Model Generation from Multiple Volumes Using Constrained Elastic SurfaceNets
Three dimensional models of anatomical structures are currently used to aid in medical diagnosis, treatment, surgical guidance, and surgical simulation. Limitations on the resolut...
Michael E. Leventon, Sarah F. Frisken Gibson
CASCON
2008
137views Education» more  CASCON 2008»
13 years 9 months ago
Automating SLA modeling
Service Level Agreements (SLAs) define the level of service that a service provider must deliver. An SLA is a contract between service provider and consumer, and includes appropri...
Tony Chau, Vinod Muthusamy, Hans-Arno Jacobsen, El...