Sciweavers

1419 search results - page 185 / 284
» Using Managed Communication Channels in Software Components
Sort
View
IASTEDSE
2004
15 years 7 months ago
A symbolic Java virtual machine for test case generation
Quality management is becoming a more and more important part of the software development process. As software testing is currently understood as the core function of the quality ...
Roger A. Müller, Christoph Lembeck, Herbert K...
FGCS
2010
186views more  FGCS 2010»
15 years 4 months ago
A grid portal for solving geoscience problems using distributed knowledge discovery services
This paper describes our research effort to employ Grid technologies to enable the development of geoscience applications by integrating workflow technologies with data mining r...
Gianluigi Folino, Agostino Forestiero, Giuseppe Pa...
IHM
2004
ACM
15 years 11 months ago
Composant logiciel vs physique pour interagir avec un espace de valeurs temporelles
Timelines are recurrently used to design visualization techniques of temporal data. In this paper, we present our perspective wall timeline to visualize temporal values. We illust...
Chaouki Daassi, Laurence Nigay, Marie-Christine Fa...
PVM
2001
Springer
15 years 10 months ago
An Architecture for a Multi-threaded Harness Kernel
Abstract. Harness is a reconÞgurable, heterogeneous distributed metacomputing framework for the dynamic conÞguration of distributed virtual machines, through the use of parallel ...
Wael R. Elwasif, David E. Bernholdt, James Arthur ...
FASE
2011
Springer
14 years 9 months ago
Automated Learning of Probabilistic Assumptions for Compositional Reasoning
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
Lu Feng, Marta Z. Kwiatkowska, David Parker