12487 search results - page 1830 / 2498 » Graspable Work Modeling |
193
click to vote
FORMATS
2006
Springer
15 years 11 months ago
2006
Springer
Current numerical model checkers for stochastic systems can efficiently analyse stochastic models. However, the fact that they are unable to provide debugging information constrain...
203
click to vote
ICECCS
1995
IEEE
15 years 11 months ago
1995
IEEE
When trying to describe the behaviour of large systems, such as the business processes of large enterprises, we often adopt diagramming techniques based on derivatives of data flo...
202
click to vote
ACNS
2010
Springer
15 years 10 months ago
2010
Springer
Verifiably encrypted signature schemes (VES) allow a signer to encrypt his or her signature under the public key of a trusted third party, while maintaining public signature verifi...
223
click to vote
FAST
2010
15 years 9 months ago
2010
Live migration of virtual hard disks between storage arrays has long been possible. However, there is a dearth of online tools to perform automated virtual disk placement and IO l...
206
click to vote
DLOG
2007
15 years 9 months ago
2007
Clio is a joint research project between the University of Toronto and IBM Almaden Research Center started in 1999 to address both foundational and systems issues related to the ma...