Sciweavers

2025 search results - page 291 / 405
» On the Utility of Inference Mechanisms
Sort
View
EMSOFT
2003
Springer
14 years 1 months ago
Generating Heap-Bounded Programs in a Functional Setting
Abstract. High-level programming languages offer significant expressivity but provide little or no guarantees about resource utilization. Resource-bounded languages provide stron...
Walid Taha, Stephan Ellner, Hongwei Xi
GRID
2003
Springer
14 years 1 months ago
Policy and Enforcement in Virtual Organizations
Arguably, the main goal of Grid Computing is to facilitate the creation of Virtual Organizations (VOs); however, to date, not enough attention has been placed on the policies and ...
Glenn S. Wasson, Marty Humphrey
ICCS
2003
Springer
14 years 1 months ago
Application Controlled IPC Synchrony - An Event Driven Multithreaded Approach
Interprocess communication (IPC) is an important phenomenon in distributed computing and operating systems. Microkernels of modern operating systems use synchronous IPC semantics f...
Susmit Bagchi, Mads Nygaard
ICS
2003
Tsinghua U.
14 years 1 months ago
Roccom: an object-oriented, data-centric software integration framework for multiphysics simulations
We describe an object-oriented software integration frameccom, abstracted from our five years of experience in developing a complex, integrated code for rocket simulation. Roccom...
Xiangmin Jiao, Michael T. Campbell, Michael T. Hea...
ICSOC
2003
Springer
14 years 1 months ago
Semantic Structure Matching for Assessing Web-Service Similarity
The web-services stack of standards is designed to support the reuse and interoperation of software components on the web. A critical step in the process of developing applications...
Yiqiao Wang, Eleni Stroulia