1117 search results - page 186 / 224 » Partial Models of Extended Generalized Logic Programs |
100
click to vote
GECCO
2008
Springer
14 years 10 months ago
2008
Springer
Many sectors of the military are interested in Self-Organized (SO) systems because of their flexibility, versatility and economics. The military is researching and employing auto...
101
click to vote
EUROCRYPT
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Secure computation consists of protocols for secure arithmetic: secret values are added and multiplied securely by networked processors. The striking feature of secure co...
GPCE
2007
Springer
15 years 3 months ago
2007
Springer
Maintaining integrity, consistency, and enforcing conformance in architectures of large-scale systems requires specification and enforcement of many different forms of structural...
ECOOP
1993
Springer
15 years 1 months ago
1993
Springer
: Mixin-based inheritance is an inheritance technique that has been shown to subsume a variety of different inheritance mechanisms. It is based directly upon an incremental modific...
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
Several agent-oriented software engineering methodologies address the emerging challenges posed by the increasing need of adaptive software. A common denominator of such methodolo...