Sciweavers

41938 search results - page 226 / 8388
» Complex Systems Modeling
Sort
View
ICFEM
2007
Springer
16 years 19 days ago
Machine-Assisted Proof Support for Validation Beyond Simulink
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
Chunqing Chen, Jin Song Dong, Jun Sun 0001
HICSS
1997
IEEE
135views Biometrics» more  HICSS 1997»
15 years 10 months ago
Animation for Validation of Business System Specifications
Business System Engineers, responding to changes in the market place, are faced with the challenge of building increasingly complex and varied systems. Formal approaches and model...
V. Lalioti
ANSS
2002
IEEE
15 years 11 months ago
Simulation of a Vehicle Traffic Control Network Using a Fuzzy Classifier System
A Complex Adaptive System (CAS) is a network of communicating, intelligent agents where each agent adapts its behavior in order to collaborate with other agents to achieve overall...
John R. Clymer
HYBRID
2010
Springer
16 years 1 months ago
Compositional analysis for linear control systems
The complexity of physical and engineering systems, both in terms of the governing physical phenomena and the number of subprocesses involved, is mirrored in ever more complex mat...
Florian Kerber, Arjan van der Schaft
ECSCW
2001
15 years 7 months ago
Harnessing complexity in CSCW
We argue that socio-technical systems can be understood as complex adaptive systems, that is, systems containing component sub-systems interacting such that they co-evolve This vie...
Simon M. Kaplan, Lesley Seebeck