2859 search results - page 508 / 572 » A Programming Environment for Bousi-Prolog |
175
click to vote
OOPSLA
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. Object-oriented language concepts have been highly successful, resulting in a large number of object-oriented languages and language extensions. Unfortunately, formal met...
154
click to vote
ACSAC
2006
IEEE
16 years 5 days ago
2006
IEEE
As new attacks against Windows-based machines emerge almost on a daily basis, there is an increasing need to “lock down” individual users’ desktop machines in corporate comp...
167
Voted
DFT
2006
IEEE
16 years 4 days ago
2006
IEEE
Control flow checking (CFC) is a well known concurrent checking technique for ensuring that a program’s instruction execution sequence follows permissible paths. Almost all CFC...
159
click to vote
IEEEPACT
2006
IEEE
16 years 4 days ago
2006
IEEE
The address sequence on the processor-memory bus can reveal abundant information about the control flow of a program. This can lead to critical information leakage such as encryp...
169
Voted
ICRA
2005
IEEE
15 years 11 months ago
2005
IEEE
— Imitation is a powerful mechanism for transferring knowledge from an instructor to a na¨ıve observer, one that is deeply contingent on a state of shared attention between the...