18769 search results - page 3749 / 3754 » Requirements Models in Context |
102
click to vote
ASIACRYPT
2011
Springer
13 years 9 months ago
2011
Springer
The assumption of the availability of tamper-proof hardware tokens has been used extensively in the design of cryptographic primitives. For example, Katz (Eurocrypt 2007) suggests ...
105
Voted
ATAL
2011
Springer
13 years 9 months ago
2011
Springer
Distributed systems can often be modeled as a collection of distributed (system) variables whose values are constrained by a set of constraints. In distributed multi-agent systems...
136
click to vote
CCS
2011
ACM
13 years 9 months ago
2011
ACM
Cloud computing is quickly becoming the platform of choice for many web services. Virtualization is the key underlying technology enabling cloud providers to host services for a l...
CIKM
2011
Springer
13 years 9 months ago
2011
Springer
We present Nyaya, a system for the management of Semantic-Web data which couples a general-purpose and extensible storage mechanism with efficient ontology reasoning and querying ...
127
click to vote
CRV
2011
IEEE
13 years 9 months ago
2011
IEEE
—Motion information is an important cue for a robot to separate foreground moving objects from the static background world. Based on the observation that the motion of the backgr...