1585 search results - page 99 / 317 » A framework for computer-aided validation |
129
click to vote
WORM
2003
15 years 4 months ago
2003
We present a general framework for reasoning about network worms and analyzing the potency of worms within a specific network. First, we present a discussion of the life cycle of ...
134
Voted
CLEIEJ
2010
15 years 21 days ago
2010
Software Process Improvement, based on a Maturity Level or a Process Capability Profile, from a Capability Maturity Model or an ISO/IEC 15504-based model, is well established in t...
113
Voted
ICSE
2003
IEEE-ACM
16 years 3 months ago
2003
IEEE-ACM
Frameworks such as J2EE are designed to simplify the process of developing enterprise applications by handling much of the complexity of concurrency, transaction, and persistence ...
102
click to vote
MICCAI
2009
Springer
16 years 16 days ago
2009
Springer
The measure of lumen volume on radial arteries can be used to evaluate the vessel response to different vasodilators. In this paper, we present a framework for automatic lumen segm...
115
click to vote
KESAMSTA
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Imitative learning can be considered an essential task of humans development. People use instructions and demonstrations provided by other human experts to acquire knowle...