Sciweavers

1620 search results - page 159 / 324
» Use Case Level Pointcuts
Sort
View
SCAM
2007
IEEE
15 years 6 months ago
Barrier Slicing for Remote Software Trusting
Remote trusting aims at verifying the “healthy” execution of a program running on an untrusted client that communicates with a trusted server via network connection. After giv...
Mariano Ceccato, Mila Dalla Preda, Jasvir Nagra, C...
CEFP
2007
Springer
15 years 6 months ago
From Interpretation to Compilation
Abstract. In this paper we sketch some experiments with the construction of a simple compiler for a high level intermediate lazy functional language, with C++ as a target language....
Jan Martin Jansen, Pieter W. M. Koopman, Rinus Pla...
ICCS
2007
Springer
15 years 5 months ago
Reducing the Representation Complexity of Lattice-Based Taxonomies
Abstract. Representing concept lattices constructed from large contexts often results in heavy, complex diagrams that can be impractical to handle and, eventually, to make sense of...
Sergei O. Kuznetsov, Sergei A. Obiedkov, Camille R...
TGC
2007
Springer
15 years 5 months ago
Type-Safe Distributed Programming with ML5
Abstract We present ML5, a high level programming language for spatially distributed computing. The language, a variant of ML, allows an entire distributed application to be develo...
Tom Murphy VII, Karl Crary, Robert Harper
CBMS
2006
IEEE
15 years 5 months ago
A Conceptual Grid Architecture for Interactive Biomedical Applications
The growing complexity of distributed biomedical application requirements present new challenges to the representation of software architectural analysis and design. This is the c...
Alfredo Tirado-Ramos, Peter M. A. Sloot