Sciweavers

2917 search results - page 261 / 584
» Adaptation and the effort needed to adapt
Sort
View
IFL
2000
Springer
15 years 10 months ago
Non-determinism Analysis in a Parallel-Functional Language
Abstract. The paper presents several analyses to detect non-deterministic expressions in the parallel-functional language Eden. First, the need for the analysis is motivated, and t...
Ricardo Pena, Clara Segura
MPC
1995
Springer
93views Mathematics» more  MPC 1995»
15 years 10 months ago
Extracting Programs with Exceptions in an Impredicative Type System
Abstract. This paper is about exceptions handling using classical techniques of program extraction. We propose an impredicative formalization in the calculus of constructions and w...
Jean-François Monin
CATA
2010
15 years 8 months ago
Utilization of Modified CoreGRID Ontology in an Agent-based Grid Resource Management System
The Agents in Grid project is devoted to the development of an agent-based intelligent high-level Grid middleware. In the proposed system, all data processing is ontology-driven, ...
Marcin Paprzycki, Michal Drozdowicz, Maria Ganzha,...
SE
2008
15 years 8 months ago
A TTCN-3-based Web Service Test Framework
: The increased usage of Web services for critical applications introduces a growing need for efficient testing approaches to assure their quality. The Testing and Test Control Not...
Edith Werner, Jens Grabowski, Stefan Troschüt...
SEDE
2007
15 years 8 months ago
BeLearning: Designing accessible web applications
Flexibility and adaptivity are two of the outstanding characteristics of new media and new technologies. These properties allow new methods to provide physically challenged people...
Helmut Vieritz, Sabina Jeschke