1536 search results - page 203 / 308 » The Underlying Logic of Hoare Logic |
194
click to vote
FOIKS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We extend the open answer set semantics for programs with generalized literals. Such extended programs (EPs) have interesting properties, e.g. the ability to express infi...
173
click to vote
EDO
2000
Springer
15 years 10 months ago
2000
Springer
Developing a distributed application is hard due to the complexity inherent to distributed communication. Moreover, distributed object communication technology is always changing,...
145
click to vote
COMPCON
1995
IEEE
15 years 10 months ago
1995
IEEE
The Real-Time Environmental Information Network and Analysis System (REINAS) is a distributed system supporting the conduct of regional environmental science research at the desk ...
178
click to vote
DAC
1995
ACM
15 years 10 months ago
1995
ACM
- Power estimation in combinational modules is addressed from a probabilistic point of view. The zero-delay hypothesis is considered and under highly correlated input streams, the ...
158
click to vote
WCRE
1995
IEEE
15 years 10 months ago
1995
IEEE
Several processes have been advanced in the literature for reverse engineering of relational databases. The inputs to these processes are relational tables and available contextua...