Sciweavers

30267 search results - page 5879 / 6054
» Process Modelling Languages
Sort
View
HASE
2008
IEEE
15 years 9 months ago
Localizing Program Errors via Slicing and Reasoning
Model-based program debugging exploits discrepancies between the program behavior anticipated by a programmer and the program’s actual behavior when executed on a set of inputs....
Fei Pu, Yan Zhang
ICPP
2008
IEEE
15 years 9 months ago
Enabling Streaming Remoting on Embedded Dual-Core Processors
Dual-core processors (and, to an extent, multicore processors) have been adopted in recent years to provide platforms that satisfy the performance requirements of popular multimed...
Kun-Yuan Hsieh, Yen-Chih Liu, Po-Wen Wu, Shou-Wei ...
114
Voted
SP
2008
IEEE
176views Security Privacy» more  SP 2008»
15 years 9 months ago
Casting out Demons: Sanitizing Training Data for Anomaly Sensors
The efficacy of Anomaly Detection (AD) sensors depends heavily on the quality of the data used to train them. Artificial or contrived training data may not provide a realistic v...
Gabriela F. Cretu, Angelos Stavrou, Michael E. Loc...
VR
2008
IEEE
188views Virtual Reality» more  VR 2008»
15 years 9 months ago
The Two-User Seating Buck: Enabling Face-to-Face Discussions of Novel Car Interface Concepts
The automotive industry uses physical seating bucks, which are minimal mockups of a car interior, to assess various aspects of the planned interior early in the development proces...
Holger Salzmann, Bernd Froehlich
AB
2008
Springer
15 years 9 months ago
An Algorithm for Qualitative Simulation of Gene Regulatory Networks with Steep Sigmoidal Response Functions
A specific class of ODEs has been shown to be adequate to describe the essential features of the complex dynamics of Gene-Regulatory Networks (GRN). But, the effective exploitatio...
Liliana Ironi, Luigi Panzeri, Erik Plahte
« Prev « First page 5879 / 6054 Last » Next »