9018 search results - page 198 / 1804 » 3D-Brain Model Software |
123
Voted
ICEBE
2006
IEEE
15 years 9 months ago
2006
IEEE
The alignment of business processes and their supporting application software is a major concern during the initial software design phases. This paper proposes a design approach a...
158
Voted
ICSE
1999
IEEE-ACM
15 years 7 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
ENTCS
2010
15 years 23 days ago
2010
This paper discusses four store-based concrete memory models. We characterize memory models by the class of pointers they support and whether they use numerical or symbolic offset...
143
Voted
APSEC
2002
IEEE
15 years 8 months ago
2002
IEEE
We present a discrete simulation model for software projects which explicitly takes a scheduling strategy as input. The model represents varying staff skill levels, component coup...
134
click to vote
WOSP
2004
ACM
15 years 8 months ago
2004
ACM
In this paper we describe our experience in performance analysis of the software architecture of the NICE case study which is responsible for providing several secure communicatio...