Sciweavers

29172 search results - page 258 / 5835
» Modeling Systems in CLP
Sort
View
HICSS
2002
IEEE
124views Biometrics» more  HICSS 2002»
15 years 11 months ago
Dynamics, Criticality and Self-Organization in a Model for Blackouts in Power Transmission Systems
A model has been developed to study the global complex dynamics of a series of blackouts in power transmission systems [1, 2]. This model has included a simple level of self-organ...
Benjamin A. Carreras, Vickie E. Lynch, Ian Dobson,...
GECCO
2007
Springer
182views Optimization» more  GECCO 2007»
15 years 10 months ago
Stochastic training of a biologically plausible spino-neuromuscular system model
A primary goal of evolutionary robotics is to create systems that are as robust and adaptive as the human body. Moving toward this goal often involves training control systems tha...
Stanley Phillips Gotshall, Terence Soule
ATVA
2006
Springer
158views Hardware» more  ATVA 2006»
15 years 10 months ago
Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...
Hang Su, Graham Hemingway, Kai Chen, T. John Koo
167
Voted
JMM2
2008
102views more  JMM2 2008»
15 years 6 months ago
Logical Mapping: An Intermedia Synchronization Model for Multimedia Distributed Systems
The preservation of temporal dependencies among different media data, such as text, still images, video and audio, and which have simultaneous distributed sources as origin, is an ...
Saul Pomares Hernandez, Luis A. Morales Rosales, J...
ENTCS
2007
101views more  ENTCS 2007»
15 years 6 months ago
Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic
We describe a programme of research in resource semantics, concurrency theory, bunched logic, and stochastic processes, as applied to mathematical systems modelling. Motivated by ...
David J. Pym, Chris M. N. Tofts