2649 search results - page 495 / 530 » Argumentation for Decision Support |
177
click to vote
TARK
2007
Springer
15 years 11 months ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
162
Voted
ICPADS
2006
IEEE
15 years 11 months ago
2006
IEEE
In this paper, we utilize a bandwidth-centric job communication model that captures the interaction and impact of simultaneously co-allocating jobs across multiple clusters. We ma...
133
click to vote
VTC
2006
IEEE
15 years 11 months ago
2006
IEEE
— WLANs will become a major portion of the fourth generation (4G) cellular system. The seamless handoff problem in WLANs is a very important design issue to support the new astou...
173
click to vote
3DGIS
2006
Springer
15 years 11 months ago
2006
Springer
The needs for three-dimensional (3D) visualization and navigation within 3D-GIS environment are growing and expanding rapidly in a variety of fields. In a steady shift from tradit...
156
click to vote
IUI
2006
ACM
15 years 11 months ago
2006
ACM
The TaskTracer system seeks to help multi-tasking users manage the resources that they create and access while carrying out their work activities. It does this by associating with...