1821 search results - page 192 / 365 » Security-Aware Program Transformations |
163
Voted
AOSD
2012
ACM
13 years 10 months ago
2012
ACM
Aspect-Oriented Programming (AOP) started fifteen years ago with the remark that modularization of so-called crosscutting functionalities is a fundamental problem for the enginee...
135
Voted
SIGSOFT
2003
ACM
15 years 7 months ago
2003
ACM
1 Step-wise refinement (SWR) asserts that complex programs can be derived from simple programs by progressively adding features. The length of a program specification is the number...
125
Voted
PROVSEC
2007
Springer
15 years 8 months ago
2007
Springer
Game-playing is an approach to write security proofs that are easy to verify. In this approach, security definitions and intractable problems are written as programs called games ...
130
Voted
MOMPES
2006
IEEE
15 years 8 months ago
2006
IEEE
In this era of intense liking to automation in almost all time-critical fields, real-time systems have got widespread utilization in industrial, commercial, medical, space and mil...
137
Voted
HASKELL
2006
ACM
15 years 8 months ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...