12487 search results - page 63 / 2498 » Graspable Work Modeling |
201
Voted
GAMESEC
2011
14 years 12 days ago
2011
Recent works on Internet risk management have proposed the idea of cyber-insurance to eliminate risks due to security threats, which cannot be tackled through traditional means suc...
CRYPTO
2011
Springer
14 years 17 days ago
2011
Springer
Abstract. A time-lock puzzle is a mechanism for sending messages “to the future”. The sender publishes a puzzle whose solution is the message to be sent, thus hiding it until e...
95
Voted
ECAL
1999
Springer
15 years 5 months ago
1999
Springer
Some recent Artificial Life models have attempted to explain the origin of linguistic diversity with varying conclusions and explanations. We posit, contrary to some existing Artif...
125
Voted
IJMTM
2010
14 years 10 months ago
2010
: In today's rapidly evolving global marketplace, jobs are continually being redefined due to technological innovations and a host of other factors. Workers are also being cal...
121
click to vote
ISSE
2010
14 years 7 months ago
2010
In this work, we address the formalisation of symmetric nets, a subclass of coloured Petri nets, refinement in COQ. We first provide a formalisation of the net models, and of thei...