1115 search results - page 114 / 223 » An Abstract Look at Realizability |
129
click to vote
PODS
2006
ACM
16 years 4 months ago
2006
ACM
The most acute information management challenges today stem from organizations relying on a large number of diverse, interrelated data sources, but having no means of managing the...
145
click to vote
FSTTCS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The abstraction of cryptographic operations by term algebras, called DolevYao models or symbolic cryptography, is essential in almost all tool-supported methods for provi...
103
click to vote
ICSEA
2006
IEEE
15 years 10 months ago
2006
IEEE
ey operate with computer abstractions not with AD ions they cannot fully bridge the semantic gap between IT and AD. Therefore, we can safely conclude that the research on computer ...
150
click to vote
MMM
2005
Springer
15 years 10 months ago
2005
Springer
Users of multimedia applications today are equipped with a variety of different (mobile) devices that each come with different operating systems, memory and CPU capabilities, netw...
165
click to vote
PERVASIVE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. When smart objects participate in context-aware applications, changes in their real-world environment can have a significant impact on underlying networking structures. ...