3552 search results - page 621 / 711 » Proof theory in the abstract |
180
click to vote
ESORICS
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Security policies, in particular access control, are fundamental elements of computer security. We address the problem of authoring and analyzing policies in a modular wa...
146
click to vote
FASE
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Within model-driven software development, model transformation has become a key activity. It refers to a variety of operations modifying a model for various purposes such...
162
click to vote
FCT
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
167
click to vote
HIPC
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. The theory of bulk-synchronous parallel computing has produced a large number of attractive algorithms, which are provably optimal in some sense, but typically require th...
184
click to vote
ICB
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. As an important feature of fingerprints, singular points (includingcores and deltas) not only represent the local ridge pattern characteristics, but also determine the to...