Sciweavers

1886 search results - page 66 / 378
» Modeling and Enacting Software Processes Using VRPML
Sort
View
CHI
1993
ACM
15 years 8 months ago
A design space for multimodal systems: concurrent processing and data fusion
Multimodal interaction enables the user to employ different modalities such as voice, gesture and typing for communicating with a computer. This paper presents an analysis of the ...
Laurence Nigay, Joëlle Coutaz
SE
2010
15 years 6 months ago
Design Decisions in Model-driven Software Development
: Numerous design decisions are made in model-driven software development which are mostly implicit and not documented properly. Hence, the design knowledge is usually 'in the...
Patrick Könemann
BIRTHDAY
2007
Springer
15 years 10 months ago
Models and Software Model Checking of a Distributed File Replication System
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
Nikolaj Bjørner
GI
2009
Springer
15 years 2 months ago
Fusion of IR/CCD Video Streams and Digital Terrain Models for Multi Target Tracking
: Video Streams of optical camera system are analysed by a video processing software which detects moving objects in the video. They are presented in image pixel coordinates. With ...
Kaeye Dästner, Bastian Köhler, Felix Opi...
190
Voted
CORR
2011
Springer
200views Education» more  CORR 2011»
14 years 11 months ago
Validation Measures in CMMI
—Validation is one of the software engineering disciplines that help build quality into software. The major objective of software validation process is to determine that the soft...
Mahmoud Khraiwesh