5255 search results - page 584 / 1051 » Formal Methods for Privacy |
187
click to vote
CAV
2005
Springer
16 years 18 days ago
2005
Springer
Abstract. In predicate abstraction, exact image computation is problematic, requiring in the worst case an exponential number of calls to a decision procedure. For this reason, sof...
169
click to vote
DATE
2003
IEEE
16 years 10 days ago
2003
IEEE
We propose a method for local search of Boolean relations relating variables of a CNF formula. The method is to branch on small subsets of the set of CNF variables and to analyze ...
169
click to vote
HICSS
2003
IEEE
16 years 10 days ago
2003
IEEE
We carried out eight assessments of usability engineering processes in four industrial companies, for the purpose of providing a basis for process improvement. The research method...
192
click to vote
IEEEAMS
2003
IEEE
16 years 10 days ago
2003
IEEE
Large classes of autonomic (self-managing, selfhealing) systems can be created by logically integrating simpler autonomic systems. The configuration method is widely used for such...
217
click to vote
ECMDAFA
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper presents a method to describe the operational semantics of languages based on their meta-model. We combine the established high-level modelling languages MOF, ...