Sciweavers

14850 search results - page 191 / 2970
» A Geometric Approach to Betweenness
Sort
View
CHI
2007
ACM
16 years 3 months ago
The relationship between accessibility and usability of websites
Accessibility and usability are well established concepts for user interfaces and websites. Usability is precisely defined, but there are different approaches to accessibility. In...
Helen Petrie, Omar Kheir
106
Voted
CAV
2003
Springer
166views Hardware» more  CAV 2003»
15 years 8 months ago
Bridging the Gap between Fair Simulation and Trace Inclusion
The paper considers the problem of checking abstraction between two finite-state fair discrete systems (FDS). In automata-theoretic terms this is trace inclusion between two nond...
Yonit Kesten, Nir Piterman, Amir Pnueli
ESWS
2008
Springer
15 years 5 months ago
XSPARQL: Traveling between the XML and RDF Worlds - and Avoiding the XSLT Pilgrimage
With currently available tools and languages, translating between an existing XML format and RDF is a tedious and error-prone task. The importance of this problem is acknowledged b...
Waseem Akhtar, Jacek Kopecký, Thomas Krennw...
102
Voted
CN
2002
91views more  CN 2002»
15 years 3 months ago
Mapping of performance metrics between IP and ATM
End-to-end QoS requires mapping of QoS between heterogeneous subnetworks of the end-to-end path. For this mapping to be accurate, we argue, in this paper, that it should be based ...
Tijani Chahed, Gérard Hébuterne, Guy...
128
Voted
CORR
2010
Springer
107views Education» more  CORR 2010»
15 years 2 months ago
Maximum Betweenness Centrality: Approximability and Tractable Cases
The Maximum Betweenness Centrality problem (MBC) can be defined as follows. Given a graph find a k-element node set C that maximizes the probability of detecting communication be...
Martin Fink, Joachim Spoerhase