5255 search results - page 606 / 1051 » Formal Methods for Privacy |
249
click to vote
DFMA
2005
IEEE
16 years 19 days ago
2005
IEEE
This paper presents an extension of the single-user scientific visualization system ZoomIn to a collaborative system. We discuss the principal challenges of remote collaboration i...
226
click to vote
EGOV
2005
Springer
16 years 16 days ago
2005
Springer
It is generally considered that a key component of electronic government in the future will be electronic voting, as a means of facilitating the participation of citizens in electi...
180
click to vote
ISI
2005
Springer
16 years 16 days ago
2005
Springer
Experiments were conducted to test several hypotheses on methods for improving document classification for the malicious insider threat problem within the Intelligence Community. ...
202
click to vote
OOPSLA
2005
Springer
16 years 15 days ago
2005
Springer
In this paper we describe AutAT, an open source Eclipse plugin to better enable test driven development of web applications. AutAT lets non-technical people write acceptance tests...
178
click to vote
SPC
2005
Springer
16 years 15 days ago
2005
Springer
Technological progress allows us to equip any mobile phone with new functionalities, such as storing personalized information about its owner and using the corresponding personal p...