1286 search results - page 37 / 258 » A Practical Modelling Notation for Secure Distributed Comput... |
PVM
2007
Springer
14 years 1 months ago
2007
Springer
Formal program verification often requires creating a model of the program and running it through a model-checking tool. However, this model-creation step is itself error prone, t...
ICICS
2009
Springer
14 years 2 months ago
2009
Springer
Privacy-preserving SQL computation in distributed relational database is one of important applications of secure multiparty computation. In contrast with comparatively more works o...
EDOC
2003
IEEE
14 years 27 days ago
2003
IEEE
The research vision of the Unified Component Meta Model Framework (UniFrame) is to develop an infrastructure for components that enables a plug and play component environment wher...
SDMW
2004
Springer
14 years 29 days ago
2004
Springer
The recent investigation of privacy-preserving data mining and other kinds of privacy-preserving distributed computation has been motivated by the growing concern about the privacy...
FASE
2003
Springer
14 years 25 days ago
2003
Springer
Abstract. A Sentient Computing environment is one in which the system is able to perceive the state of the physical world and use this information to customise its behaviour. Mobil...