11436 search results - page 117 / 2288 » Modeling Real Reasoning |
93
Voted
WSC
1998
15 years 2 months ago
1998
A method to represent actual relational databases with arrays for simulation modeling of their performance as part of a software/hardware system has been created. The method inclu...
104
Voted
ER
2007
Springer
15 years 7 months ago
2007
Springer
The goal of this article is to formalize Object Role Modeling (ORM) using the DLR description logic. This would enable automated reasoning on the formal properties of ORM diagrams,...
152
Voted
JELIA
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. A new logic is proposed for reasoning about quantum systems. The logic embodies the postulates of quantum physics and it was designed from the semantics upwards by identi...
149
click to vote
SIGSOFT
2006
ACM
15 years 7 months ago
2006
ACM
Bitwise operations are commonly used in low-level systems code to access multiple data fields that have been packed into a single word. Program analysis tools that reason about s...
202
click to vote
POPL
2007
ACM
16 years 1 months ago
2007
ACM
We present a formal model of memory that both captures the lowlevel features of C's pointers and memory, and that forms the basis for an expressive implementation of separati...