4386 search results - page 473 / 878 » A Tamper-Resistant Programming Language System |
183
click to vote
AOSD
2011
ACM
14 years 11 months ago
2011
ACM
The domain of operating systems has often been mentioned as an “ideal candidate” for the application of AOP; fundamental policies we find in these systems, such as synchroniz...
153
click to vote
MEMOCODE
2003
IEEE
15 years 10 months ago
2003
IEEE
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...
164
click to vote
LPKR
1997
Springer
15 years 8 months ago
1997
Springer
The purpose of this paper is to investigate the methodology of reasoning with prioritized defaults in the language of logic programs under the answer set semantics. We present a do...
146
click to vote
POS
1994
Springer
15 years 8 months ago
1994
Springer
The differing requirements for concurrency models in programming languages and databases are widely diverse and often seemingly incompatible. The rigid provision of a particular c...
123
Voted
SERP
2003
15 years 6 months ago
2003
This paper presents an integrated set of tools for performance-oriented development of software targeted to distributed heterogeneous systems. Using these tools, software developm...