6960 search results - page 897 / 1392 » Continuity Analysis of Programs |
151
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
This paper introduces a new design method for multi-agent systems (MAS) that incorporate logic programming. The DigitalFriend is an example of a MAS with a built-in logic language...
195
click to vote
CSFW
2004
IEEE
15 years 10 months ago
2004
IEEE
Noninterference requires that there is no information flow from sensitive to public data in a given system. However, many systems perform intentional release of sensitive informat...
166
click to vote
EUROPAR
2006
Springer
15 years 10 months ago
2006
Springer
Parallel performance tuning naturally involves a diagnosis process to locate and explain sources of program inefficiency. Proposed is an approach that exploits parallel computation...
132
click to vote
ICALP
2000
Springer
15 years 10 months ago
2000
Springer
This paper demonstrates how three stochastic process algebras can be mapped on to a generally-distributed stochastic transition system. We demonstrate an aggregation technique on ...
154
click to vote
ICALP
1991
Springer
15 years 10 months ago
1991
Springer
We give an expected-case analysis of Delaunay triangulations. To avoid edge effects we consider a unit-intensity Poisson process in Euclidean d-space, and then limit attention to...