12487 search results - page 144 / 2498 » Graspable Work Modeling |
125
click to vote
IPPS
1998
IEEE
15 years 7 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...
128
Voted
ASM
2010
ASM
15 years 6 months ago
2010
ASM
Symmetry reduction is a model checking technique that can help alleviate the problem of state space explosion, by preventing redundant state space exploration. In previous work, we...
100
click to vote
LREC
2008
15 years 4 months ago
2008
Manual categorisation of documents is a time-consuming task that has been significantly alleviated with the deployment of automatic and machine-aided text categorisation systems. ...
111
click to vote
TAMODIA
2004
15 years 4 months ago
2004
Much information and knowledge work (with and without information technology) can be characterised as multitasking and interrupt driven. A whole host of characterisations and buzz...
119
click to vote
DAIS
2009
15 years 4 months ago
2009
Large-scale industrial systems involve nowadays hundreds of developers working on hundreds of models representing parts of the whole system specification. Unfortunately, few tool s...