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...
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...
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,...
: 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...
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...