2261 search results - page 145 / 453 » Modeling the Experimental Software Engineering Process |
258
click to vote
POPL
2006
ACM
16 years 5 months ago
2006
ACM
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
158
click to vote
PE
2010
Springer
14 years 11 months ago
2010
Springer
Fluid modelling is a next-generation technique for analysing massive performance models. Passive cooperation is a popular cooperation mechanism frequently used by performance engi...
105
click to vote
SIGSOFT
2000
ACM
15 years 9 months ago
2000
ACM
We present the universe model,a new approach to concurrencymanagement that isolates concurrency concerns and represents them in the modular interface of a component. This approach...
155
click to vote
VSTTE
2005
Springer
15 years 10 months ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
155
click to vote
ISESE
2006
IEEE
15 years 10 months ago
2006
IEEE
We consider empirical evaluation of the availability of the deployed software. Evaluation of real systems is more realistic, more accurate, and provides higher level of confidenc...