2694 search results - page 281 / 539 » Frege's New Science |
159
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
Since its inception, the Internet has served as a virtual meeting place for people sharing common interests. These electronically supported interest groups are nowadays called Vir...
166
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
The main contribution of this work is to propose a novel call admission and handoff management scheme for LEO satellite networks. A key ingredient in our scheme is a companion pre...
164
click to vote
LICS
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, we develop a new substructural logic that can encode invariants necessary for reasoning about hierarchical storage. We show how the logic can be used to describe th...
167
click to vote
FPL
2003
Springer
15 years 12 months ago
2003
Springer
Although microarrays are already having a tremendous impact on biomedical science, they still present great computational challenges. We examine a particular problem involving the...
159
click to vote
HUMAN
2003
Springer
15 years 12 months ago
2003
Springer
Perfect protection against all system threats is considered to be impossible. The problem of monitoring against the threats has been an issue in literature, but its progress has no...