9018 search results - page 1058 / 1804 » 3D-Brain Model Software |
225
click to vote
WINE
2005
Springer
16 years 1 months ago
2005
Springer
Consider a network vulnerable to viral infection. The system security software can guarantee safety only to a limited part of the network. Such limitations result from economy cos...
228
click to vote
SIGSOFT
2003
ACM
16 years 26 days ago
2003
ACM
1 Step-wise refinement (SWR) asserts that complex programs can be derived from simple programs by progressively adding features. The length of a program specification is the number...
210
click to vote
GPCE
2009
Springer
16 years 6 days ago
2009
Springer
User interfaces for modern applications must support a rich set of interactive features. It is commonplace to find applications with dependencies between values manipulated by us...
254
click to vote
FLOPS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Assertion-based contracts provide a powerful mechanism for stating invariants at module boundaries and for enforcing them uniformly. In 2002, Findler and Felleisen showed...
196
click to vote
WSC
2000
15 years 9 months ago
2000
Significant advances have been made in the field of construction process modeling. However, no convenient graphical support tools exist that can depict the modeled operations in 3...