1737 search results - page 325 / 348 » On Interpolation in Existence Logics |
179
click to vote
CCS
2005
ACM
15 years 11 months ago
2005
ACM
In a reputation-based trust-management system, agents maintain information about the past behaviour of other agents. This information is used to guide future trust-based decisions...
172
click to vote
ILP
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we survey work being conducted at Imperial College on the use of machine learning to build Systems Biology models of the effects of toxins on biochemical pathways. Se...
178
click to vote
OOPSLA
2005
Springer
15 years 11 months ago
2005
Springer
Generalized algebraic data types (GADTs) have received much attention recently in the functional programming community. They generalize the (type) parameterized algebraic datatype...
163
click to vote
OOPSLA
2005
Springer
15 years 11 months ago
2005
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The speonstraint expressed is that the abstract state of the object to whi...
171
click to vote
OOPSLA
2005
Springer
15 years 11 months ago
2005
Springer
Designing component-based application that meets performance requirements remains a challenging problem, and usually requires a prototype to be constructed to benchmark performanc...