Result 1 to 20 of 39 total
Runtime verification of component-based systems. (English)
Barthe, Gilles (ed.) et al., Software engineering and formal methods. 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14‒18, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24689-0/pbk). Lecture Notes in Computer Science 7041, 204-220 (2011).
1
Optimal inventory cycle in a two-stage supply chain incorporating imperfect items from suppliers. (English)
Int. J. Oper. Res. 10, No. 4, 442-457 (2011).
2
Rigorous component-based system design using the BIP framework (English)
IEEE Software 28, No. 3, 41-48 (2011).
3
A study of the impact of the willingness-to-learn of CAD novice users on their competence development (English)
Computers & Industrial Engineering 61, No. 3, 709-720 (2011).
4
Runtime verification of component-based systems (English)
SEFM, 204-220 (2011).
5
Probabilistic approach for extracting regions of interest in digital images (English)
J. Electronic Imaging 19, No. 2, 023019 (2010).
6
Source-to-source architecture transformation for performance optimization in BIP (English)
IEEE Trans. Industrial Informatics 6, No. 4, 708-718 (2010).
7
A production/remanufacturing inventory model with price and quality dependant return rate (English)
Computers & Industrial Engineering 58, No. 3, 352-362 (2010).
8
Modelling worker fatigue and recovery in dual-resource constrained systems (English)
Computers & Industrial Engineering 59, No. 1, 75-84 (2010).
9
Lot sizing for a recoverable product with inspection and sorting (English)
Computers & Industrial Engineering 58, No. 3, 452-462 (2010).
10
Economic order quantity model for items with imperfect quality, different holding costs, and learning effects: A note (English)
Computers & Industrial Engineering 58, No. 1, 186-190 (2010).
11
From high-level component-based models to distributed implementations (English)
EMSOFT, 209-218 (2010).
12
Automated conflict-free distributed implementation of component-based models (English)
SIES, 108-117 (2010).
13
A robust and fast approach for multiple image components stitching (English)
Image Processing: Algorithms and Systems, 753209 (2010).
14
A novel approach for FFT data reordering (English)
ISCAS, 1615-1618 (2010).
15
Towards automatic integration of or-BAC security policies using aspects (English)
Software Engineering Research and Practice, 495-499 (2010).
16
Symbolic implementation of connectors in BIP. (English)
Comput. Res. Repos. 2009, Article No. 0911.5446 (2009).
17
Enhancing application identification by means of sequential testing. (English)
Fratta, Luigi (ed.) et al., NETWORKING 2009. 8th international IFIP-TC 6 networking conference, Aachen, Germany, May 11‒15, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-01398-0/pbk). Lecture Notes in Computer Science 5550, 287-300 (2009).
18
Analyzing CAD competence with univariate and multivariate learning curve models (English)
Computers & Industrial Engineering 56, No. 4, 1510-1518 (2009).
19
Source-to-source architecture transformation for performance optimization in BIP (English)
SIES, 152-160 (2009).
20
Result 1 to 20 of 39 total
Start
Contact
Print
General Help
