1886 search results - page 44 / 378 » Modeling and Enacting Software Processes Using VRPML |
LREC
2008
15 years 4 months ago
2008
The Teko corpus composing model offers a decentralized, dynamic way of collecting high-quality text corpora for linguistic research. The resulting corpus consists of independent t...
140
Voted
ESEM
2009
ACM
15 years 9 months ago
2009
ACM
: © Using Security Metrics Coupled with Predictive Modeling and Simulation to Assess Security Processes Yolanta Beres, Marco Casassa Mont, Jonathan Griffin, Simon Shiu HP Laborato...
123
Voted
IEE
2007
15 years 2 months ago
2007
Software development techniques are continuously evolving with the goal of solving the main problems that still affect the building and maintenance of software systems: time, cost...
153
click to vote
ICST
2009
IEEE
15 years 9 days ago
2009
IEEE
Bounded model checking--as well as symbolic equivalence checking--are highly successful techniques in the hardware domain. Recently, bit-vector bounded model checkers like CBMC ha...
119
Voted
ICSE
1997
IEEE-ACM
15 years 6 months ago
1997
IEEE-ACM
1 In this paper we characterize and model the cost of rework in a Component Factory (CF) organization. A CF is responsible for developing and packaging reusable software components...