9110 search results - page 111 / 1822 » Formally-Based Design Evaluation |
PAM
2005
Springer
15 years 3 months ago
2005
Springer
The increasing popularity of Peer-to-Peer (P2P) networks has led to growing interest in characterizing their topology and dynamics [1–4], essential for proper design and effecti...
ATAL
1999
Springer
15 years 2 months ago
1999
Springer
We propose a methodology that can be used to compare and evaluate Artificial Intelligence architectures and is motivated by fundamental properties required by general intelligent ...
CORR
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Information system designers face many challenges w.r.t. selecting appropriate semantic technologies and deciding on a modelling approach for their system. However, there...
E4MAS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. A reference architecture integrates a set of architectural patterns that have proven their value for a family of applications. Such family of applications is characterize...
FPGA
2010
ACM
15 years 6 months ago
2010
ACM
Guarded evaluation is a power reduction technique that involves identifying sub-circuits (within a larger circuit) whose inputs can be held constant (guarded) at specific times d...