2171 search results - page 374 / 435 » Combining Funnels: A Dynamic Approach to Software Combining |
127
click to vote
DAC
2003
ACM
16 years 5 months ago
2003
ACM
SAT-based decision procedures for quantifier-free fragments of firstorder logic have proved to be useful in formal verification. These decision procedures are either based on enco...
145
click to vote
CHI
2007
ACM
16 years 5 months ago
2007
ACM
Sensors are becoming increasingly important in interaction design. Authoring a sensor-based interaction comprises three steps: choosing and connecting the appropriate hardware, cr...
137
Voted
ICNS
2009
IEEE
15 years 11 months ago
2009
IEEE
Combining end-host, server and router virtualization could offer isolated and malleable virtual networks of different types, owners and protocols, all sharing one physical infrast...
176
Voted
ICICS
2009
Springer
15 years 11 months ago
2009
Springer
We propose a novel approach for statistical risk modeling of network attacks that lets an operator perform risk analysis using a data model and an impact model on top of an attack ...
209
click to vote
BDIM
2008
IEEE
15 years 11 months ago
2008
IEEE
—Knowing the dependencies among computing assets and services provides insights into the computing and business landscape, therefore, facilitating low-risk timely changes in supp...