Sciweavers

5234 search results - page 506 / 1047
» Method Components - Rationale Revealed
Sort
View
FMAM
2010
157views Formal Methods» more  FMAM 2010»
15 years 5 months ago
An Experience on Formal Analysis of a High-Level Graphical SOA Design
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova
ICCHP
2010
Springer
15 years 4 months ago
Improving Screen Magnification Using the HyperBraille Multiview Windowing Technique
Abstract. Screen magnification is an important means to support visually impaired people when working with computers. Many improvements have been made on appropriate software. But ...
Christiane Taras, Michael Raschke, Thomas Schlegel...
ICST
2010
IEEE
15 years 4 months ago
Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach
A Feature Model (FM) is a compact representation of all the products of a software product line. The automated extraction of information from FMs is a thriving research topic invo...
Sergio Segura, Robert M. Hierons, David Benavides,...
GI
2009
Springer
15 years 4 months ago
Coarse graining of an individual-based plant model
: The evolution and structuring of plant communities is governed by local plant-to-plant interaction. It has been shown that the individual variability of the organisms and the spa...
Johannes Hoefener, Lars Rudolf, Uta Berger, Thilo ...
HCI
2009
15 years 4 months ago
Assessment of Psychophysiological Differences of West Point Cadets and Civilian Controls Immersed within a Virtual Environment
An important question for ecologically valid virtual environments is whether cohort characteristics affect immersion. If a method for assessing a certain neurocognitive capacity (e...
Thomas D. Parsons, Christopher G. Courtney, Louise...