10568 search results - page 267 / 2114 » Computer Intelligence and Formalization |
246
click to vote
JAISE
2010
15 years 2 months ago
2010
In this paper we review the emerging field of responsive environments as an ambient intelligence system with a focus on user experience. We see responsive environments as a combina...
180
click to vote
SP
2009
IEEE
16 years 2 months ago
2009
IEEE
We present two machine-checked proofs of the existential unforgeability under adaptive chosen-message attacks of the Full Domain Hash signature scheme. These proofs formalize the ...
171
click to vote
FSEN
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. A communication protocol consists of a sequence of messages used by peer entities to communicate. Each entity in a network is equipped by at least one protocol stack. Due...
167
click to vote
TGC
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. We present a formal system that models programmable abstractions for access control. Composite abstractions and patterns of arbitrary complexity are modeled as a configu...
180
click to vote
DSOM
2004
Springer
16 years 19 days ago
2004
Springer
Netconf is a protocol proposed by the IETF that defines a set of operations for network configuration. One of the main issues of Netconf is to define operations such as validate...