Sciweavers

1345 search results - page 149 / 269
» A Class of Logarithmic Integrals
Sort
View
CLUSTER
2002
IEEE
15 years 11 months ago
Design and Validation of Portable Communication Infrastructure for Fault-Tolerant Cluster Middleware
We describe the communication infrastructure (CI) for our fault-tolerant cluster middleware, which is optimized for two classes of communication: for the applications and for the ...
Ming Li, Wenchao Tao, Daniel Goldberg, Israel Hsu,...
INAP
2001
Springer
15 years 10 months ago
ISCO: A Practical Language for Logic-Based Construction of Heterogeneous Information Systems
Universidade de ´Evora’s Integrated Information System (SIIUE) aims at representing the entire universe of concepts useful for the management and day-to-day operation of the Or...
Salvador Abreu
MDIC
2001
Springer
134views Communications» more  MDIC 2001»
15 years 10 months ago
Querying and Browsing Multimedia Presentations
Querying and searching the Web is an important research field which has drawn a number of concepts from databases and information retrieval fields, but has added its own models, ...
Augusto Celentano, Ombretta Gaggi
SEKE
2001
Springer
15 years 10 months ago
Temporal Logic Properties of Java Objects
ct 7 Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...
Radu Iosif, Riccardo Sisto
ASPLOS
2000
ACM
15 years 10 months ago
System Architecture Directions for Networked Sensors
Technological progress in integrated, low-power, CMOS communication devices and sensors makes a rich design space of networked sensors viable. They can be deeply embedded in the p...
Jason L. Hill, Robert Szewczyk, Alec Woo, Seth Hol...