6978 search results - page 1117 / 1396 » On Proofs in System P |
164
click to vote
CAISE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Recently, several large companies have been involved in financial scandals related to mismanagement, resulting in financial damages for their stockholders. In response, c...
172
click to vote
HOPL
2007
15 years 10 months ago
2007
Emerald is an object-based programming language and system designed and implemented in the Department of Computer Science at the University of Washington in the early and mid-1980...
172
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
To perform large-scale coordination in real-world environments requires that many individually complex technologies come together to form integrated solutions. In this paper, we p...
197
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
Information systems must establish trust to cooperate effectively in open environments. We are developing an agent-based approach for establishing trust, where information systems ...
174
click to vote
DCC
1995
IEEE
15 years 10 months ago
1995
IEEE
Compression with Reversible Embedded Wavelets (CREW) is a uni ed lossless and lossy continuous-tone still image compression system. It is wavelet-based using a \reversible" a...