628 search results - page 72 / 126 » A Practical Approach to Measuring Assurance |
SERP
2003
13 years 9 months ago
2003
The Java Data Objects (JDO) industry standard appears to provide a promising framework for persisting Java objects in an efficient way. Many experts even regard JDO as a more appr...
SOSP
1997
ACM
13 years 9 months ago
1997
ACM
A common problem facing mobile computing is disconnected operation, or computing in the absence of a network. Hoarding eases disconnected operation by selecting a subset of the us...
CL
2000
Springer
13 years 7 months ago
2000
Springer
Associative Language Descriptions are a recent grammar model, theoretically less powerful than Context Free grammars, but adequate for describing the syntax of programming languag...
IFM
2010
Springer
2010
Springer
Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT
13 years 6 months ago
Stochastic satisfiability modulo theories (SSMT), which is an extension of satisfiability modulo theories with randomized quantification, has successfully been used as a symboli...
SOCIALCOM
2010
13 years 5 months ago
2010
This paper proposes that social network data should be assumed public but treated private. Assuming this rather confusing requirement means that anonymity models such as kanonymity...