1507 search results - page 27 / 302 » Separating Complexity Classes Using Structural Properties |
ASM
2003
ASM
14 years 3 months ago
2003
ASM
r in: Abstract State Machines 2003 — Advances in Theory and Applications, Proc. 10th International Workshop, Taormina, Italy, March 3-7, 2003, eds. Egon Boerger, Angelo Gargantin...
PERCOM
2006
ACM
14 years 9 months ago
2006
ACM
The Optimized Link State Routing (OLSR) protocol is a proactive link-state protocol bafor ad-hoc networks. It uses an optimization called Multi-Point Relays (MPRs) to provide an e...
CORR
2008
Springer
13 years 10 months ago
2008
Springer
This paper offers several contributions for separation of duty (SoD) administration in role-based access control (RBAC) systems. We first introduce a new formal framework, based o...
CSL
2006
Springer
14 years 1 months ago
2006
Springer
Separation Logic is a sub-structural logic that supports local reasoning for imperative programs. It is designed to elegantly describe sharing and aliasing properties of heap struc...
ICDAR
2011
IEEE
12 years 9 months ago
2011
IEEE
—This paper presents a new method for localization of digit strings with a specific syntax in Farsi/ Arabic document images. First, some features are extracted from all connected...