8623 search results - page 1499 / 1725 » Software engineering for secure systems |
125
click to vote
WWW
2003
ACM
16 years 5 months ago
2003
ACM
As dynamic content becomes increasingly dominant, it becomes an important research topic as how the edge resources such as client-side proxies, which are otherwise underutilized f...
137
click to vote
ICFP
2002
ACM
16 years 5 months ago
2002
ACM
We present the type theory LTT, intended to form a basis for typed target languages, providing an internal notion of logical proposition and proof. The inclusion of explicit proof...
124
click to vote
MODELS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
131
click to vote
DRM
2005
Springer
15 years 10 months ago
2005
Springer
DRM has been widely promoted as a means to enforce copyright. In many previous papers, it has been argued that DRM gives too much power to rights holders and actually goes beyond ...
159
click to vote
SAFECOMP
2005
Springer
15 years 10 months ago
2005
Springer
As programmable logic controllers(PLCs) have been used in safety-critical applications, testing of PLC applications has become important. The previous PLC-based software testing te...