15644 search results - page 348 / 3129 » Brittle System Analysis |
182
click to vote
ACSC
2006
IEEE
16 years 26 days ago
2006
IEEE
Code obfuscation is a relatively new technique of software protection and it works by deterring reverse engineering attempts by malicious users of software. The objective of obfus...
173
click to vote
DATE
2006
IEEE
16 years 25 days ago
2006
IEEE
UML2 and SysML try to adopt techniques known from software development to systems engineering. However, the focus has been put on modeling aspects until now and quantitative perfo...
168
click to vote
ICPPW
2005
IEEE
16 years 11 days ago
2005
IEEE
Grid enabled physics analysis requires a Workload Management System (WMS) that takes care of finding suitable computing resources to execute data intensive jobs. A typical exampl...
199
click to vote
IFL
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
169
click to vote
ORL
2007
15 years 6 months ago
2007
Polling systems with large deterministic setup times find many applications in production environments. The present note studies the delay distribution in exhaustive polling syst...