Sciweavers

1140 search results - page 202 / 228
» Embedded Software: Better Models, Better Code
Sort
View
PTS
2010
132views Hardware» more  PTS 2010»
15 years 9 days ago
Increasing Functional Coverage by Inductive Testing: A Case Study
This paper addresses the challenge of generating test sets that achieve functional coverage, in the absence of a complete specification. The inductive testing technique works by p...
Neil Walkinshaw, Kirill Bogdanov, John Derrick, Ja...
104
Voted
ATAL
2011
Springer
14 years 1 months ago
Specifying and applying commitment-based business patterns
Recent work in communications and business modeling emphasizes a commitment-based view of interaction. By abstracting away from implementation-level details, commitments can poten...
Amit K. Chopra, Munindar P. Singh
CLEF
2005
Springer
15 years 7 months ago
SINAI at CLEF 2005: Multi-8 Two-Years-on and Multi-8 Merging-Only Tasks
This year, we have participated on multilingual two years on and Multi-8 merging-only CLEF task. Our main interest has been to test several usual CLIR tasks and investigate how th...
Fernando Martínez Santiago, Miguel Angel Ga...
JTAER
2010
100views more  JTAER 2010»
15 years 10 days ago
Determinants of Consumers' Perceived Trust in IT-Ecosystems
Digital ecosystems, or IT-ecosystems (ITEs), are composed of multiple and independent entities such as individuals, organizations, services, software, and applications. Together, ...
Klaus-Peter Wiedmann, Nadine Hennigs, Dieter Varel...
ICIP
2006
IEEE
16 years 3 months ago
An Approach for Intersubject Analysis of 3D Brain Images Based on Conformal Geometry
Recent advances in imaging technologies, such as Magnetic Resonance Imaging (MRI), Positron Emission Tomography (PET) and Diffusion Tensor Imaging (DTI) have accelerated brain res...
Guangyu Zou, Jing Hua, Xianfeng Gu, Otto Muzik