2436 search results - page 398 / 488 » Comonadic Notions of Computation |
151
click to vote
KESAMSTA
2010
Springer
15 years 2 months ago
2010
Springer
Real-time computations in multi-agent systems have been studied from different perspectives of reasoning, message passing, resource management and negotiations. Separate treatment...
130
click to vote
NA
2010
15 years 2 months ago
2010
In the past decade or so, semi-definite programming (SDP) has emerged as a powerful tool capable of handling a remarkably wide range of problems. This article describes an innovat...
126
click to vote
PASTE
2010
ACM
15 years 2 months ago
2010
ACM
Monitoring or profiling programs provides us with an understanding for its further improvement and analysis. Typically, for monitoring or profiling, the program is instrumented ...
144
click to vote
TKDE
2010
15 years 2 months ago
2010
—Efficiency and privacy are two fundamental issues in moving object monitoring. This paper proposes a privacy-aware monitoring (PAM) framework that addresses both issues. The fra...
192
click to vote
AGP
2010
IEEE
15 years 2 months ago
2010
IEEE
The Italian Logic Programming community has given several contributions to the theory of Concurrent Constraint Programming. In particular, in the topics of semantics, verification,...