2303 search results - page 296 / 461 » The Cryptographic Abstract Machine |
173
click to vote
LFCS
2009
Springer
16 years 27 days ago
2009
Springer
We explore an intuitionistic fragment of Art¨emov’s Logic of Proofs as a type system for a programming language for mobile units. Such units consist of both a code and certific...
168
click to vote
PRIB
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. Clustering is a widely used unsupervised data analysis technique in machine learning. However, a common requirement amongst many existing clustering methods is that all p...
179
click to vote
RULEML
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. Event processing rules may be prescribed in many different ways, including by finite state machines, graphical methods, ECA (event-conditionaction) rules or reactive rule...
178
click to vote
SEMWEB
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. In order to employ the Web as a medium for data and information integration, comprehensive datasets and vocabularies are required as they enable the disambiguation and al...
165
click to vote
CSSE
2008
IEEE
16 years 25 days ago
2008
IEEE
Abstract: The need of communication protocols in today’s environment increases as much as the network explores. Many new kinds of protocols, e.g. for information sharing, securit...