3828 search results - page 600 / 766 » Proof-Based System Engineering Using a Virtual System Model |
142
click to vote
METRICS
1999
IEEE
15 years 10 months ago
1999
IEEE
Function point analysis(FPA) was proposedto help measure the size of a computerizedbusiness information system. It is widely used in the actual software development. However, it h...
146
click to vote
ASWEC
2007
IEEE
15 years 10 months ago
2007
IEEE
There is a growing demand for web applications to provide fair service to the highly concurrent requests. In this paper, we present an approach to addressing this requirement. Bas...
140
click to vote
APSEC
2004
IEEE
15 years 9 months ago
2004
IEEE
In component-based development (CBD), component is the basic unit for reuse and it provides a relatively coarse-grained functionality. A component typically consists of several re...
138
click to vote
COMPSAC
2004
IEEE
15 years 9 months ago
2004
IEEE
Function is a dynamic property closely related to the conformational mechanisms of the protein structure in its physiological environment. Efficient methods and tools for predicti...
179
click to vote
FSTTCS
2000
Springer
15 years 9 months ago
2000
Springer
We propose an object-oriented calculus with internal concurrency and class-based inheritance that is built upon the join calculus. Method calls, locks, and states are handled in a...