3147 search results - page 154 / 630 » Statistically Hiding Sets |
SOCO
2007
Springer
14 years 4 months ago
2007
Springer
In component based software engineering, an application is build by composing trusted and reusable units of execution, the components. A composition is formed by connecting the com...
UIC
2007
Springer
14 years 4 months ago
2007
Springer
Recent advances in wireless and mobile networking technology pose a new set of requirements and challenges that are not previously thought of, when it comes to smart space middlewa...
IISWC
2006
IEEE
14 years 4 months ago
2006
IEEE
Many embedded real world applications are intellectual property, and vendors hesitate to share these proprietary applications with computer architects and designers. This poses a ...
QEST
2006
IEEE
14 years 4 months ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...
PLDI
2005
ACM
14 years 3 months ago
2005
ACM
Today’s module systems do not effectively support information hiding in the presence of shared mutable objects, causing serious problems in the development and evolution of larg...