Sciweavers

8928 search results - page 378 / 1786
» Modeling Current Events
Sort
View
SPRINGSIM
2007
15 years 6 months ago
Studying the impact of web-services implementation of distributed simulation of DEVS and Cell-DEVS models
DEVS is a Modeling and Simulation formalism that has been used to study the dynamics of discrete event systems. Cell-DEVS is a DEVS-based formalism that defines the cell space as ...
Rami Madhoun, Gabriel A. Wainer
SIGSOFT
2010
ACM
15 years 2 months ago
Synthesis of live behaviour models
We present a novel technique for synthesising behaviour models that works for an expressive subset of liveness properties and conforms to the foundational requirements engineering...
Nicolás D'Ippolito, Víctor A. Braber...
RECOMB
2012
Springer
13 years 7 months ago
Reconstructing Boolean Models of Signaling
Abstract. Since the first emergence of protein-protein interaction networks, more than a decade ago, they have been viewed as static scaffolds of the signaling-regulatory events ...
Roded Sharan, Richard M. Karp
138
Voted
BPM
2006
Springer
164views Business» more  BPM 2006»
15 years 8 months ago
A Declarative Approach for Flexible Business Processes Management
Management of dynamic processes in an important issue in rapidly changing organizations. Workflow management systems are systems that use detailed process models to drive the busin...
Maja Pesic, Wil M. P. van der Aalst
ECCV
2002
Springer
16 years 6 months ago
Probabalistic Models and Informative Subspaces for Audiovisual Correspondence
Abstract. We propose a probabalistic model of single source multimodal generation and show how algorithms for maximizing mutual information can find the correspondences between com...
John W. Fisher III, Trevor Darrell