235 search results - page 43 / 47 » A Comprehensive Interface Definition Framework for Software ... |
AOSD
2007
ACM
15 years 1 months ago
2007
ACM
We define and study bisimulation for proving contextual equivalence in an aspect extension of the untyped lambda-calculus. To our knowledge, this is the first study of coinductive...
IPM
2007
14 years 9 months ago
2007
Information retrieval systems consist of many complicated components. Research and development of such systems is often hampered by the difficulty in evaluating how each particula...
EICS
2009
ACM
15 years 4 months ago
2009
ACM
The Open Interface Development Environment (OIDE) was developed as part of the OpenInterface (OI) platform, an open source framework for the rapid development of multimodal intera...
IPPS
2007
IEEE
15 years 3 months ago
2007
IEEE
To be able to fully exploit ever larger computing platforms, modern HPC applications and system software must be able to tolerate inevitable faults. Historically, MPI implementati...
NETWORKING
2008
14 years 11 months ago
2008
In the highly dynamic and unpredictable environment of MANETs, cross-layer design is receiving growing interest but lacks experimental validation tools. This paper presents XIAN (C...