7988 search results - page 217 / 1598 » A Useful Undecidable Theory |
88
Voted
SOCA
2007
IEEE
15 years 7 months ago
2007
IEEE
Business Artifacts are the core entities used by businesses to record information pertinent to their operations. Business operational models are representations of the processing ...
88
Voted
ICDT
2007
ACM
15 years 6 months ago
2007
ACM
Abstract. We define and study formal privacy guarantees for information integration systems, where sources are related to a public schema by mappings given by source-to-target dep...
117
click to vote
ILC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We aim at checking safety and temporal properties over models representing the behavior of programs manipulating dynamic singly-linked lists. The properties we consider n...
104
Voted
SEFM
2005
IEEE
15 years 6 months ago
2005
IEEE
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...
114
click to vote
FSTTCS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Message sequence charts (MSCs) are commonly used to specify interactions between agents in communicating systems. Their visual nature makes them attractive for describing...