Sciweavers

6343 search results - page 445 / 1269
» Development of a Cartographic Language
Sort
View
TGC
2007
Springer
16 years 27 days 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
VAMOS
2007
Springer
16 years 27 days ago
KumbangSec: An Approach for Modelling Functional and Security Variability in Software Architectures
Software products often need to vary in terms of functionality, but also in terms of quality attributes. We describe KumbangSec, which in an approach for modelling functional and ...
Varvana Myllärniemi, Mikko Raatikainen, Tomi ...
WSFM
2007
Springer
16 years 27 days ago
From BPEL to SRML: A Formal Transformational Approach
The SENSORIA Reference Modelling Language (SRML) provides primitives for modelling business processes in a technology agnostic way. At the core of SRML is the notion of module as a...
Laura Bocchi, Yi Hong, Antónia Lopes, Jos&e...
CLUSTER
2006
IEEE
16 years 26 days ago
FAIL-MPI: How Fault-Tolerant Is Fault-Tolerant MPI?
One of the topics of paramount importance in the development of Cluster and Grid middleware is the impact of faults since their occurrence in Grid infrastructures and in large-sca...
William Hoarau, Pierre Lemarinier, Thomas Hé...
ACMDIS
2006
ACM
16 years 23 days ago
Wikifying your interface: facilitating community-based interface translation
We explore the application of a wiki-based technology and style of interaction to enabling the incremental translation of a collaborative application into a number of different la...
M. Cameron Jones, Dinesh Rathi, Michael B. Twidale