5699 search results - page 362 / 1140 » Alternating model trees |
178
click to vote
UIST
2003
ACM
16 years 27 days 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...
165
click to vote
RSP
1999
IEEE
15 years 12 months ago
1999
IEEE
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
207
click to vote
IPPS
1998
IEEE
15 years 12 months ago
1998
IEEE
This work presents MUSE, a graphical environment for modeling interactive networked multimedia applications. Through an advanced graphic interface and a new highlevel authoring mod...
224
click to vote
EWDW
1990
15 years 11 months ago
1990
The formal description of the semantics of object-oriented data models is still an open problem. Some characteristic features of object-oriented data models, such as methods and i...
167
click to vote
APSEC
2004
IEEE
15 years 11 months ago
2004
IEEE
To formalize a software process, its important aspects must be extracted as a model. Many processes are used repeatedly, and the ability to automate a process is also desired. One...