3971 search results - page 633 / 795 » On the Use of Properties in Java Applications |
149
click to vote
INFFUS
2010
15 years 3 months ago
2010
- Many exciting, emerging applications require that a group of agents share a coherent view of the world given spatial distribution, incomplete and uncertain sensors, and communica...
123
Voted
SYNTHESE
2010
15 years 3 months ago
2010
: The discussion presents a framework of concepts that is intended to account for the rationality of semantic change and variation, suggesting that each scientific concept consists...
146
Voted
TRUST
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Credential platforms implemented on top of Trusted Execution Environments3 (TrEEs) allow users to store and use their credentials, e.g., cryptographic keys or user passwo...
123
click to vote
JPDC
2011
15 years 6 hour ago
2011
Networks-on-chip (NoCs) are used in a growing number of SoCs and multi-core processors. Because messages compete for the NoC’s shared resources, quality of service and resource ...
151
click to vote
JCS
2010
14 years 12 months ago
2010
We introduce constraint differentiation, a powerful technique for reducing search when model-checking security protocols using constraint-based methods. Constraint differentiation...