2607 search results - page 76 / 522 » On the Architecture of System Verification Environments |
108
click to vote
HPDC
2000
IEEE
15 years 4 months ago
2000
IEEE
We describe a software architecture for storage services in computational grid environments. Based upon a lightweight message-passing paradigm, the architecture enables the provis...
FLAIRS
2008
15 years 2 months ago
2008
In this paper we describe the reproduction of emotional mechanisms in the cognitive agent CTS (Conscious Tutoring System). The model replicates the amygdala's emotional influ...
ARCS
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. A major problem considering parallel computing is maintaining memory consistency and coherency, and ensuring ownership and access rights. These problems mainly arise from...
IFIP
1994
Springer
15 years 4 months ago
1994
Springer
Domain-oriented design environments are cooperative problem-solving systems that support designers in complex design tasks. In this paper we present the facilities and architectur...
DEXAW
2006
IEEE
15 years 6 months ago
2006
IEEE
The PENG system is intended to provide an integrated and personalized environment for news professionals, providing functionalities for filtering, distributed retrieval, and a fle...