Sciweavers

11462 search results - page 562 / 2293
» Developing Application-Centric Methods
Sort
View
ASWEC
2008
IEEE
15 years 9 months ago
Refactoring Effect Estimation Based on Complexity Metrics
Refactoring is a set of operations to improve maintainability or understandability or other attributes of a software system without changing the external behavior of it, and it is...
Yoshiki Higo, Yoshihiro Matsumoto, Shinji Kusumoto...
DAC
2005
ACM
15 years 9 months ago
Performance space modeling for hierarchical synthesis of analog integrated circuits
Automated analog sizing is becoming an unavoidable solution for increasing analog design productivity. The complexity of typical analog SoC subsystems however calls for efficient ...
Georges G. E. Gielen, Trent McConaghy, Tom Eeckela...
FORTEST
2008
15 years 8 months ago
Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer
Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testin...
Margus Veanes, Colin Campbell, Wolfgang Grieskamp,...
BNCOD
2007
104views Database» more  BNCOD 2007»
15 years 8 months ago
Integrity Checking and Maintenance with Active Rules in XML Databases
While specification languages for integrity constraints for XML data have been considered in the literature, actual technologies and methodologies for checking and maintaining in...
Henning Christiansen, Maria Rekouts
KRMED
2008
15 years 8 months ago
Debugging SNOMED CT Using Axiom Pinpointing in the Description Logic EL+
Snomed ct is a large-scale medical ontology, which is developed using a variant of the inexpressive Description Logic EL. Description Logic reasoning can not only be used to compu...
Franz Baader, Boontawee Suntisrivaraporn