Sciweavers

1624 search results - page 227 / 325
» Modelling Variability for System Families
Sort
View
TVCG
2008
113views more  TVCG 2008»
15 years 2 months ago
A Spreadsheet Approach to Facilitate Visualization of Uncertainty in Information
Information uncertainty is inherent in many problems and is often subtle and complicated to understand. While visualization is a powerful means for exploring and understanding info...
Alexander Streit, Binh Pham, Ross Brown
149
Voted
SEKE
2010
Springer
15 years 1 months ago
A String Constraint Solver for Detecting Web Application Vulnerability
Given the bytecode of a software system, is it possible to automatically generate attack signatures that reveal its vulnerabilities? A natural solution would be symbolically execu...
Xiang Fu, Chung-Chih Li
172
Voted
KI
2010
Springer
14 years 9 months ago
Differential Dynamic Logics
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equa...
André Platzer
105
Voted
INFOCOM
2009
IEEE
15 years 9 months ago
Analysis of Adaptive Incentive Protocols for P2P Networks
— Incentive protocols play a crucial role to encourage cooperation among nodes in networking applications. The aim of this paper is to provide a general analytical framework to a...
Ben Q. Zhao, John C. S. Lui, Dah-Ming Chiu
116
Voted
MIE
2008
177views Healthcare» more  MIE 2008»
15 years 4 months ago
Process Mining Techniques: an Application to Stroke Care
In a competitive health-care market, hospitals have to focus on ways to streamline their processes in order to deliver high quality care while at the same time reducing costs. To a...
Ronny Mans, Helen Schonenberg, Giorgio Leonardi, S...