Sciweavers

2644 search results - page 190 / 529
» Complex Interacting Infrastructure Systems
Sort
View
122
Voted
JLP
2006
126views more  JLP 2006»
15 years 3 months ago
Compositional modeling and refinement for hierarchical hybrid systems
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky
136
Voted
AH
2008
Springer
15 years 9 months ago
Guaranteeing the Correctness of an Adaptive Tutoring System
Abstract. This paper presents an approach to create adaptive web-based educative systems that can be automatically audited by means of standard web testing tools. The auditing tool...
Pilar Prieto Linillos, Sergio Gutiérrez San...
137
Voted
ESAW
2003
Springer
15 years 8 months ago
Using Swarm Intelligence in Linda Systems
Abstract. Natural forming multi-agent systems have the ability to grow to enormous sizes and perform seemingly complex tasks without the existence of any centralized control. Their...
Robert Tolksdorf, Ronaldo Menezes
114
Voted
WSC
2008
15 years 5 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...
129
Voted
COMSIS
2010
15 years 25 days ago
Generative 3D images in a visual evolutionary computing system
This paper presents a novel computer-aided design system which uses a computational approach to producing 3D images for stimulating creativity of designers. It introduces the genet...
Hong Liu