4067 search results - page 297 / 814 » Programs for Applying Symmetries |
189
click to vote
SOCASE
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. This paper contributes to a line of research that aims to apply agent-oriented techniques in the field of service-oriented computing. In particular, we propose to use go...
190
click to vote
CSFW
2005
IEEE
16 years 12 days ago
2005
IEEE
To reason about information flow based on beliefs, a new model is developed that describes how attacker beliefs change due to the attacker’s observation of the execution of a p...
169
click to vote
DIGRA
2005
Springer
16 years 9 days ago
2005
Springer
This paper explores the idea that future game consoles and computers may no longer be single processor units, but instead symmetrical multiprocessor units. If this were to occur g...
171
click to vote
ICCS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. BSML is a library for parallel programming with the functional language Objective Caml. It is based on an extension of the λcalculus by parallel operations on a parallel...
134
click to vote
ICTAC
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We develop semantics for modal logic programs in basic serial multimodal logics, which are parameterized by an arbitrary combination of generalized versions of axioms T, ...