9006 search results - page 107 / 1802 » Modeling Software |
117
click to vote
CAV
2007
Springer
15 years 6 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
IEE
2000
15 years 2 months ago
2000
: Existing approaches to modelling software systems all too often neglect the issue of component-mismatch identi
MASCOTS
2004
15 years 3 months ago
2004
Queueing models are routinely used to analyze the performance of software systems. However, contrary to common assumptions, the time that a software server takes to complete jobs ...
113
Voted
JIT
2004
Springer
15 years 7 months ago
2004
Springer
A software development unit called to renew or replace an existing corporate system may face some special problems in an established company with a lot of well-trained behavioral p...
130
click to vote
EUROMICRO
1997
IEEE
15 years 6 months ago
1997
IEEE
The paper presents a hierarchical modeling approach of the N version programming in a real – time environment. The model is constructed in three layers. At the first layer we d...