Sciweavers

603 search results - page 36 / 121
» Multiscale variety in complex systems
Sort
View
HICSS
2002
IEEE
128views Biometrics» more  HICSS 2002»
15 years 4 months ago
Developing a Flexible System-Modeling Environment for Engineers
We are developing a module-oriented, multiphysics, mixed-fidelity system simulation environment that will enable engineers to rapidly analyze the performance of a system and to o...
David R. Gardner, Joseph P. Castro, Paul N. Demmie...
JIKM
2008
98views more  JIKM 2008»
14 years 11 months ago
Knowledge-Based Expert System Development and Validation with Petri Nets
Expert systems (ESs) are complex information systems that are expensive to build and difficult to validate. Numerous knowledge representation strategies such as rules, semantic net...
Madjid Tavana
VMCAI
2010
Springer
15 years 9 months ago
Improved Model Checking of Hierarchical Systems
We present a unified game-based approach for branching-time model checking of hierarchical systems. Such systems are exponentially more succinct than standard state-transition gra...
Benjamin Aminof, Orna Kupferman, Aniello Murano
ATAL
2005
Springer
15 years 5 months ago
Towards a theory of "local to global" in distributed multi-agent systems (II)
a growing need to study abstract problems in distributed multi-agent systems in a systematic way, as well as to provide a qualitative mathematical framework in which to compare po...
Daniel Yamins
EUC
2005
Springer
15 years 5 months ago
Baton: A Service Management System for Coordinating Smart Things in Smart Spaces
Smart spaces are open complex computing systems, consisting of a large variety of cooperative smart things. Central to building smart spaces is the support for sophisticated coordi...
Jingyu Li, Yuanchun Shi