Sciweavers

9018 search results - page 252 / 1804
» 3D-Brain Model Software
Sort
View
JCSS
2011
154views more  JCSS 2011»
14 years 11 months ago
Model interoperability via Model Driven Development
It is widely recognised that software development is a complex process. Among the factors that contribute to its inherent complexity is the gap between the design and the formal a...
Mohamed Ariff Ameedeen, Behzad Bordbar, Rachid Ana...
AISS
2010
142views more  AISS 2010»
15 years 2 months ago
Service-Oriented Business-IT Alignment: A SOA Governance Model
The concept of Service Oriented Architecture (SOA) has had a significant impact not only on software engineering but on the analysis of an organization's business layer as we...
Mohammad Kazem Haki, Maia Wentland Forte
ICIP
2009
IEEE
15 years 2 months ago
Model based analysis for quantization parameter cascading in hierarchical video coding
Originally, the hierarchical coding structure was proposed to achieve temporal scalability. Soon after, it was realized that with a proper quantization parameter cascading (QPC) s...
Xiang Li, Peter Amon, Andreas Hutter, André...
ICSE
2007
IEEE-ACM
16 years 4 months ago
Feature Oriented Model Driven Development: A Case Study for Portlets
Model Driven Development (MDD) is an emerging paradigm for software construction that uses models to specify programs, and model transformations to synthesize executables. Feature...
Don S. Batory, Oscar Díaz, Salvador Trujill...
SPIN
2005
Springer
15 years 10 months ago
Symbolic Model Checking for Asynchronous Boolean Programs
Abstract. Software model checking problems generally contain two different types of non-determinism: 1) non-deterministically chosen values; 2) the choice of interleaving among th...
Byron Cook, Daniel Kroening, Natasha Sharygina