222 search results - page 36 / 45 » A Formal Verification Methodology for Checking Data Integrit... |
100
click to vote
SIGSOFT
2005
ACM
16 years 13 days ago
2005
ACM
Growing attention is being paid to application security at requirements engineering time. Confidentiality is a particular subclass of security concerns that requires sensitive inf...
JCS
2006
14 years 11 months ago
2006
We present three case studies, investigating the use of probabilistic model checking to automatically analyse properties of probabilistic contract signing protocols. We use the pr...
ICSE
2004
IEEE-ACM
15 years 11 months ago
2004
IEEE-ACM
Semantic Web, the next generation of Web, gives data well-defined and machine-understandable meaning so that they can be processed by remote intelligent agents cooperatively. Onto...
MEDINFO
2007
15 years 1 months ago
2007
Managing time-stamped data is essential to clinical research activities and often requires the use of considerable domain knowledge, which is difficult to support within database ...
SIAMCOMP
2008
14 years 11 months ago
2008
XML specifications often consist of a type definition (typically, a DTD) and a set of integrity constraints. It has been shown previously that such specifications can be inconsiste...