Sciweavers

9018 search results - page 236 / 1804
» 3D-Brain Model Software
Sort
View
CC
2005
Springer
103views System Software» more  CC 2005»
15 years 4 months ago
Valiant's model and the cost of computing integers
Let (n) be the minimum number of arithmetic operations required to build the integer n N from the constants 1 and 2. A sequence xn is said to be "easy to compute" if the...
Pascal Koiran
ECSA
2007
Springer
15 years 10 months ago
An Ontology-Based Approach for Modelling Architectural Styles
Abstract. The conceptual modelling of software architectures is of central importance for the quality of a software system. A rich modelling language is required to integrate the d...
Claus Pahl, Simon Giesecke, Wilhelm Hasselbring
COMPSAC
2005
IEEE
15 years 10 months ago
Using Aspect Oriented Techniques to Support Separation of Concerns in Model Driven Development
Model driven development (MDD) tackles software complexity through the use of models. However, managing relationships and specifying transformations models at various levels of ab...
Arnor Solberg, Devon M. Simmonds, Raghu Reddy, Sud...
WETICE
2005
IEEE
15 years 10 months ago
Application of Lightweight Formal Methods to Software Security
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
David P. Gilliam, John D. Powell, Matt Bishop
UML
2001
Springer
15 years 9 months ago
Estimating Software Development Effort Based on Use Cases-Experiences from Industry
Use case models are used in object-oriented analysis for capturing and describing the functional requirements of a system. Several methods for estimating software development effor...
Bente Anda, Hege Dreiem, Dag I. K. Sjøberg,...