1636 search results - page 266 / 328 » Reasoning About Quantum Systems |
178
Voted
DOCENG
2004
ACM
16 years 5 days ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
147
click to vote
NSPW
2004
ACM
16 years 5 days ago
2004
ACM
We argue in favor of the explicit inclusion of suspicion as a concrete concept to be used in the analysis of audit data in order to guide the search for evidence of misuse. Our ap...
172
click to vote
DFG
2004
Springer
16 years 4 days ago
2004
Springer
Programmable Logic Controllers (PLC) are widely used as device controllers for assembly lines, chemical processes, or power plants. Sequential Function Charts (SFC) form one of the...
174
click to vote
ECOOP
2004
Springer
16 years 4 days ago
2004
Springer
Today’s mainstream object-oriented compilers and tools do not support declaring and statically checking simple pre- and postconditions on methods and invariants on object represe...
179
Voted
NLDB
2004
Springer
16 years 3 days ago
2004
Springer
Human interaction occurs always in a specific context and in a particular environment, and a common knowledge base about them is essential for understanding each other. By immersi...