Sciweavers

2432 search results - page 112 / 487
» High-level approach to modeling of observed system behavior
Sort
View
SIAMAM
2000
79views more  SIAMAM 2000»
15 years 6 months ago
A Mathematical Model for Spatially Varying Extracellular Matrix Alignment
Orientation of extracellular matrix fibers in the skin is a key ingredient of tissue appearance and function, and differences in fiber alignment are one of the main distinctions be...
John C. Dallon, Jonathan A. Sherratt
NMR
2004
Springer
15 years 11 months ago
Probabilistic reasoning in dynamic multiagent systems
Probabilistic reasoning with multiply sectioned Bayesian networks (MSBNs) has been successfully applied in static domains under the cooperative multiagent paradigm. Probabilistic ...
Xiangdong An, Yang Xiang, Nick Cercone
IASTEDSE
2004
15 years 7 months ago
Mapping UML statecharts to java code
The Unified Modeling Language (UML) statechart diagram is used for modeling the dynamic aspects of systems. The UML statechart diagrams include many concepts that are not present ...
Iftikhar Azim Niaz, Jiro Tanaka
ICALP
1992
Springer
15 years 10 months ago
What Good Are Digital Clocks?
Real-time systems operate in \real," continuous time and state changes may occur at any real-numbered time point. Yet many veri cation methods are based on the assumption that...
Thomas A. Henzinger, Zohar Manna, Amir Pnueli
HUC
2009
Springer
15 years 11 months ago
Applying pervasive technologies to create economic incentives that alter consumer behavior
Economic incentives are a powerful way of shaping consumer behavior towards more commercially efficient and environmentally sustainable patterns. In this paper, we explore the id...
Tetsuo Yamabe, Vili Lehdonvirta, Hitoshi Ito, Hayu...