2335 search results - page 258 / 467 » Type Checking Type Classes |
113
click to vote
CSFW
2010
IEEE
15 years 4 months ago
2010
IEEE
—Although policy compliance testing is generally treated as a binary decision problem, the evidence gathered during the trust management process can actually be used to examine t...
105
click to vote
DBPL
1991
Springer
15 years 4 months ago
1991
Springer
We propose a programming paradigm that tries to get close to both the semantic simplicity of relational algebra, and the expressive power of unrestricted programming languages. It...
115
Voted
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
In open societies such as multi-agent systems, it is important that coordination among the several actors is achieved efficiently. One economical way of capturing that aspiration ...
CRITIS
2007
15 years 2 months ago
2007
Abstract In this paper we discuss the properties and algorithmic methods for the identification and classification of cyclical interdependencies in critical infrastructures based...
129
Voted
CIDR
2007
15 years 2 months ago
2007
Biologists are increasingly using databases for storing and managing their data. Biological databases typically consist of a mixture of raw data, metadata, sequences, annotations,...