7329 search results - page 116 / 1466 » Software Architectural Transformation |
175
click to vote
CAV
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...
191
click to vote
EUROMICRO
2006
IEEE
16 years 12 days ago
2006
IEEE
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of sy...
220
click to vote
CIDR
2011
14 years 10 months ago
2011
Data state in a data management system such as a database is the result of the transactions performed on that data management system. Approaches such as single-message transaction...
150
click to vote
KBSE
2010
IEEE
15 years 4 months ago
2010
IEEE
Most practising software architects operate within an architecture framework which is a coordinated set of viewpoints, models and notations prescribed for them. Whereas architectu...
192
click to vote
KBSE
2010
IEEE
15 years 4 months ago
2010
IEEE
Scientists today conduct new research via software-based experimentation and validation in a host of disciplines, including materials science, life sciences, astronomy, and physic...