2448 search results - page 225 / 490 » The Octahedron Abstract Domain |
APIN
2008
14 years 11 months ago
2008
Abstract Self-healing, i.e. the capability of a system to autonomously detect failures and recover from them, is a very attractive property that may enable large-scale software sys...
AAMAS
2006
Springer
14 years 11 months ago
2006
Springer
Abstract. There are many domains in which a multi-agent system needs to maximize a "system utility" function which rates the performance of the entire system, while subje...
CORR
2007
Springer
14 years 11 months ago
2007
Springer
Abstract. Identity-based encryption (IBE) schemes are usually used in multiplePKG environments — on the one hand, each administrative domain (e.g., a relatively small and close o...
JODS
2006
14 years 11 months ago
2006
Abstract. Many problems in Information and Data Management require a semantic account of a database schema. At its best, such an account consists of formulas expressing the relatio...
PERVASIVE
2006
Springer
14 years 11 months ago
2006
Springer
Abstract. A logic-based language is often adopted in systems for pervasive computing, because it provides a convenient way to define rules that change the behavior of the systems d...