Sciweavers

9018 search results - page 144 / 1804
» 3D-Brain Model Software
Sort
View
HASE
1998
IEEE
15 years 3 months ago
Log-Logistic Software Reliability Growth Model
Finite failure NHPP models proposed in the literature exhibit either constant, monotonic increasing or monotonic decreasing failure occurrence rates per fault, and are inadequate ...
Swapna S. Gokhale, Kishor S. Trivedi
90
Voted
ISCIS
2004
Springer
15 years 4 months ago
Software Testing via Model Checking
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
Fevzi Belli, Baris Güldali
SE
2010
15 years 15 days ago
Model-Driven Software Migration
: In this paper we propose model-driven techniques to migrate legacy systems into Service-Oriented Architectures (SOA). The proposal explores how querying and transformation techni...
Andreas Fuhr, Tassilo Horn, Andreas Winter
VRML
2000
ACM
15 years 3 months ago
3D behavioral model design for simulation and software engineering
Modeling is used to build structures that serve as surrogates for other objects. As children, we learn to model at a very young age. An object such as a small toy train teaches us...
Paul A. Fishwick
BPM
2008
Springer
188views Business» more  BPM 2008»
15 years 1 months ago
Social Software for Modeling Business Processes
Abstract. The aim of this paper is to show how the use of social networks may help users to behave as modelers they trust. Users are guided in this respect within the context of an...
Agnes Koschmider, Minseok Song, Hajo A. Reijers