1536 search results - page 266 / 308 » The Underlying Logic of Hoare Logic |
152
click to vote
IJCIM
2002
15 years 5 months ago
2002
This paper presents a new distributed real-time control architecture for flexibly automated production systems. The modelling assumptions underlying the design en by, and abstract,...
135
click to vote
CORR
1998
Springer
15 years 5 months ago
1998
Springer
Building upon the known generalized-quantifier-based first-order characterization of LOGCFL, we lay the groundwork for a deeper investigation. Specifically, we examine subclass...
180
click to vote
CN
1999
15 years 5 months ago
1999
ZUser mobility poses a significant technical challenge to network resource management in wireless ATM Asynchronous . Z .Transfer Mode networks. In order to guarantee quality of se...
186
click to vote
TCAD
1998
15 years 5 months ago
1998
—This paper addresses, from a probabilistic point of view, the issue of switching activity estimation in combinational circuits under the zero-delay model. As the main theoretica...
129
click to vote
TCS
2002
15 years 5 months ago
2002
Although the usual goal of sharing analysis is to detect which pairs of variables share, the standard choice for sharing analysis is a domain that characterizes set-sharing. In th...