2116 search results - page 232 / 424 » Resource Analysis by Sup-interpretation |
123
click to vote
IEEEARES
2007
IEEE
15 years 10 months ago
2007
IEEE
Whether a particular computing installation meets its security goals depends on whether the administrators can create a policy that expresses these goals—security in practice re...
134
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper proposes a novel architecture supporting dynamic load balancing on an FPGA for a Molecular Dynamics algorithm. Load balancing is primarily achieved through the use of s...
135
click to vote
ISCC
2007
IEEE
15 years 10 months ago
2007
IEEE
Terminal mobility may be handled at different layers. Though the MIPv6 protocol is the strongest candidate for handling mobility in next generation networks, mobility management f...
139
click to vote
CLEF
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The general photographic ad-hoc retrieval task of the ImageCLEF 2007 evaluation campaign is described. This task provides both the resources and the framework necessary t...
133
click to vote
CSL
2007
Springer
15 years 10 months 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...