2607 search results - page 360 / 522 » On the Architecture of System Verification Environments |
165
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
In todays increasingly dynamic and competitive business environment, organizations strive to leverage their information resources to gain and sustain competitive advantage. Deci...
222
click to vote
AGS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We describe a distributed architecture for situated largescale agent-based simulations with predominately local interactions. The approach, implemented in AglobeX Simulat...
153
click to vote
ECTEL
2007
Springer
16 years 22 days ago
2007
Springer
Indicators help actors to organise, orientate and navigate through complex environments by providing contextual information relevant for the performance of learning tasks. In this ...
164
click to vote
PADL
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. We describe a declarative language, called BAD (brain architecture description language), which we have developed for describing and then running brain models. Models are...
183
click to vote
SAC
2006
ACM
16 years 15 days ago
2006
ACM
CT As computing devices are getting smaller, we tend to bring them everywhere. Consequently the operating conditions of the devices are constantly changing (e.g. changing user requ...