2097 search results - page 151 / 420 » Distributed user modelling for universal information access |
152
Voted
TACAS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Failing model checking runs should be accompanied by appropriate error diagnosis information that allows the user to identify the cause of the problem. For branching time...
164
click to vote
TCC
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In an identity based encryption scheme, each user is identified by a unique identity string. An attribute based encryption scheme (ABE), in contrast, is a scheme in whic...
116
click to vote
CHI
2009
ACM
16 years 5 months ago
2009
ACM
Werner A. K?nig HCI-Group, University of Konstanz Box-D73, Universit?t Konstanz 78457 Konstanz, Germany werner.koenig@uni-konstanz.de Jens Gerken HCI-Group, University of Konstanz ...
132
Voted
PCI
2009
Springer
15 years 9 months ago
2009
Springer
—Despite the wide adoption by the scientific community, grid technologies have not been given the appropriate attention by enterprises. This is merely due to the lack of enough s...
167
click to vote
SIMPRA
2008
15 years 5 months ago
2008
: DEVS is a Modeling and Simulation formalism that has been widely used to study the dynamics of discrete event systems. Cell-DEVS is a DEVS-based formalism that defines spatial mo...