Sciweavers

2588 search results - page 283 / 518
» Engineering Systems Which Generate Emergent Functionalities
Sort
View
ICSE
2010
IEEE-ACM
15 years 7 months ago
SMT-based bounded model checking for multi-threaded software in embedded systems
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...
Lucas Cordeiro
JELIA
2004
Springer
15 years 10 months ago
Towards a Logical Analysis of Biochemical Pathways
Biochemical pathways or networks are generic representations used to model many different types of complex functional and physical interactions in biological systems. Models based ...
Patrick Doherty, Steve Kertes, Martin Magnusson, A...
BPM
2009
Springer
116views Business» more  BPM 2009»
15 years 11 months ago
Discovering Reference Models by Mining Process Variants Using a Heuristic Approach
Abstract. Recently, a new generation of adaptive Process-Aware Information Systems (PAISs) has emerged, which enables structural process changes during runtime. Such flexibility, ...
Chen Li, Manfred Reichert, Andreas Wombacher
153
Voted
BPM
2008
Springer
143views Business» more  BPM 2008»
15 years 7 months ago
Mining Based on Learning from Process Change Logs
In today's dynamic business world economic success of an enterprise increasingly depends on its ability to react to internal and external changes in a quick and flexible way. ...
Chen Li, Manfred Reichert, Andreas Wombacher
SDM
2010
SIAM
200views Data Mining» more  SDM 2010»
15 years 6 months ago
Residual Bayesian Co-clustering for Matrix Approximation
In recent years, matrix approximation for missing value prediction has emerged as an important problem in a variety of domains such as recommendation systems, e-commerce and onlin...
Hanhuai Shan, Arindam Banerjee