Sciweavers

15253 search results - page 335 / 3051
» Integer-Programming Software Systems
Sort
View
WSC
2000
15 years 8 months ago
Soft-commissioning: hardware-in-the-loop-based verification of controller software
The basic idea of Soft-Commissioning (SoftCom) is to test industrial control software by connecting a controller, e. g. a PLC (Programmable Logic Controller) to a commercial discr...
Harald Schludermann, Thomas Kirchmair, Markus Vord...
CAISE
2010
Springer
15 years 1 months ago
In Search of the Holy Grail: Integrating Social Software with BPM Experience Report
The paper is devoted to finding a view on business processes that helps to introduce into business process support systems a notion of shared spaces widely used in social software....
Ilia Bider, Paul Johannesson, Erik Perjons
SIGSOFT
2007
ACM
16 years 7 months ago
A behavioural model for product families
In this paper we propose a behavioural model, namely the Extended Modal Labeled Transition Systems, as a basis for the formalization of the different notions of variability usuall...
Alessandro Fantechi, Stefania Gnesi
EUROSYS
2008
ACM
16 years 3 months ago
Hang analysis: fighting responsiveness bugs
Xi Wang, Zhenyu Guo, Xuezheng Liu, Zhilei Xu, Haox...
EUROSYS
2008
ACM
16 years 3 months ago
Experiences with open overlays: a middleware approach to network heterogeneity
Paul Grace, Danny Hughes, Barry Porter, Gordon S. ...