4386 search results - page 642 / 878 » A Tamper-Resistant Programming Language System |
150
click to vote
LOPSTR
1992
Springer
15 years 7 months ago
1992
Springer
We present a self-applicable partial evaluator for a large subset of full Prolog. The partial evaluator, called Logimix, is the result of applying our experience from partial eval...
174
Voted
WOA
2004
15 years 5 months ago
2004
Abstract-- In this paper we present the communication architecture of the DALI Logic Programming Agent-Oriented language and we discuss its semantics. We have designed a meta-level...
141
Voted
MICRO
2010
IEEE
15 years 1 months ago
2010
IEEE
Advanced Synchronization Facility (ASF) is an AMD64 hardware extension for lock-free data structures and transactional memory. It provides a speculative region that atomically exec...
134
click to vote
ICALP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. State-based systems and modal logics for reasoning about them often heterogeneously combine a number of features such as non-determinism and probabilities. Here, we show ...
104
Voted
IFIP
2007
Springer
15 years 9 months ago
2007
Springer
Supervisory control and data acquisition (SCADA) systems are widely used to monitor and control operations in electrical power distribution facilities, oil and gas pipelines, water...