Sciweavers

6508 search results - page 281 / 1302
» Development and the Baldwin Effect
Sort
View
VISUALIZATION
1995
IEEE
15 years 10 months ago
3D Computational Steering with Parametrized Geometric Objects
Computational Steering is the ultimate goal of interactive simulation: researchers change parameters of their simulation and immediately receive feedback on the effect. We present...
Jurriaan D. Mulder, Jarke J. van Wijk
ASM
2010
ASM
15 years 10 months ago
A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking
Symmetry reduction is a model checking technique that can help alleviate the problem of state space explosion, by preventing redundant state space exploration. In previous work, we...
Edd Turner, Michael J. Butler, Michael Leuschel
NSDI
2008
15 years 9 months ago
Catching Instant Messaging Worms with Change-Point Detection Techniques
Instant messaging (IM) systems have gained a lot of popularity in recent years. The increasing number of IM users has lured malware authors to develop more worms and viruses that ...
Guanhua Yan, Zhen Xiao, Stephan Eidenbenz
WSC
2007
15 years 9 months ago
Beyond the university: simulation education on the job
Simulation modelers have a diversity of educational backgrounds including several engineering and scientific disciplines, mathematics and computer related fields. Many of the skil...
Peter Tag, David Krahl
WSC
2008
15 years 9 months ago
Modeling and simulation of integrated intelligent systems
Complex systems consist of a large number of entities with their independent local rules and goals, along with their interactions. The effect of these properties tends to produce ...
Yongchang Li, Michael Balchanos, Bassem Nairouz, N...