6581 search results - page 373 / 1317 » Formalizing Design Patterns |
122
Voted
UIST
2003
ACM
15 years 10 months ago
2003
ACM
People use their awareness of others' temporal patterns to plan work activities and communication. This paper presents algorithms for programatically detecting and modeling t...
132
Voted
ACL
1989
15 years 6 months ago
1989
Near-term spoken language systems willlikely be limited in their interactive capabilities. To design them, we shall need to model how the presence or absence of speaker interactio...
143
Voted
SIGGRAPH
1998
ACM
15 years 9 months ago
1998
ACM
This paper describes some of the principles of traditional floral ornamental design, and explores ways in which these designs can be created algorithmically. It introduces the id...
109
click to vote
DAC
2004
ACM
16 years 5 months ago
2004
ACM
The desynchronization approach combines a traditional synchronous specification style with a robust asynchronous implementation model. The main contribution of this paper is the d...
148
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Reusable software components need well-defined interfaces, rigorously and completely documented features, and a design amenable both to reuse and to formal verification; all these...