458 search results - page 46 / 92 » Symbolic Object Code Analysis |
SP
2007
IEEE
15 years 4 months ago
2007
IEEE
The integrity of kernel code and data is fundamental to the integrity of the computer system. Tampering with the kernel data is an attractive venue for rootkit writers since malic...
ECOOPW
1997
Springer
15 years 2 months ago
1997
Springer
The traditional workflow process model is typically illustrated with a graph of activities, tasks, deliverables and techniques. From an object-oriented perspective, every identifi...
130
click to vote
DISCO
1993
15 years 2 months ago
1993
ObjectMath is a high-level programming environment and modeling language for scientific computing which supports variants and graphical browsing in the environment and integrates o...
TCSV
2002
14 years 9 months ago
2002
The new video-coding standard MPEG-4 enables content-based functionality, as well as high coding efficiency, by taking into account shape information of moving objects. A novel alg...
ECOOP
2012
Springer
13 years 11 days ago
2012
Springer
X10 is an object oriented programming language with a sophisticated type system (constraints, class invariants, non-erased generics, closures) and concurrency constructs (asynchron...