4036 search results - page 174 / 808 » Formal Methods |
161
Voted
FCA
2005
Springer
15 years 12 months ago
2005
Springer
About ten years ago, the first serious applications of concept lattices in software analysis were published. Today, a wide range of applications of concept lattices in static and...
183
click to vote
ICCS
2009
Springer
16 years 27 days ago
2009
Springer
Role Based Access Control (RBAC) is a methodology for providing users in an IT system specific permissions like write or read to t abstracts from specific users and binds permiss...
143
click to vote
FATES
2003
Springer
15 years 11 months ago
2003
Springer
Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we ...
148
click to vote
ICFCA
2004
Springer
15 years 11 months ago
2004
Springer
Based on the conceptual representation of objects in space and time as introduced in Temporal Concept Analysis first steps are done into the direction of a conceptual theory of ...
130
click to vote
FORMATS
2003
Springer
15 years 11 months ago
2003
Springer
In this paper, we introduce a dense time process algebraic formalism with support for specification of (shared) resource requirements and resource schedulers. The goal of this app...