Sciweavers

1893 search results - page 251 / 379
» Computational composites
Sort
View
ASIAN
2006
Springer
104views Algorithms» more  ASIAN 2006»
14 years 2 months ago
Closing Internal Timing Channels by Transformation
Abstract. A major difficulty for tracking information flow in multithreaded programs is due to the internal timing covert channel. Information is leaked via this channel when secre...
Alejandro Russo, John Hughes, David A. Naumann, An...
ECOWS
2006
Springer
14 years 2 months ago
Similarity Measurement about Ontology-based Semantic Web Services
Measurement of semantic similarity between Web services is an important factor for Web service discovery, composition, and even execution. Semantic Web services (SWS) are usually ...
Xia Wang, Yihong Ding, Yi Zhao
AIME
1995
Springer
14 years 1 months ago
Coordinating Taxonomies: Key to Re-Usable Concept Representations
: A unified controlled medical vocabulary has been cited as one of the grand challenges facing Medical Informatics. We would restate this challenge as ‘achieving a re-usable and ...
Alan L. Rector
ECOOP
1995
Springer
14 years 1 months ago
Meta-level Programming with CodA
Abstract. Meta-levels are complex pieces of software with diverse demands in both the computation and interaction domains. Common techniques using just code to express behaviour fa...
Jeff McAffer
APLAS
2008
ACM
14 years 11 days ago
Certified Reasoning in Memory Hierarchies
Abstract. Parallel programming is rapidly gaining importance as a vector to develop high performance applications that exploit the improved capabilities of modern computer architec...
Gilles Barthe, César Kunz, Jorge Luis Sacch...