Sciweavers

7352 search results - page 1269 / 1471
» Universal access to information
Sort
View
CAV
2007
Springer
111views Hardware» more  CAV 2007»
15 years 10 months ago
Verification Across Intellectual Property Boundaries
In many industries, the share of software components provided by third-party suppliers is steadily increasing. As the suppliers seek to secure their intellectual property (IP) righ...
Sagar Chaki, Christian Schallhart, Helmut Veith
CONTEXT
2007
Springer
15 years 10 months ago
Representing Context in Web Search with Ontological User Profiles
Abstract. One of the key factors for effective personalization of information access is the user context. We propose a framework which integrates several critical elements that mak...
Ahu Sieg, Bamshad Mobasher, Robin D. Burke
CAV
2010
Springer
161views Hardware» more  CAV 2010»
15 years 10 months ago
Directed Proof Generation for Machine Code
We present the algorithms used in MCVETO (Machine-Code VErification TOol), a tool to check whether a stripped machinecode program satisfies a safety property. The verification p...
Aditya V. Thakur, Junghee Lim, Akash Lal, Amanda B...
WCNC
2010
IEEE
15 years 10 months ago
A Lightweight Distributed Solution to Content Replication in Mobile Networks
Abstract—Performance and reliability of content access in mobile networks is conditioned jointly by the number and location of content replicas deployed at the network nodes. The...
C.-A. La, Pietro Michiardi, Claudio Casetti, Carla...
WIKIS
2010
ACM
15 years 10 months ago
Deep hypertext with embedded revision control implemented in regular expressions
While text versioning was definitely a part of the original hypertext concept [21, 36, 44], it is rarely considered in this context today. Still, we know that revision control un...
Victor S. Grishchenko
« Prev « First page 1269 / 1471 Last » Next »