1536 search results - page 126 / 308 » The Underlying Logic of Hoare Logic |
234
click to vote
TELETRAFFIC
2007
Springer
16 years 13 days ago
2007
Springer
Broadband satellite-based IP networks have been considered as the technology to enable a strong and promising next-generation market. In satellite communication systems, the channe...
168
click to vote
ECSQARU
2005
Springer
15 years 12 months ago
2005
Springer
Conditional deduction in binary logic basically consists of deriving new statements from an existing set of statements and conditional rules. Modus Ponens, which is the classical e...
162
click to vote
AUIC
2000
IEEE
15 years 10 months ago
2000
IEEE
Electronic Blocks are a new programming interface, designed for children aged between three and eight years. The Electronic Blocks programming environment includes sensor blocks, ...
152
click to vote
MANSCI
2010
15 years 1 months ago
2010
We study a capacity sizing problem in a service system that is modeled as a single-class queue with multiple servers and where customers may renege while waiting for service. A sa...
210
click to vote
AGP
2003
IEEE
15 years 11 months ago
2003
IEEE
Constraint Logic Programming (CLP) and Abductive Logic Programming (ALP) share the important concept of conditional answer. We exploit their deep similarities to implement an effic...