Sciweavers

14056 search results - page 2541 / 2812
» Consistency in Model Integration
Sort
View
BPM
2009
Springer
101views Business» more  BPM 2009»
15 years 7 months ago
Experiencing Process Flexibility Patterns with Alaska Simulator
Alaska Simulator is an interactive software tool developed at the University of Innsbruck which allows people to explore different approaches to process flexibility by using a fami...
Barbara Weber, Stefan Zugal, Jakob Pinggera, Werne...
CCIA
2009
Springer
15 years 7 months ago
J-MADeM, an open-source library for social decision-making
Abstract. This paper presents J-MADeM, a new market-based multi-agent approach devoted to perform social simulations with BDI agents. J-MADeM is available as an open-source library...
Francisco Grimaldo, Miguel Lozano, Fernando Barber
ECCV
2010
Springer
15 years 7 months ago
Joint Estimation of Motion, Structure and Geometry from Stereo Sequences
We present a novel variational method for the simultaneous estimation of dense scene flow and structure from stereo sequences. In contrast to existing approaches that rely on a ful...
Levi Valgaerts, Andrés Bruhn, Henning Zimme...
ESWS
2010
Springer
15 years 7 months ago
OKBook: Peer-to-Peer Community Formation
Many systems exist for community formation in extensions of traditional Web environments but little work has been done for forming and maintaining communities in the more dynamic e...
Xi Bai, Wamberto Vasconcelos, Dave Robertson
FMICS
2010
Springer
15 years 7 months ago
SMT-Based Formal Verification of a TTEthernet Synchronization Function
Abstract. TTEthernet is a communication infrastructure for mixedcriticality systems that integrates dataflow from applications with different criticality levels on a single network...
Wilfried Steiner, Bruno Dutertre
« Prev « First page 2541 / 2812 Last » Next »