1022 search results - page 172 / 205 » Specification of Dynamics for Knowledge-Based Systems |
137
click to vote
WWW
2004
ACM
16 years 4 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 ...
139
click to vote
ESORICS
2009
Springer
16 years 4 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...
CHI
2005
ACM
16 years 4 months ago
2005
ACM
This paper presents a descriptive account of the social practices surrounding the iTunes music sharing of 13 participants in one organizational setting. Specifically, we character...
126
click to vote
RECOMB
2008
Springer
16 years 4 months ago
2008
Springer
A central challenge in systems biology is the reconstruction of biological networks from high-throughput data sets. A particularly difficult case of this is the inference of dynami...
138
click to vote
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...