2152 search results - page 187 / 431 » An Abstract Account of Composition |
145
click to vote
ASAP
2004
IEEE
15 years 10 months ago
2004
IEEE
We explain a systematic way of interfacing data-flow hardware accelerators (IP) for their ion in a system on chip. We abstract the communication behaviour of the data flow IP so a...
168
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
This paper outlines an aspect-oriented approach to support separation and modularization of crosscutting concerns in multi-agent systems. Aspects as abstractions to capture social ...
169
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Most existing work on knowledge representation and reasoning assumes that the updating of beliefs is performed off-line, and that reasoning from the beliefs is performed ...
172
click to vote
PARA
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper describe the implementation and underlying philosophie of a large scale distributed computation of K-optimal lattice rules. The computation is huge correspondi...
146
click to vote
DSVIS
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. This paper describes a design technique for interactive systems that allows designs to be specified and refined formally, using a notation based on Action Systems. The ...