4036 search results - page 503 / 808 » Formal Methods |
159
click to vote
FORMATS
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. We extend Angluin’s algorithm for on-line learning of regular languages to the setting of timed systems. We consider systems that can be described by a class of determi...
176
click to vote
ISOLA
2004
Springer
16 years 1 days ago
2004
Springer
In this paper we introduce RML, which stands for Rule Markup Language and is used for rule–based transformations of XML. With RML the user can define XML wildcard elements, vari...
182
click to vote
APSEC
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper describes a process for selecting and evaluating candidates for component based software engineering. The process is aimed at developers sourcing components from third ...
143
click to vote
DEXAW
2003
IEEE
15 years 12 months ago
2003
IEEE
A challenging task in security engineering concerns the specification and integration of security with other requirements at the top level of requirements engineering. Empirical ...
208
click to vote
CAV
2003
Springer
15 years 12 months ago
2003
Springer
We consider the problem of synthesizing controllers for timed systems modeled using timed automata. The point of departure from earlier work is that we consider controllers that ha...