1525 search results - page 281 / 305 » Formal Models for Communication-Based Design |
118
Voted
CC
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. This paper introduces a method to generate efficient vectorized implementations of small stride permutations using only vector load and vector shuffle instructions. These...
111
Voted
ATAL
2006
Springer
15 years 2 months ago
2006
Springer
We build on recent work on argumentation frameworks for generating desires and plans. We provide a rich instantiDung's abstract argumentation framework for (i) generating con...
127
click to vote
GCC
2007
Springer
15 years 2 months ago
2007
Springer
In recent years, the rapid growth of m-commerce is being driven by various emerging mobile applications and services. Among them, mobile information service is considered to be on...
67
Voted
SODA
2004
ACM
15 years 1 months ago
2004
ACM
We introduce a new data structuring paradigm in which operations can be performed on a data structure not only in the present but also in the past. In this new paradigm, called ret...
142
click to vote
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
The aim of this paper is to provide a logical framework for the specification of autonomous Multi-Agent Systems (MAS). A MAS is autonomous in so far as it is capable of binding (...