Sciweavers

5009 search results - page 353 / 1002
» Value chain modelling using system dynamics
Sort
View
GCC
2003
Springer
16 years 20 hour ago
Distributed Computation for Diffusion Problem in a P2P-Enhanced Computing System
Basic exploration of diffusion equation solvers in distributed computing systems has been a very important issue for computational fluid dynamics (CFD). This paper presents a funda...
Jun Ni, Lili Huang, Tao He, Yongxiang Zhang, Shaow...
HYBRID
2009
Springer
15 years 10 months ago
Specification and Analysis of Network Resource Requirements of Control Systems
We focus on control systems in which sensors send data to actuators via a bus shared with other applications. An approach is proposed for specifying and implementing dynamic schedu...
Gera Weiss, Sebastian Fischmeister, Madhukar Anand...
JIS
2006
103views more  JIS 2006»
15 years 6 months ago
Usage patterns of collaborative tagging systems
Collaborative tagging describes the process by which many users add metadata in the form of keywords to shared content. Recently, collaborative tagging has grown in popularity on ...
Scott A. Golder, Bernardo A. Huberman
LOGCOM
2007
115views more  LOGCOM 2007»
15 years 6 months ago
The Dynamics of Syntactic Knowledge
The syntactic approach to epistemic logic avoids the logical omniscience problem by taking knowledge as primary rather than as defined in terms of possible worlds. In this study, ...
Thomas Ågotnes, Natasha Alechina
FM
2005
Springer
112views Formal Methods» more  FM 2005»
16 years 10 days ago
Dynamic Component Substitutability Analysis
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, ...