2440 search results - page 178 / 488 » Explanation-Based Feature Construction |
158
click to vote
TRUSTBUS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Existing policy languages suffer from a limited ability of directly and elegantly expressing high-level access control principles such as history-based separation of dut...
139
click to vote
IFM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Event-B is a notation and method for discrete systems modelling by refinement. We introduce a small but very useful construction: qualitative probabilistic choice. It ex...
159
click to vote
RTA
2007
Springer
15 years 10 months ago
2007
Springer
This paper shows how to construct static analyzers using tree automata and rewriting techniques. Starting from a term rewriting system representing the operational semantics of the...
127
click to vote
AOSD
2006
ACM
15 years 10 months ago
2006
ACM
OOP style requires programmers to organize their code according to objects (or nouns, using natural language as a metaphor), causing a program’s actions (verbs) to become scatte...
144
click to vote
PLDI
2006
ACM
15 years 10 months ago
2006
ACM
On-line transducers are an important class of computational agent; we construct and compose together many software systems using them, such as stream processors, layered network p...