5252 search results - page 249 / 1051 » Logic in Access Control |
296
click to vote
ECOOP
2009
Springer
16 years 8 months ago
2009
Springer
The dynamic frames approach has proven to be a powerful formalism for specifying and verifying object-oriented programs. However, it requires writing and checking many frame annota...
210
click to vote
WWW
2006
ACM
16 years 8 months ago
2006
ACM
During a lifecycle of a large-scale Web application, Web developers produce a wide variety of inter-related Web objects. Following good Web engineering practice, developers often ...
221
click to vote
CCS
2007
ACM
16 years 1 months ago
2007
ACM
Traditional Public Key Infrastructures (PKI) have not lived up to their promise because there are too many ways to define PKIs, too many cryptographic primitives to build them wi...
193
click to vote
GPCE
2008
Springer
15 years 8 months ago
2008
Springer
A user interface, such as a dialog, assists a user in synthesising a set of values, typically parameters for a command object. Code for “command parameter synthesis” is usuall...
217
click to vote
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract-- The safety control problem for hybrid automata with imperfect mode information and continuous control is addressed. When the controller does not have access to the mode ...