3481 search results - page 408 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
135
click to vote
ENTCS
2006
15 years 4 months ago
2006
Klaim is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
143
click to vote
APSEC
2008
IEEE
15 years 11 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...
124
click to vote
IFIP
2005
Springer
15 years 10 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...
129
Voted
AIIA
1999
Springer
15 years 9 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 ...
147
click to vote
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
[6]. An SBML model can be interpreted in Biocham at three abstraction levels: • the Boolean semantics (asynchronuous Boolean state transitions on the presence/absence of molecule...