3793 search results - page 570 / 759 » Expressive Description Logics |
188
click to vote
ICALP
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Nested words are a restriction of the class of visibly pushdown languages that provide a natural model of runs of programs with recursive procedure calls. The usual conne...
154
click to vote
TACAS
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
171
click to vote
SEFM
2006
IEEE
16 years 15 days ago
2006
IEEE
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
148
click to vote
CSFW
2005
IEEE
16 years 3 days ago
2005
IEEE
Modelling security policies requires means to specify permissions and prohibitions. However, this is generally not sufficient to express security properties such as availability ...
136
click to vote
CONCUR
2005
Springer
16 years 1 days ago
2005
Springer
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...