733 search results - page 17 / 147 » A Logic Programming View of Authorization in Distributed Sys... |
101
Voted
PDCAT
2005
Springer
15 years 7 months ago
2005
Springer
View-Oriented Parallel Programming is based on Distributed Shared Memory which is friendly and easy for programmers to use. It requires the programmer to divide shared data into v...
144
click to vote
TYPES
1995
Springer
15 years 5 months ago
1995
Springer
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...
123
Voted
CCGRID
2007
IEEE
15 years 8 months ago
2007
IEEE
Traditional parallel programming styles have many problems which hinder the development of parallel applications. The message passing style can be too complex for many programmers...
132
Voted
OOPSLA
1999
Springer
15 years 6 months ago
1999
Springer
Object-based parallel and distributed applications are becoming increasingly popular, driven by the programmability advantages of component technology and a flat shared-object spa...
107
click to vote
TACS
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. We present two modal typing systems with the approximation modality, which has been proposed by the author to capture selfreferences involved in computer programs and the...