5170 search results - page 980 / 1034 » A Document-Oriented Approach to the Development of Knowledge... |
148
click to vote
PADS
1999
ACM
15 years 10 months ago
1999
ACM
Most work to date in parallel and distributed discrete event simulation is based on assigning precise time stamps to events, and time stamp order event processing. An alternative ...
136
click to vote
AGENTS
1997
Springer
15 years 10 months ago
1997
Springer
We report on an experiment to implement an autonomous creature situated in a two-dimensional world, that shows various learning and problem-solving capabilities, within the Societ...
158
click to vote
DAC
2007
ACM
15 years 10 months ago
2007
ACM
We present a framework for validating the compliance of a design with a given architecture. Our approach is centered on the concept of misinterpretations. These include missing be...
169
click to vote
ICCSA
2007
Springer
15 years 10 months ago
2007
Springer
Coupled systems comprise multiple interacting subsystems and are an increasingly common computational science application, most notably as multiscale and multiphysics models. Paral...
145
click to vote
CHARME
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. I develop a compositional theory of refinement for the branching time framework based on stuttering simulation and prove that if one system refines another, then a refine...