5096 search results - page 875 / 1020 » Associations as a Language Construct |
181
click to vote
ESORICS
2007
Springer
16 years 18 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...
161
click to vote
IFL
2007
Springer
16 years 17 days ago
2007
Springer
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...
146
click to vote
SEMWEB
2007
Springer
16 years 16 days ago
2007
Springer
The paper presents the main results of the IST FP6 INFRAWEBS project. The project has developed an easy and effective way of constructing and using semantic descriptions for existi...
193
click to vote
SOCO
2007
Springer
16 years 16 days ago
2007
Springer
Contemporary software systems are composed of many components, which, in general, undergo phased and incremental development. In order to facilitate the corresponding construction ...
192
click to vote
SPIN
2007
Springer
16 years 16 days ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...