8083 search results - page 1484 / 1617 » A Formalization of Software Architecture |
154
click to vote
ICS
1989
Tsinghua U.
15 years 10 months ago
1989
Tsinghua U.
Control intensive scalar programs pose a very different challenge to highly pipelined supercomputers than vectorizable numeric applications. Function call/return and branch instru...
206
click to vote
ER
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...
204
click to vote
FCCM
2009
IEEE
15 years 10 months ago
2009
IEEE
Artificial neural networks are a key tool for researchers attempting to understand and replicate the behaviour and intelligence found in biological neural networks. Software simul...
191
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
The Agent-Community-based Peer-to-Peer Information Retrieval (ACP2P) method uses agent communities to manage and look up information of interest to users. An agent works as a dele...
205
click to vote
E4MAS
2006
Springer
15 years 10 months ago
2006
Springer
One large and quite interesting family of MAS applications is characterized (1) by their large scale in terms of number of agents and physical distribution, (2) by their very dynam...