3891 search results - page 691 / 779 » A logic for strategic reasoning |
118
click to vote
SIGSOFT
2007
ACM
16 years 19 days ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
124
click to vote
SIGSOFT
2007
ACM
16 years 19 days ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
188
Voted
ICDT
2009
ACM
16 years 18 days ago
2009
ACM
Schema mappings are declarative specifications that describe the relationship between two database schemas. In recent years, there has been an extensive study of schema mappings a...
120
click to vote
VLSID
2006
IEEE
16 years 8 days ago
2006
IEEE
With device size shrinking and fast rising frequency ranges, effect of cosmic radiations and alpha particles known as Single-Event-Upset (SEU), Single-Eventtransients (SET), is a ...
184
click to vote
POPL
2005
ACM
16 years 6 days ago
2005
ACM
Several formal languages have been proposed to encode privacy policies, ranging from the Platform for Privacy Preferences (P3P), intended for communicating privacy policies to con...