4041 search results - page 137 / 809 » A Model of Creative Understanding |
192
Voted
JIT
2005
Springer
15 years 9 months ago
2005
Springer
Automatic Grid resource discovery and brokerage shields the Grid middleware complexities from the Grid users and leads towards an invisible but simple and robust Grid. Realizing th...
139
click to vote
WSC
2000
15 years 5 months ago
2000
Visualization has become a critical component of simulation technology. Today we can't imagine doing a simulation without some kind of visualization to help communicate resul...
142
click to vote
SOSYM
2008
15 years 3 months ago
2008
Abstract. The Meta Object Facility (MOF) 2.0 and the Unified Modeling Language Infrastructure introduce new language features such as subsets, (derived) unions and redefinitions, b...
158
click to vote
WSC
1997
15 years 5 months ago
1997
This tutorial introduces the MODSIM III language, showing how its simulation "world view" together with its object-oriented architecture and built in graphics contribute...
140
click to vote
TACAS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...