811 search results - page 132 / 163 » Integrating Formal Description Techniques |
SIGMOD
2011
ACM
12 years 11 months ago
2011
ACM
Correctness of data residing in a database is vital. While integrity constraint enforcement can often ensure data consistency, it is inadequate to protect against updates that inv...
CBMS
2006
IEEE
14 years 2 months ago
2006
IEEE
— Most biomedical research databases contain considerable amounts of time-oriented data. However, temporal knowledge about the contextual meaning of such data is not usually repr...
POPL
1999
ACM
14 years 1 months ago
1999
ACM
A promising technique for protecting privacy and integrity of sensitive data is to statically check information flow within programs that manipulate the data. While previous work...
IJAMC
2010
13 years 7 months ago
2010
—In this paper, we discuss interaction interoperability in Collaborative Virtual Environments (CVE), intended to mean the ability of two or more users to cooperate despite the he...
OOPSLA
2010
Springer
13 years 7 months ago
2010
Springer
We propose a new way to raise the level of discourse in the programming process: permit ambiguity, but manage it by linking it to unambiguous examples. This allows programming env...