23119 search results - page 4485 / 4624 » From Domain to Requirements |
183
click to vote
DALT
2008
Springer
15 years 8 months ago
2008
Springer
ing and Verifying Strategy-proofness for Auction Mechanisms E. M. Tadjouddine, F. Guerin, and W. Vasconcelos Department of Computing Science, King's College, University of Abe...
181
click to vote
DSVIS
2008
Springer
15 years 8 months ago
2008
Springer
Specifying user interfaces consists in a fundamental activity in the user interface development life cycle as it informs the subsequent steps. Good quality specifications could lea...
195
click to vote
ELPUB
2008
ACM
15 years 8 months ago
2008
ACM
Being subscribed to a newspaper, readers expect some basic things: receiving their paper in their mailbox early in the morning, being able to read it privately when and where they...
171
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
We describe ViCoS, a tool for constructing and visualising conceptual spaces in the area of language documentation. ViCoS allows users to enrich existing lexical information about ...
177
click to vote
EUROCRYPT
2008
Springer
15 years 8 months ago
2008
Springer
The Universal Composability framework was introduced by Canetti to study the security of protocols which are concurrently executed with other protocols in a network environment. U...