3738 search results - page 405 / 748 » Parametrized Logic Programming |
132
Voted
APSEC
2008
IEEE
15 years 10 months ago
2008
IEEE
Memory usage analysis is an important problem for resource-constrained mobile devices, especially under mission- or safety-critical circumstances. Program codes running on or bein...
110
click to vote
IFIP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Trust Management is an approach to construct and interpret the trust relationships among public-keys that are used to mediate security-critical actions. Cryptographic cre...
115
click to vote
CSL
2003
Springer
15 years 8 months ago
2003
Springer
The semantics of class-based languages can be defined in terms of objects only [8, 7, 1] if classes are viewed as objects with a constructor method. One obtains a store in which m...
110
Voted
AIIA
1999
Springer
15 years 7 months ago
1999
Springer
This paper presents thedistributed implementationof ALIAS, an architecture composed of several cooperating intelligent agents. This system is particularly suited to solve problems ...
128
Voted
ICLP
1997
Springer
15 years 7 months ago
1997
Springer
We introduce novel, sound, complete, and locally optimal evaluation strategies for functional logic programming languages. Our strategies combine, in a non-trivial way, two landma...