1536 search results - page 192 / 308 » The Underlying Logic of Hoare Logic |
128
click to vote
FUZZIEEE
2007
IEEE
16 years 22 days ago
2007
IEEE
— The inferencing stage of a type-2 fuzzy inferencing system is driven by join and meet operations. As conventionally implemented these algorithms are computationally complex. Th...
143
click to vote
FUZZIEEE
2007
IEEE
16 years 22 days ago
2007
IEEE
—This paper describes a Java-based graphical user interface to a large number of data analysis programs the first author has written in C over the years. In addition, this toolb...
170
click to vote
ICC
2007
IEEE
16 years 22 days ago
2007
IEEE
—Usage control goes beyond traditional access control, addressing its limitations related to attribute mutability and continuous usage permission validation. The recently propose...
165
click to vote
ISQED
2007
IEEE
16 years 21 days ago
2007
IEEE
Parameter variation in integrated circuits causes sections of a chip to be slower than others. To prevent any resulting timing errors, designers have traditionally designed for th...
158
click to vote
CSL
2007
Springer
16 years 17 days ago
2007
Springer
A game semantics of the (−−∗, →)-fragment of the logic of bunched implications, BI, is presented. To date, categorical models of BI have been restricted to two kinds: funct...