6581 search results - page 333 / 1317 » Formalizing Design Patterns |
131
click to vote
IUI
2005
ACM
15 years 10 months ago
2005
ACM
A new generation of intelligent applications can be enabled by broad-coverage knowledge repositories about everyday objects. We distill lessons in design of intelligent user inter...
138
click to vote
DSVIS
2005
Springer
15 years 10 months ago
2005
Springer
The mapping problem has been defined as the way to map models involved throughout the development life cycle of user interfaces. Model-based design of user interfaces has followed ...
126
click to vote
ICECCS
1998
IEEE
15 years 8 months ago
1998
IEEE
All systems, regardless of how carefully they have been constructed, suffer failures. This paper focuses on developing a formal understanding of failure with respect to system imp...
140
Voted
UML
1999
Springer
15 years 8 months ago
1999
Springer
Software architecture research has thus far mainly addressed formal specification and analysis of coarse-grained software models. The formality of architectural descriptions, their...
144
Voted
ISPD
1997
ACM
15 years 8 months ago
1997
ACM
- This paper reports on a highly effective methodology to construct complex high performance microprocessors. Critical aspects of the methodology include an integrated database for...