8636 search results - page 1341 / 1728 » How Developers Copy |
170
Voted
ESOP
2006
Springer
15 years 8 months ago
2006
Springer
We present a sound and complete proof technique, based on syntactic logical relations, for showing contextual equivalence of expressions in a -calculus with recursive types and imp...
146
click to vote
ESTIMEDIA
2006
Springer
15 years 8 months ago
2006
Springer
Efficient and deadlock-free routing is critical to the performance of networks-on-chip. In this paper we present an approach that can be coupled to any adaptive routing algorithm ...
132
click to vote
ESWS
2006
Springer
15 years 8 months ago
2006
Springer
We present a comprehensive approach to ontology evaluation and validation, which have become a crucial problem for the development of semantic technologies. Existing evaluation met...
142
Voted
ETRICS
2006
15 years 8 months ago
2006
Abstract. Depending on whether the users or the providers are performing it, Identity Management (IM) traditionally has different meanings. For users, IM means to choose between on...
145
click to vote
EUPROJECTS
2006
Springer
15 years 8 months ago
2006
Springer
The mobile user can interact with devices in the environment using either the devices themselves or a device she carries with her. This requires an adaption of the user interface t...