132 search results - page 24 / 27 » Symbolic security analysis of ruby-on-rails web applications |
USENIX
2000
13 years 10 months ago
2000
The goal of the Globe project is to design and build a middleware platform that facilitates the development of large-scale distributed applications, such as those found on the Int...
GIL
2009
13 years 6 months ago
2009
Abstract: We have surveyed three molecular biology labs in Germany and Vietnam to evaluate practical problems in the management of molecular genetics data. These labs are generatin...
WOSP
2004
ACM
14 years 2 months ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
CCS
2006
ACM
14 years 14 days ago
2006
ACM
We introduce Doppelganger, a novel system for creating and enforcing fine-grained, privacy preserving browser cookie policies with low manual effort. Browser cookies pose privacy ...
BMCBI
2010
13 years 8 months ago
2010
Background: With the rapidly falling cost and availability of high throughput sequencing and microarray technologies, the bottleneck for effectively using genomic analysis in the ...