1115 search results - page 194 / 223 » An Abstract Look at Realizability |
INFOCOM
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract— The topological structure of the Internet infrastructure is an important and interesting subject that attracted significant research attention in the last few years. A...
ASPDAC
2006
ACM
14 years 2 months ago
2006
ACM
Abstract— In the UDSM era, crosstalk is an area of considerable concern for designers, as it can have a considerable impact on the yield, both in terms of functionality and opera...
DRM
2005
Springer
14 years 2 months ago
2005
Springer
Interoperability is currently seen as one of the most significant problems facing the digital rights management (DRM) industry. In this paper we consider the problem of interoper...
OOPSLA
2005
Springer
14 years 2 months ago
2005
Springer
A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with s...
CF
2004
ACM
14 years 2 months ago
2004
ACM
In a future networked physical world, a myriad of smart sensors and actuators assess and control aspects of their environments and autonomously act in response to it. Examples ran...