834 search results - page 120 / 167 » A Model-Based Approach for Engineering Multimodal Interactiv... |
CSMR
2006
IEEE
15 years 3 months ago
2006
IEEE
Recovering the architecture is the first step towards reengineering a software system. Many reverse engineering tools use top-down exploration as a way of providing a visual and ...
ICSE
2005
IEEE-ACM
15 years 9 months ago
2005
IEEE-ACM
Scenarios are an effective means for eliciting, validating and documenting requirements. At the requirements level, scenarios describe sequences of interactions between the softwa...
148
click to vote
FASE
2011
Springer
14 years 1 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
IUI
2004
ACM
15 years 3 months ago
2004
ACM
People routinely rely on physical and electronic systems to remind themselves of details regarding personal and organizational contacts. These systems include rolodexes, directori...
101
click to vote
ESEM
2009
ACM
15 years 4 months ago
2009
ACM
: © Using Security Metrics Coupled with Predictive Modeling and Simulation to Assess Security Processes Yolanta Beres, Marco Casassa Mont, Jonathan Griffin, Simon Shiu HP Laborato...