1815 search results - page 127 / 363 » Making the Business Case for Software Performance Engineerin... |
120
click to vote
EUROMICRO
2007
IEEE
15 years 10 months ago
2007
IEEE
Getting business stakeholders’ goals formulated clearly and project scope defined realistically increases the chance of success for any application development process. As a cons...
141
click to vote
CCS
2008
ACM
15 years 5 months ago
2008
ACM
In the Horn theory based approach for cryptographic protocol analysis, cryptographic protocols and (Dolev-Yao) intruders are modeled by Horn theories and security analysis boils d...
117
click to vote
CCGRID
2008
IEEE
15 years 10 months ago
2008
IEEE
Hidden information is a critical issue for the successful delivery of SLAs in grid systems. It arises when the agents (hardware and software resources) employed to serve a task be...
130
click to vote
SAC
2009
ACM
15 years 10 months ago
2009
ACM
The increasing availability and deployment of open source software in personal and commercial environments makes open source software highly appealing for hackers, and others who ...
143
click to vote
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...