Sciweavers

5465 search results - page 487 / 1093
» Assigning Types to Processes
Sort
View
IICAI
2007
15 years 8 months ago
Automated Test Generation from Models Based on Functional Software Specifications
The paper presents first results of a project that aims at building a model-based tool for functional testing of control software for passenger vehicles. The objective is that this...
Michael Esser, Peter Struss
PDPTA
2007
15 years 8 months ago
Communication with Super Flexible Messaging
Abstract Super Flexible Messaging (SFM) provides a powerful and elegant message passing abstraction for transferring arbitrary data between remote processes. SFM achieves the simpl...
Alexey Fedosov, Gregory Benson
IADIS
2004
15 years 8 months ago
A Proposal for Visualising Learning Materials in A 3D Space
This paper introduces a study, part of a work concerning a tool that enables teachers to create educational materials. Production of such educational materials is based on predefi...
Dominique Deuff, Nicole Devoldère, Isabelle...
ESEM
2010
ACM
15 years 7 months ago
A comprehensive characterization of NLP techniques for identifying equivalent requirements
Though very important in software engineering, linking artifacts of the same type (clone detection) or of different types (traceability recovery) is extremely tedious, error-prone...
Davide Falessi, Giovanni Cantone, Gerardo Canfora
ICASSP
2010
IEEE
15 years 7 months ago
Empirical Type-i filter design for image interpolation
Empirical filter designs generalize relationships inferred from training data to effect realistic solutions that conform well to the human visual system. Complex algorithms invol...
Karl S. Ni, Truong Q. Nguyen