3425 search results - page 546 / 685 » A Model Driven Approach for Software Systems Reliability |
122
Voted
UIST
2004
ACM
15 years 9 months ago
2004
ACM
A long standing challenge in pen-based computer interaction is the ability to make sense of informal sketches. A main difficulty lies in reliably extracting and recognizing the i...
117
click to vote
ENTCS
2008
15 years 3 months ago
2008
Graphical notations are already popular for the design of software, as witnessed by the success of the Uniform Modeling Languages (UML). In this paper, we advocate the use of grap...
119
click to vote
WWW
2005
ACM
16 years 4 months ago
2005
ACM
The need for e-learning systems that support a diverse set of pedagogical requirements has been identified as an important issue in web-based education. Until now, significant R&a...
133
Voted
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract-- We present a computational framework for identifying a set of initial states from which all trajectories of a piecewise affine (PWA) system satisfy a Linear Temporal Log...
137
click to vote
ICST
2009
IEEE
15 years 10 months ago
2009
IEEE
Vulnerability discovery rates need to be taken into account for evaluating security risks. Accurate projection of these rates is required to estimate the effort needed to develop ...