1031 search results - page 69 / 207 » Modeling and Formal Verification of Production Automation Sy... |
129
click to vote
OOPSLA
2009
Springer
15 years 11 months ago
2009
Springer
This paper introduces S.P.L.O.T., a Web-based reasoning and configuration system for Software Product Lines (SPLs). The system benefits from mature logic-based reasoning techniq...
188
click to vote
SPLC
2007
15 years 5 months ago
2007
Software product line engineering aims to reduce development time, effort, cost, and complexity by taking advantage of the commonality within a portfolio of similar products. The ...
136
click to vote
INFOCOM
2006
IEEE
15 years 10 months ago
2006
IEEE
— Network protocol system fingerprinting has been recognized as an important issue and a major threat to network security. Prevalent works rely largely on human experiences and i...
132
click to vote
SAFECOMP
1998
Springer
15 years 8 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
171
click to vote
AGTIVE
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. This paper presents the role of meta-modelling and graph transformation in our approach for the modelling, analysis and simulation of complex systems. These are made of c...