8228 search results - page 1335 / 1646 » Structural Logical Relations |
198
click to vote
WADT
2004
Springer
16 years 21 hour ago
2004
Springer
Higher-order logic with shallow type class polymorphism is widely used as a specification formalism. Its polymorphic entities (types, operators, axioms) can easily be equipped wit...
185
click to vote
CODES
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper describes a hardware-software co-design approach for flexible programmable Galois Field Processing for applications which require operations over GF(2m ), such as RS an...
154
click to vote
ICDCSW
2003
IEEE
15 years 12 months ago
2003
IEEE
— The rendering mechanism used in Web browsers have a significant impact on the user behavior and delay tolerance of retrieval. The head-of-line blocking phenomena prevents the ...
202
click to vote
AOSD
2003
ACM
15 years 12 months ago
2003
ACM
Middleware technologies such as Web Services, CORBA and DCOM have been very successful in solving distributed computing problems for a large family of application domains. As midd...
193
click to vote
PADS
2003
ACM
15 years 12 months ago
2003
ACM
Wireless networks’ models differ from wired ones at least in the innovative dynamic effects of host-mobility and open-broadcast nature of the wireless medium. Topology changes d...