Sciweavers

10682 search results - page 2023 / 2137
» A Graph Based Process Representation for Process Modeling
Sort
View
144
Voted
ICST
2010
IEEE
15 years 3 months ago
Fault Detection Likelihood of Test Sequence Length
— Testing of graphical user interfaces is important due to its potential to reveal faults in operation and performance of the system under consideration. Most existing test appro...
Fevzi Belli, Michael Linschulte, Christof J. Budni...
IFIPTM
2010
145views Management» more  IFIPTM 2010»
15 years 3 months ago
A Formal Notion of Trust - Enabling Reasoning about Security Properties
Historically, various different notions of trust can be found, each addressing particular aspects of ICT systems, e.g. trust in electronic commerce systems based on reputation and...
Andreas Fuchs, Sigrid Gürgens, Carsten Rudolp...
BMVC
2010
15 years 2 months ago
Robust Camera Calibration using Inaccurate Targets
Accurate intrinsic camera calibration is essential to any computer vision task that involves image based measurements. Given its crucial role with respect to precision, a large nu...
Andrea Albarelli, Emanuele Rodolà, Andrea T...
KBSE
2010
IEEE
15 years 2 months ago
Seamlessly integrated, but loosely coupled: building user interfaces from heterogeneous components
User interface development is a time and resource consuming task. Thus, reusing existing UI components is a desirable approach for rapid UI development. To keep UIs maintainable, ...
Heiko Paulheim
VLSID
2010
IEEE
155views VLSI» more  VLSID 2010»
15 years 2 months ago
Synchronized Generation of Directed Tests Using Satisfiability Solving
Directed test generation is important for the functional verification of complex system-on-chip designs. SAT based bounded model checking is promising for counterexample generatio...
Xiaoke Qin, Mingsong Chen, Prabhat Mishra
« Prev « First page 2023 / 2137 Last » Next »