2969 search results - page 285 / 594 » The Case for User-Centered CASE Tools |
219
click to vote
INFORMATICALT
2007
15 years 6 months ago
2007
A modified version of the Bellare and Rogaway (1993) adversarial model is encoded using Asynchronous Product Automata (APA). A model checker tool, Simple Homomorphism Verificatio...
147
click to vote
CGF
2004
15 years 6 months ago
2004
Pasting somebody's face into an existing image with traditional photo retouching and digital image processing tools has only been possible if both images show the face from t...
201
Voted
SIMULATION
1998
15 years 6 months ago
1998
A decision support system for the management of an intermodal container terminal is presented. Among the problems to be solved, there are the spatial allocation of containers on t...
199
click to vote
WAIM
2010
Springer
15 years 5 months ago
2010
Springer
In this paper we propose a generic model to generate basic multi-partite graphs obtained by associations found in arbitrary data. The interest of such a model is to be the formal ...
172
click to vote
SOCIALCOM
2010
15 years 4 months ago
2010
It is a widely held belief among designers of social tagging systems that tag clouds represent a useful tool for navigation. This is evident in, for example, the increasing number ...