3885 search results - page 424 / 777 » Clarifying Goal Models |
161
click to vote
UM
2005
Springer
16 years 6 days ago
2005
Springer
Adaptive information systems typically exploit knowledge about the user’s interests, preferences, goals etc. to determine what should be presented to the user and how this presen...
263
click to vote
IUI
2004
ACM
16 years 5 days ago
2004
ACM
This paper introduces the application Second Messenger, a tool for supporting face-to-face meetings and discussions. Second Messenger uses a speech-recognition engine as an input ...
167
click to vote
IUI
2004
ACM
16 years 5 days ago
2004
ACM
Teams of autonomous vehicles (AVs) carry out missions in a number of fields such as space exploration and searchand-rescue. However, human supervision is still required to monito...
179
click to vote
NSPW
2004
ACM
16 years 5 days ago
2004
ACM
This paper considers a new security protocol paradigm whereby principals negotiate and on-the-fly generate security protocols according to their needs. When principals wish to in...
184
click to vote
CADE
2004
Springer
16 years 4 days ago
2004
Springer
The paper presents a modular superposition calculus for the combination of first-order theories involving both total and partial functions. Modularity means that inferences are pu...