1728 search results - page 151 / 346 » Self-Organisation: Paradigms and Applications |
JCS
2010
13 years 8 months ago
2010
Inline reference monitoring is a powerful technique to enforce security policies on untrusted programs. The security-by-contract paradigm proposed by the EU FP6 S3 MS project uses...
IPAW
2010
13 years 8 months ago
2010
Abstract. The heterogeneous and unreliable nature of distributed systems has created a distinct need for the inclusion of provenance within their design to allow for error correcti...
WOA
2010
13 years 8 months ago
2010
In this paper, we present a software framework, called HDS (Heterogeneous Distributed System), that tries to simplify the realization of distributed applications and, in particular...
ICSE
2009
IEEE-ACM
13 years 7 months ago
2009
IEEE-ACM
The development of small wireless sensors and smart-phones, which include various sound, video, motion and location sensors have facilitated new pervasive applications. These perva...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
The paradigm of Tabled Logic Programming (TLP) is now supported by a number of Prolog systems, including XSB, YAP Prolog, B-Prolog, Mercury, ALS, and Ciao. The reasons for this ar...