3199 search results - page 71 / 640 » Variability in Automation System Models |
SASO
2009
IEEE
14 years 3 months ago
2009
IEEE
An optimal sensor layout is attained when a limited number of sensors are placed in an area such that the cost of the placement is minimised while the value of the obtained inform...
SIGMETRICS
2000
ACM
13 years 8 months ago
2000
ACM
Motivated by experience gained during the validation of a recent Approximate Mean Value Analysis (AMVA) model of modern shared memory architectures, this paper re-examines the &qu...
HPCC
2009
Springer
14 years 22 days ago
2009
Springer
Abstract--Transactional Memory (TM) is an emerging technology which promises to make parallel programming easier. However, to be efficient, underlying TM system should protect only...
RE
2010
Springer
13 years 3 months ago
2010
Springer
The design of the variability of a software product line is crucial to its success and evolution. Meaningful variable features need to be elicited, analyzed, documented and validat...
ETFA
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper describes formal modeling and verification of automation systems from the system engineering point of view. Reuse of model components is the key issue in order to bring...