1129 search results - page 55 / 226 » Interface-Centric Architecture Descriptions |
104
click to vote
ESEC
1997
Springer
15 years 3 months ago
1997
Springer
Abstract. In this paper we demonstrate how static concurrency analysis techniques can be used to verify application-specific properties of an architecture description. Specifically...
ATAL
2009
Springer
15 years 6 months ago
2009
Springer
This paper presents a model of neural network embodiment of intentions and planning mechanisms for autonomous agents. The model bridges the dichotomy of symbolic and non-symbolic ...
102
click to vote
ICPADS
2007
IEEE
15 years 6 months ago
2007
IEEE
Grid technologies are emerging as the next generation of distributed computing, allowing the aggregation of resources that are geographically distributed across different location...
113
click to vote
TII
2010
14 years 6 months ago
2010
Behavior, Interaction, Priorities (BIP) is a component framework for constructing systems from a set of atomic components by using two kinds of composition operators: interactions ...
100
click to vote
SC
2004
ACM
15 years 5 months ago
2004
ACM
This paper is structured as follows. Section 2 gives an architectural description of BlueGene/L. Section 3 analyzes the issue of “computational noise” – the effect that the o...