4340 search results - page 122 / 868 » Formal Methods and Cryptography |
156
click to vote
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
Traits are basically mixins or interfaces but with method bodies. In languages that support traits, classes are composed out of traits. There are two main advantages with traits. ...
136
Voted
FMCO
2006
Springer
15 years 7 months ago
2006
Springer
d Abstract) Vladimiro Sassone1 , Karl Krukow2 , and Mogens Nielsen2 1 ECS, University of Southampton 2 BRICS , University of Aarhus We define a mathematical measure for the quantit...
135
click to vote
DOCENG
2007
ACM
15 years 7 months ago
2007
ACM
We present in this paper a method for document layout analysis based on identifying the function of document elements (what they do). This approach is orthogonal and complementary...
132
click to vote
FM
1994
Springer
15 years 8 months ago
1994
Springer
OPUS is an elementary calculus that models object-orientation. It expresses in a direct way the crucial features of object-oriented programming such as objects, encapsulation, mess...
151
click to vote
WCRE
1995
IEEE
15 years 7 months ago
1995
IEEE
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...