1771 search results - page 233 / 355 » An Aspect-Oriented Security Framework |
157
click to vote
SAFECOMP
1998
Springer
15 years 10 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
137
click to vote
OOPSLA
1995
Springer
15 years 10 months ago
1995
Springer
eusable framework, pattern or module interface usually is represented by abstract They form an abstract design and leave the implementation to concrete subclasses. ract design is ...
144
click to vote
OOPSLA
1987
Springer
15 years 10 months ago
1987
Springer
SELF is an object-oriented language for exploratory programming based on a small number of simple and concrete ideas: prototypes, slots, and behavior. Prototypes combine inheritanc...
193
click to vote
ATC
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Software agent technology has attracted much attention for developing various distributed systems, composed of autonomous agents interacting with one another using partic...
173
click to vote
DIMVA
2004
15 years 8 months ago
2004
: A method to heuristically construct an isomorphism between the sets of functions in two similar but differing versions of the same executable file is presented. Such an isomorphi...