12766 search results - page 2263 / 2554 » collective |
177
click to vote
FOSSACS
2005
Springer
16 years 10 days ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
174
Voted
GD
2005
Springer
16 years 10 days ago
2005
Springer
Visualizing and analyzing social networks is a challenging problem that has been receiving growing attention. An important first step, before analysis can begin, is ensuring that...
175
click to vote
GFKL
2005
Springer
16 years 10 days ago
2005
Springer
Today biometric techniques are based either on passive (e.g. IrisScan, Face) or active methods (e.g. voice and handwriting). In our work we focus on evaluation of the latter. These...
188
click to vote
GI
2005
Springer
16 years 10 days ago
2005
Springer
: A distributed service to model and control contextual information in mobile and ubiquitous computing environments is presented in this paper. We introduce the general user model ...
189
click to vote
GRID
2005
Springer
16 years 10 days ago
2005
Springer
— Access control in computational grids is typically provided by a combination of identity certificates and local accounts. This approach does not scale as the number of users a...