14403 search results - page 2510 / 2881 » Dynamical Systems Trees |
171
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
The LAOS model, a 5-layer adaptive hypermedia (AH) authoring model, was previously shown to specify a flexible framework for (collaborative) creation of material for the semantic ...
143
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
While the information resources on the Web are vast, the sources are often hard to find, painful to use, and difficult to integrate. We have developed the Heracles framework for b...
303
click to vote
PADL
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...
185
Voted
ESORICS
2009
Springer
16 years 7 months ago
2009
Springer
In distributed systems users need to share sensitive objects with others based on the recipients' ability to satisfy a policy. Attribute-Based Encryption (ABE) is a new parad...
194
Voted
CHI
2009
ACM
16 years 7 months ago
2009
ACM
Despite the growing interest in user experience (UX), it has been hard to gain a common agreement on the nature and scope of UX. In this paper, we report a survey that gathered th...