5255 search results - page 414 / 1051 » Formal Methods for Privacy |
180
click to vote
DIM
2005
ACM
15 years 8 months ago
2005
ACM
We develop solutions for the security and privacy of user identity information in a federation. By federation we mean a group of organizations or service providers which have buil...
142
click to vote
ISI
2003
Springer
15 years 11 months ago
2003
Springer
Understanding the data gathered thus far in a criminal investigation is of great importance, particularly in terms of guiding its future course. One established method of comprehen...
180
click to vote
INTERACT
2003
15 years 7 months ago
2003
: Interaction with context-aware mobile hand-held devices creates new demands for user interfaces and interaction methods. These devices, which detect the use context in order to a...
139
click to vote
CSSC
2010
15 years 3 months ago
2010
This paper investigates an efficient estimation method for a class of switching regressions based on the characteristic function (CF). We show that with the exponential weighting ...
183
click to vote
ENTCS
2006
15 years 6 months ago
2006
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...