5252 search results - page 736 / 1051 » Logic in Access Control |
169
click to vote
FM
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Program certification techniques formally show that programs satisfy certain safety policies. They rely on the correctness of the safety policy which has to be establish...
193
click to vote
APSEC
2002
IEEE
15 years 11 months ago
2002
IEEE
In multi-tier enterprise systems, application servers are key components to implement business logic and provide services. To support a large number of simultaneous accesses from ...
182
click to vote
DELTA
2002
IEEE
15 years 11 months ago
2002
IEEE
Teaching the practical aspects of device and chip design in New Zealand presents many problems, including high manufacturing costs, long lead times, and the lack of local industry...
164
click to vote
ESWS
2010
Springer
15 years 11 months ago
2010
Springer
The sizes of datasets available as RDF (e.g., as part of the Linked Data cloud) are increasing continuously. For instance, the recent DBpedia version consists of nearly 500 million...
190
click to vote
SEMWEB
2009
Springer
15 years 11 months ago
2009
Springer
Due to significant improvements in the capabilities of small devices such as PDAs and smart phones, these devices can not only consume but also provide Web Services. The dynamic n...