1003 search results - page 136 / 201 » A Framework for Developing Feature-Rich Software Systems |
EMSOFT
2003
Springer
14 years 2 months ago
2003
Springer
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...
IJHPCA
2002
13 years 8 months ago
2002
Lack of effective performance-evaluation environments is a major barrier to the broader use of high performance computing. Conventional performance environments are based on profi...
GPCE
2007
Springer
14 years 3 months ago
2007
Springer
Every notion of a component for the development of embedded systems has to take heterogeneity into account: components may be hardware or software or OS, synchronous or asynchrono...
IIWAS
2008
13 years 10 months ago
2008
The main text content of an HTML document on the WWW is typically surrounded by additional contents, such as navigation menus, advertisements, link lists or design elements. Conte...
CHI
2004
ACM
14 years 9 months ago
2004
ACM
This paper sums up lessons learned from a sequence of cooperative design workshops where end users were enabled to design mobile systems through scenario building, role playing, a...