4048 search results - page 323 / 810 » Design Science, Engineering Science and Requirements Enginee... |
155
Voted
ICECCS
2009
IEEE
15 years 2 months ago
2009
IEEE
In hard real-time systems such as avionics, computer board level designs are typically customized to meet specific reliability and real time requirements. This paper focuses on co...
141
click to vote
FOCS
2005
IEEE
15 years 10 months ago
2005
IEEE
We consider the problem of embedding finite metrics with slack: we seek to produce embeddings with small dimension and distortion while allowing a (small) constant fraction of al...
143
click to vote
CSCWD
2005
Springer
15 years 7 months ago
2005
Springer
We propose an analytic method to evaluate groupware design. The method was inspired by GOMS, a well-known approach to analyze usability problems with single-user interfaces. GOMS h...
124
click to vote
SIGSOFT
2005
ACM
16 years 5 months ago
2005
ACM
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...
124
click to vote
MODELS
2009
Springer
15 years 11 months ago
2009
Springer
Variability modelling with feature models is one key technique for specifying the problem space of software product lines (SPLs). To allow for the automatic derivation of a concre...