1301 search results - page 72 / 261 » Specifications via Realizability |
ICWS
2009
IEEE
14 years 7 months ago
2009
IEEE
Analyzing interactions among peers that interact via messages is a crucial problem due to increasingly distributed nature of current software systems, especially the ones built us...
ISCAS
2007
IEEE
14 years 4 months ago
2007
IEEE
—Accurate analog models of power system components are required in order to realize an analog computation engine for power systems. Analog computation is an area of continued int...
FOCS
2003
IEEE
14 years 3 months ago
2003
IEEE
We consider the problem of constructing a general protocol for secure two-party computation in a way that preserves security under concurrent composition. In our treatment, we foc...
COBUILD
1998
Springer
1998
Springer
Roomware for Cooperative Buildings: Integrated Design of Architectural Spaces and Information Spaces
14 years 2 months ago
In this paper, we introduce the concepts of "cooperative buildings" and "roomware" and place them in the context of the integrated design of real, physical, res...
WS
2008
ACM
13 years 10 months ago
2008
ACM
: The power of the Web is enhanced through the network effect produced as resources link to each other with the value determined by Metcalfe's law. In Web 2.0 applications, mu...