585 search results - page 72 / 117 » Structured Formal Development in Isabelle |
WWW
2007
ACM
16 years 14 days ago
2007
ACM
We describe collaborative efforts between a knowledge representation team, a community of scientists, and scientific information managers in developing knowledge models for ecolog...
183
click to vote
VLDB
2007
ACM
16 years 1 days ago
2007
ACM
In this paper we study the trade-offs between time series compressibility and partial information hiding and their fundamental implications on how we should introduce uncertainty ...
APLAS
2009
ACM
15 years 6 months ago
2009
ACM
We propose a method for easily developing efficient programs for finding optimal sequences, such as the maximum weighted sequence of a set of feasible ones. We formalize a way to ...
IEEEARES
2007
IEEE
15 years 6 months ago
2007
IEEE
We present a pattern system for security requirements engineering, consisting of security problem frames and concretized security problem frames. These are special kinds of proble...
106
click to vote
CCS
2007
ACM
15 years 6 months ago
2007
ACM
In this paper, we develop an analytical framework to measure the vulnerability of superpeer networks against attack. Two different kinds of attacks namely deterministic and degre...