Sciweavers

748 search results - page 37 / 150
» Mechanism design for abstract argumentation
Sort
View
CIE
2005
Springer
13 years 12 months ago
Shrad: A Language for Sequential Real Number Computation
Since Di Gianantonio [1993] introduced his semantics for exact real omputation, there has always been a struggle to maintain data abstraction and efficiency as much as possible. T...
Amin Farjudian
PVM
2005
Springer
14 years 3 months ago
Collective Error Detection for MPI Collective Operations
Abstract. An MPI profiling library is a standard mechanism for intercepting MPI calls by applications. Profiling libraries are so named because they are commonly used to gather p...
Christopher Falzone, Anthony Chan, Ewing L. Lusk, ...
EKAW
2004
Springer
14 years 3 months ago
Semantic Webs for Learning: A Vision and Its Realization
Abstract. Augmenting web pages with semantic contents, i.e., building a ‘Semantic Web’, promises a number of benefits for web users in general and learners in particular. Seman...
Arthur Stutt, Enrico Motta
EDOC
2003
IEEE
14 years 3 months ago
MQL: a Powerful Extension to OCL for MOF Queries
The Meta-Object Facility (MOF) provides a standardised framework for object-oriented models. An instance of a MOF model contains objects and links whose interfaces are entirely de...
David Hearnden, Kerry Raymond, Jim Steel
SAFECOMP
2010
Springer
13 years 8 months ago
Deriving Safety Cases for Hierarchical Structure in Model-Based Development
Abstract. Model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains. However, si...
Nurlida Basir, Ewen Denney, Bernd Fischer 0002