Sciweavers

794 search results - page 87 / 159
» Evaluation of Assertion Support for the Java Programming Lan...
Sort
View
ISORC
2005
IEEE
14 years 2 months ago
Heterogeneous Adaptive Component-Based Applications with Adaptive.Net
Adaptation to changing environmental conditions is a major challenge for most distributed applications. The service-oriented programming paradigm leads to an increasing number of ...
Andreas Rasche, Marco Puhlmann, Andreas Polze
SEKE
2005
Springer
14 years 2 months ago
A Reuse-based Spatial Data Preparation Framework for Data Mining
The constant increase in use of geographic data in different application domains has resulted in large amounts of data stored in spatial databases and in the desire of data mining....
Vania Bogorny, Paulo Martins Engel, Luis Otá...
MICRO
2007
IEEE
79views Hardware» more  MICRO 2007»
14 years 3 months ago
Time Interpolation: So Many Metrics, So Few Registers
The performance of computer systems varies over the course of their execution. A system may perform well during some parts of its execution and poorly during others. To understand...
Todd Mytkowicz, Peter F. Sweeney, Matthias Hauswir...
ACMSE
2009
ACM
14 years 6 days ago
Using computer graphics to explore object oriented concepts using C
Most recent graphics courses are what we would call topdown courses. Courses that focus on using graphical packages to implement and teach graphics. The course discussed in this p...
William C. Kreahling
RTA
2010
Springer
14 years 23 days ago
A Rewriting Logic Semantics Approach to Modular Program Analysis
The K framework, based on rewriting logic semantics, provides a powerful logic for deļ¬ning the semantics of programming languages. While most work in this area has focused on deļ...
Mark Hills, Grigore Rosu