3954 search results - page 464 / 791 » Image-based Model Completion |
117
click to vote
KAIS
2008
15 years 4 months ago
2008
Classical data mining algorithms implicitly assume complete access to all data, either in centralized or federated form. However, privacy and security concerns often prevent sharin...
147
click to vote
JPDC
2006
15 years 4 months ago
2006
Multicast services are demanded by a variety of applications. Many applications require anonymity during their communication. However, there has been very little work on anonymous...
134
click to vote
ENTCS
2007
15 years 4 months ago
2007
Process algebras are standard formalisms for compositionally describing systems by the dependencies of their observable synchronous communication. In concurrent systems, parallel ...
130
click to vote
MMS
2008
15 years 4 months ago
2008
CLAM is a C++ framework that offers a complete development and research platform for the audio and music domain. om offering an abstract model for audio systems, it also includes ...
144
click to vote
MSCS
2008
15 years 4 months ago
2008
Abstract. Software security can be ensured by specifying and verifying security properties of software using formal methods with strong theoretical bases. In particular, programs c...