Sciweavers

755 search results - page 60 / 151
» Modular BDI architecture
Sort
View
93
Voted
ETS
2006
IEEE
108views Hardware» more  ETS 2006»
15 years 6 months ago
A DFT Architecture for Asynchronous Networks-on-Chip
The Networks-on-Chip (NoCs) paradigm is emerging as a solution for the communication of SoCs. Many NoC architecture propositions are presented but few works on testing these netwo...
Xuan-Tu Tran, Jean Durupt, François Bertran...
93
Voted
ICSE
1994
IEEE-ACM
15 years 4 months ago
SAAM: A Method for Analyzing the Properties of Software Architectures
While software architecture has become an increasingly important research topic in recent years, insufficient attention has been paid to methods for evaluation of these architectu...
Rick Kazman, Leonard J. Bass, Mike Webb, Gregory D...
101
Voted
IJCAI
1993
15 years 1 months ago
A Model-Theoretic Approach to the Verification of Situated Reasoning Systems
agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...
Anand S. Rao, Michael P. Georgeff
98
Voted
ICSE
2008
IEEE-ACM
16 years 1 months ago
Evolving software product lines with aspects: an empirical study on design stability
Software product lines (SPLs) enable modular, large-scale reuse through a software architecture addressing multiple core and varying features. To reap the benefits of SPLs, their ...
Alessandro Garcia, Cláudio Sant'Anna, Eduar...
NDSS
2000
IEEE
15 years 5 months ago
An IPSec-based Host Architecture for Secure Internet Multicast
We propose a host architecture for secure IP multicast. We identify the basic components of the architecture, describe their functionalities and how they interact with one another...
Ran Canetti, Pau-Chen Cheng, Frederique Giraud, Di...