1355 search results - page 261 / 271 » Techniques for Formal Verification of Digital Systems: A Sys... |
MTA
2008
13 years 9 months ago
2008
Recent developments in techniques for modeling, digitizing and visualizing 3D shapes has led to an explosion in the number of available 3D models on the Internet and in domain-spe...
SIGMOD
2012
ACM
11 years 11 months ago
2012
ACM
Linked Data (LD) provides principles for publishing data that underpin the development of an emerging web of data. LD follows the web in providing low barriers to entry: publisher...
SIGMOD
2010
ACM
13 years 7 months ago
2010
ACM
One useful feature that is missing from today’s database systems is an explain capability that enables users to seek clarifications on unexpected query results. There are two t...
WWW
2005
ACM
14 years 9 months ago
2005
ACM
The demand for quickly delivering new applications is increasingly becoming a business imperative today. Application development is often done in an ad hoc manner, without standar...
SP
2010
IEEE
14 years 26 days ago
2010
IEEE
Abstract—Belief and vulnerability have been proposed recently to quantify information flow in security systems. Both concepts stand as alternatives to the traditional approaches...