Sciweavers

1552 search results - page 105 / 311
» Concepts and Concept-Oriented Programming
Sort
View
ENTCS
2008
119views more  ENTCS 2008»
13 years 10 months ago
An Example of Cloning Graph Transformation Rules for Programming
Graphical notations are already popular for the design of software, as witnessed by the success of the Uniform Modeling Languages (UML). In this paper, we advocate the use of grap...
Mark Minas, Berthold Hoffmann
IJCAI
2007
13 years 11 months ago
A New Perspective on Stable Models
The definition of a stable model has provided a declarative semantics for Prolog programs with negation as failure and has led to the development of answer set programming. In th...
Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz
GI
1999
Springer
14 years 2 months ago
Combining Strict and Soft Typing in Functional Programming
We discuss the properties of strictly typed languages on the one hand and soft typing of the other and identify disadvantages of these approaches to type checking in the context of...
Manfred Widera, Christoph Beierle
HPDC
1996
IEEE
14 years 2 months ago
Shared Memory NUMA Programming on I-WAY
The performance of the Global Array shared-memory nonuniform memory-access programming model is explored on the I-WAY, wide-area-network distributed supercomputer environment. The...
Jarek Nieplocha, Robert J. Harrison
SOCRATES
2008
100views Education» more  SOCRATES 2008»
13 years 11 months ago
Quality in eLearning. Some Results from a National Research Program
Quality is an open concept. Something has a good quality when the most salient of its characteristics have a positive value. What are this relevant features? It depends on the int...
Patrizia Ghislandi, Anna Pedroni, Daniela Paolino,...