5255 search results - page 789 / 1051 » Formal Methods for Privacy |
159
click to vote
FORMATS
2004
Springer
16 years 1 hour 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...
173
click to vote
ISOLA
2004
Springer
15 years 12 months 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...
163
click to vote
MPC
2004
Springer
15 years 12 months ago
2004
Springer
A friendship system is introduced for modular static verification of object invariants. It extends a previous methodology, based on ownership hierarchy encoded in auxiliary state,...
180
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 ...