3255 search results - page 151 / 651 » Usage-Centered Design and Software Engineering: Models for I... |
177
click to vote
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
—In this paper, a novel approach for integrating static non-preemptive software scheduling in formal bottom-up performance evaluation of embedded system models is described. The ...
136
click to vote
WWW
2006
ACM
16 years 4 months ago
2006
ACM
There have been several authoring methods proposed in the literature that are model based, essentially following the Model Driven Design philosophy. While useful, such methods nee...
114
click to vote
COMPSAC
2009
IEEE
15 years 10 months ago
2009
IEEE
Developing concurrent programs is intrinsically difficult. They are subject to programming errors that are not present in traditional sequential programs. Our current work is to ...
143
click to vote
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
systems are commonly abstracted as collections of interacting components. This perspective has lead to the insight that component behaviors can be defined separately from admissi...
117
click to vote
WWW
2010
ACM
15 years 11 months ago
2010
ACM
We present a programming model for building web applications with security properties that can be confidently verified during a security review. In our model, applications are d...