Sciweavers

3086 search results - page 121 / 618
» Developing Secure Web Applications
Sort
View
119
Voted
DFT
2007
IEEE
135views VLSI» more  DFT 2007»
15 years 9 months ago
Fault Secure Encoder and Decoder for Memory Applications
We introduce a reliable memory system that can tolerate multiple transient errors in the memory words as well as transient errors in the encoder and decoder (corrector) circuitry....
Helia Naeimi, André DeHon
115
Voted
PLDI
2009
ACM
15 years 9 months ago
Language-based security on Android
In this paper, we initiate a formal study of security on Android: Google’s new open-source platform for mobile devices. Specifically, we present a core typed language to descri...
Avik Chaudhuri
146
Voted
AGENTS
2000
Springer
15 years 7 months ago
Tools for Developing and Monitoring Agents in Distributed Multi-Agent Systems
Before the powerful agent programming paradigm can be adopted in commercial or industrial settings, a complete environment, similar to that for other programming languages, must b...
John R. Graham, Daniel McHugh, Michael Mersic, Fos...
SAC
2009
ACM
15 years 7 months ago
SWOBE - embedding the semantic web languages RDF, SPARQL and SPARUL into java for guaranteeing type safety, for checking the sat
The Semantic Web and its technologies become increasingly important. As more and more Semantic Web applications are being used, developing more stable Semantic Web applications be...
Sven Groppe, Jana Neumann, Volker Linnemann
104
Voted
ICFP
2009
ACM
15 years 9 months ago
Experience report: ocsigen, a web programming framework
The evolution of Web sites towards very dynamic applications makes it necessary to reconsider current Web programming technologies. We believe that Web development would benefit ...
Vincent Balat, Jérôme Vouillon, Boris...