1499 search results - page 275 / 300 » Case Study: An Implementation of a Secure Steganographic Sys... |
167
click to vote
CONCUR
2010
Springer
15 years 7 months ago
2010
Springer
Links are established between three widely used modeling frameworks for reactive systems: the ioco theory of Tretmans, the interface automata of De Alfaro and Henzinger, and Mealy ...
160
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
ion for Epistemic Model Checking of Dining Cryptographers-based Protocols Omar I. Al-Bataineh and Ron van der Meyden School of Computer Science and Engineering, University of New S...
160
click to vote
FUIN
2006
15 years 6 months ago
2006
Traditional Machine Learning approaches based on single inference mechanisms have reached their limits. This causes the need for a framework that integrates approaches based on aba...
144
click to vote
CERA
2002
15 years 6 months ago
2002
Current research by the developers of rapid prototyping systems is generally focused on improvements in cost, speed and materials to create truly economic and practical economic r...
185
click to vote
MOC
2002
15 years 5 months ago
2002
Abstract. We analyze the convergence rate of an asynchronous space decomposition method for constrained convex minimization in a reflexive Banach space. This method includes as spe...