4799 search results - page 297 / 960 » Model Based Requirements Engineering for Embedded Software |
215
click to vote
HYBRID
2010
Springer
15 years 8 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
209
click to vote
ICSE
2011
IEEE-ACM
14 years 10 months ago
2011
IEEE-ACM
Parallel programs are difficult to write, test, and debug. This thesis explores how programmers build mental models about parallel programs, and demonstrates, through user evaluat...
177
click to vote
CSCWD
2005
Springer
2005
Springer
Towards an engineering approach for groupware development: learning from the AulaNet LMS development
16 years 5 days ago
This paper presents the AulaNet learning management system, its architecture and the collaboration model that guided its development and that was refined during this process. A ca...
166
click to vote
FC
2004
Springer
16 years 1 days ago
2004
Springer
Improved computer security requires improvements in risk communication to naive end users. Efficacy of risk communication depends not only on the nature of the risk, but also on t...
166
click to vote
ISPASS
2006
IEEE
16 years 20 days ago
2006
IEEE
We present a scheme to compress branch trace information for use in snapshot-based microarchitecture simulation. The compressed trace can be used to warm any arbitrary branch pred...