6555 search results - page 426 / 1311 » Secure attribute-based systems |
197
Voted
ATC
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Software agent technology has attracted much attention for developing various distributed systems, composed of autonomous agents interacting with one another using partic...
190
Voted
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
We introduce a type system based on intervals, objects representing the time in which a block of code will execute. The type system can verify time-based properties such as when a...
173
click to vote
ACSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
– After the voting debacle in the Florida Presidential election of 2000 with its now-fabled hanging chads and pregnant chads, many voting jurisdictions turned to electronic votin...
197
click to vote
TRUSTBUS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The complexity of regulations in healthcare, financial services, and other industries makes it difficult for enterprises to design and deploy effective compliance syste...
196
click to vote
TRUSTBUS
2009
Springer
16 years 1 months ago
2009
Springer
SCADA systems represent a challenging scenario where the management of critical alarms is crucial. Their response to these alarms should be efficient and fast in order to mitigate ...