6614 search results - page 1123 / 1323 » Semantics of Information as Interactive Computation |
196
click to vote
NDSS
2005
IEEE
16 years 23 days ago
2005
IEEE
As national infrastructure becomes intertwined with emerging global data networks, the stability and integrity of the two have become synonymous. This connection, while necessary,...
190
click to vote
SPIN
2005
Springer
16 years 20 days ago
2005
Springer
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...
227
click to vote
IPPS
2003
IEEE
16 years 14 days ago
2003
IEEE
Component-based models represent a dominant trend in the construction of wide-area network applications, making possible the integration of diverse functionality contained in modu...
191
click to vote
PODC
2000
ACM
15 years 11 months ago
2000
ACM
Stampede is a parallel programming system to facilitate the programming of interactive multimedia applications on clusters of SMPs. In a Stampede application, a variable number of...
246
click to vote
HPDC
2010
IEEE
15 years 8 months ago
2010
IEEE
Visualization of large-scale high dimensional data tool is highly valuable for scientific discovery in many fields. We present PubChemBrowse, a customized visualization tool for c...