9018 search results - page 52 / 1804 » 3D-Brain Model Software |
ICPADS
2005
IEEE
14 years 3 months ago
2005
IEEE
: We propose software reliability assessment methods for concurrent distributed system development by using the Analytic Hierarchy Process. Also, we make a comparison between the i...
ICSE
2009
IEEE-ACM
13 years 7 months ago
2009
IEEE-ACM
Verifying security properties of protocols requires developers to manually create protocol-specific intruder models, which could be tedious and error prone. We present Slede, a ve...
WETICE
1998
IEEE
14 years 2 months ago
1998
IEEE
The concept of the Virtual Software Corporation (VSC) has recently become a practical reality as a result of advances in communication and distributed technologies. However, there...
PADS
1999
ACM
14 years 2 months ago
1999
ACM
OOPSLA
2005
Springer
14 years 3 months ago
2005
Springer
Feature-based model templates have been proposed as a technique for modeling software product lines. We describe a set of tools supporting the technique, namely a feature model ed...