1293 search results - page 145 / 259 » The infrastructure problem in HCI |
SEMWEB
2009
Springer
14 years 2 months ago
2009
Springer
To investigate the problem of entity recognition, we deal with the creation of the so-called Entity Name System (ENS) which is an open, public back-bone infrastructure for the (Sem...
NOMS
2008
IEEE
14 years 2 months ago
2008
IEEE
— To support large-scale Internet-based broadcast of live streaming video efficiently in content delivery networks (CDNs), it is essential to implement a cost-effective overlay ...
IEEEARES
2006
IEEE
14 years 2 months ago
2006
IEEE
Since the 9/11 terrorist attacks, the effective and efficient protection of critical information infrastructures has become an even more important issue. To enhance network surviv...
CAV
1998
Springer
14 years 13 days ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...
ECLIPSE
2007
ACM
14 years 4 days ago
2007
ACM
Software development involves the use of many models and Eclipse provides an ideal infrastructure for building tools to support the use of models. While there is a large selection...