3885 search results - page 123 / 777 » Clarifying Goal Models |
115
Voted
ICTAI
2003
IEEE
15 years 9 months ago
2003
IEEE
We are investigating computational models for humancomputer interaction based on a uniform, declarative, knowledge representation. We describe a new implementation of our work cal...
146
click to vote
TPHOL
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract. A second-level security protocol is defined as a security protocol that relies on an underlying security protocol in order to achieve its goals. The verification of cla...
123
Voted
INFOVIS
1998
IEEE
15 years 8 months ago
1998
IEEE
We propose a methodology for automatically realizing communicative goals in graphics. It features a task model that mediates the communicative intent and the selection of graphica...
118
click to vote
SBIA
1998
Springer
15 years 8 months ago
1998
Springer
This paper presents Darwinci, a system that generates new ideas, using a multi-domain knowledge base composed by musical and drawing structures. Its theoretical background comes fr...
114
click to vote
WICSA
2008
15 years 5 months ago
2008
An organization is architecturally competent if it has the ability to acquire, use and sustain the skills and knowledge necessary to carry out architecture-related practices that ...