Sciweavers

3886 search results - page 297 / 778
» Toward Recovery-Oriented Computing
Sort
View
CORR
2011
Springer
216views Education» more  CORR 2011»
15 years 1 months ago
Approaches to Formal Verification of Security Protocols
— In recent times, many protocols have been proposed to provide security for various information and communication systems. Such protocols must be tested for their functional cor...
Suvansh Lal, Mohit Jain, Vikrant Chaplot
EIS
2011
253views ECommerce» more  EIS 2011»
15 years 1 months ago
A modelling and reasoning framework for social networks policies
Policy languages (such as privacy and rights) have had little impact on the wider community. Now that Social Networks have taken off, the need to revisit Policy languages and real...
Guido Governatori, Renato Iannella
ICONFERENCE
2011
15 years 1 months ago
A vision for information visualization in information science
This paper presents the case for Information Visualization (IV) to be a central, integrated component of study in Information Science. We summarize the current state of IV within ...
Marilyn Ostergren, Jeff Hemsley, Miranda Belarde-L...
MMAS
2010
Springer
15 years 1 months ago
Wave Transmission through Random Layering with Pressure Release Boundary Conditions
This paper considers the statistical properties of the waves generated by a point source in the subsurface and transmitted towards the surface through a randomly layered medium. Th...
Josselin Garnier, Knut Sølna
CORR
2011
Springer
215views Education» more  CORR 2011»
15 years 1 months ago
The total path length of split trees
We consider the model of random trees introduced by Devroye [SIAM J Comput 28, 409– 432, 1998]. The model encompasses many important randomized algorithms and data structures. T...
Nicolas Broutin, Cecilia Holmgren