631 search results - page 24 / 127 » Strong Authentication and Strong Integrity (SASI) Is Not Tha... |
FM
2009
Springer
14 years 2 months ago
2009
Springer
We examine the the industrial application of formal methods using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal meth...
RULEML
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We present the Tom language that extends Java with the purpose of providing high level constructs inspired by the rewriting community. Tom bridges thus the gap between a ...
RTA
2007
Springer
14 years 1 months ago
2007
Springer
We present the Tom language that extends Java with the purpose of providing high level constructs inspired by the rewriting community. Tom furnishes a bridge between a general purp...
ESOP
2004
Springer
14 years 1 months ago
2004
Springer
A transaction defines a locus of computation that satisfies important concurrency and failure properties; these so-called ACID properties provide strong serialization guarantees ...
ACIIDS
2009
IEEE
14 years 21 days ago
2009
IEEE
In this paper, two concepts from different research areas are addressed together, namely functional dependency (FD) and multidimensional association rule (MAR). FD is a class of i...