The COCOMO II model was created to meet the need for a cost model that accounted for future software development practices. This resulted in the formulation of three submodels for...
Bradford Clark, Sunita Devnani-Chulani, Barry W. B...
This paper outlines the short-comings of rendezvous and the advantages of protected objects as a means of synchronization in Ada 95. A common Ada benchmark suite, ACES, gives the ...
Arti cial life might come to play important roles for the World Wide Web, both as a source of new algorithmic paradigms and as a source of inspiration for its future development. N...
Luigi Pagliarini, Ariel Dolan, Filippo Menczer, He...
The computer industry is increasingly dependent on open architectural standards for their competitive success. This paper describes a new approach to secure system design in which...
Mark Moriconi, Xiaolei Qian, Robert A. Riemenschne...
Abstract. Consider a Markovian Petri net with race policy. The marking process has a "product form" stationary distribution if the probability of viewing a given marking ...