3914 search results - page 293 / 783 » Automating SLA modeling |
120
click to vote
NLDB
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This paper proposes an approach which utilizes natural language processing (NLP) and ontology knowledge to automatically denote the implicit semantics of textual requirem...
143
Voted
TAP
2010
Springer
15 years 14 days ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
130
click to vote
MODELS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Model Transformations can be used to bridge the gap between design and analysis technical spaces by creating tools that allow a model produced by a designer to be transfo...
102
Voted
ICFEM
2007
Springer
15 years 8 months ago
2007
Springer
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
114
click to vote
TIME
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper presents an XML-based approach to implementing the parametric model of temporal databases. In the parametric model, attribute values are functions of time and the entir...