1327 search results - page 159 / 266 » Cost-Benefit Analysis of Software Development Techniques and... |
195
click to vote
GECCO
2009
Springer
16 years 1 months ago
2009
Springer
The sophistication of computer malware is becoming a serious threat to the information technology infrastructure, which is the backbone of modern e-commerce systems. We, therefore...
160
click to vote
EMSOFT
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we propose a formal analysis approach to estimate the expected (average) data cache access time of an application across all possible program inputs. Towards this g...
265
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
Distributed real-time systems require a predictable and verifiable mechanism to control the communication medium. Current real-time communication protocols are typically independe...
204
click to vote
WOSP
2005
ACM
16 years 13 days ago
2005
ACM
The change of focus from code to models promoted by OMG's Model Driven Development raises the need for verification of nonfunctional characteristics of UML models, such as pe...
169
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
Although many recent advances have been made in hardware synthesis techniques from software programming languages such as C, the performance of synthesized hardware commonly suffe...