Sciweavers

82 search results - page 12 / 17
» Enabling Agile Testing through Continuous Integration
Sort
View
IFM
2007
Springer
245views Formal Methods» more  IFM 2007»
15 years 3 months ago
Co-simulation of Distributed Embedded Real-Time Control Systems
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F....
QEST
2010
IEEE
14 years 7 months ago
Transient Analysis of Generalised Semi-Markov Processes Using Transient Stochastic State Classes
The method of stochastic state classes approaches the analysis of Generalised Semi Markov Processes (GSMP) through symbolic derivation of probability density functions over Differe...
András Horváth, Lorenzo Ridi, Enrico...
BMCBI
2010
153views more  BMCBI 2010»
14 years 9 months ago
MimoSA: a system for minimotif annotation
Background: Minimotifs are short peptide sequences within one protein, which are recognized by other proteins or molecules. While there are now several minimotif databases, they a...
Jay Vyas, Ronald J. Nowling, Thomas Meusburger, Da...
63
Voted
TEI
2009
ACM
97views Hardware» more  TEI 2009»
15 years 4 months ago
The other brother: re-experiencing spontaneous moments from domestic life
In this paper, we describe “The Other Brother”, a semiautonomous device that captures images and video of spontaneous moments in the course of everyday life. It was our goal t...
John Helmes, Caroline Hummels, Abigail Sellen
MHCI
2007
Springer
15 years 3 months ago
A new interface for video browsing on PDAs
We present an interface for interactive video browsing on penbased handheld devices. Our solution enables users to navigate through a video along the timeline at different granula...
Wolfgang Hürst, Georg Götz, Martina Welt...