717 search results - page 82 / 144 » Applicability of HCI research to e government applications |
HCW
1998
IEEE
15 years 4 months ago
1998
IEEE
The Globus project is a multi-institutional research e ort that seeks to enable the construction of computational grids providing pervasive, dependable, and consistent access to h...
190
click to vote
GIS
2009
ACM
16 years 27 days ago
2009
ACM
The spatio-textual spreadsheet is a conventional spreadsheet where spatial attribute values are specified textually. Techniques are presented to automatically find the textually-s...
ICCAD
2003
IEEE
2003
IEEE
Multi.Objective Hypergraph Partitioning Algorithms for Cut and Maximum Subdomain Degree Minimization
15 years 8 months ago
In this paper we present a family of multi-objective hypergraph partitioning algorithms based on the multilevel paradigm, which are capable of producing solutions in which both th...
ICCD
1995
IEEE
15 years 3 months ago
1995
IEEE
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...
CCS
2008
ACM
15 years 1 months ago
2008
ACM
This paper examines a new building block for next-generation networks: SNAPP, or Stateless Network-Authenticated Path Pinning. SNAPP-enabled routers securely embed their routing d...