3555 search results - page 511 / 711 » Security-Critical System Development with Extended Use Cases |
136
click to vote
TSE
2010
15 years 2 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
155
click to vote
IACR
2011
14 years 4 months ago
2011
We describe Charm, an extensible framework designed for rapid prototyping of cryptographic systems that utilize the latest advances in cryptography, such as identity and attribute...
140
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
We present a multi-context focused sequent calculus whose derivations are in bijective correspondence with normal natural deductions in the propositional fragment of the intuitioni...
122
click to vote
IWANN
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We explore the use of mobile social network technology combined with modern mobile phone hardware as a platform for programming applications in the elder care area. An ap...
132
click to vote
DOLAP
2009
ACM
15 years 11 months ago
2009
ACM
The current commercial and academic OLAP tools do not process XML data that make use of XLink. To develop OLAP systems for helping in the analysis of such data, this paper propose...