5639 search results - page 428 / 1128 » Timed Abstract Non-interference |
112
Voted
MCU
2007
15 years 6 months ago
2007
Abstract. We consider a new variant of the halting condition in P systems, i.e., a computation in a P system is already called halting if not for all membranes a rule is applicable...
140
click to vote
DBSEC
2006
15 years 6 months ago
2006
Abstract. A choreography specifies the interactions between the resources of multiple collaborating parties at design time. The runtime management of authorization policies in orde...
99
Voted
FLAIRS
2004
15 years 6 months ago
2004
Mixed-initiative case replay introduces an active human into the case-based planning process. The goals of this novel technique are to utilize the strengths of machine-based case ...
134
Voted
ERSA
2006
15 years 6 months ago
2006
Abstract-- In this work the problem of modeling reconfigurable systems behavior with a precise, executable semantics is considered. The possibility of synthesising such models onto...
177
click to vote
EUROPLOP
2006
15 years 6 months ago
2006
Abstract: As a general rule of thumb, business logic in a multi-layered information system should be implemented in a dedicated domain layer and be separated from the presentation ...