145 search results - page 14 / 29 » Symbolic Execution with Separation Logic |
144
Voted
USS
2010
14 years 10 months ago
2010
Web applications are the most common way to make services and data available on the Internet. Unfortunately, with the increase in the number and complexity of these applications, ...
97
Voted
CORR
2008
Springer
15 years 17 days ago
2008
Springer
Multi-relational networks are used extensively to structure knowledge. Perhaps the most popular instance, due to the widespread adoption of the Semantic Web, is the Resource Descr...
126
Voted
EUSAI
2007
Springer
15 years 2 months ago
2007
Springer
Developing applications for smart spaces is a challenging task. Most programming systems narrowly focus on the embedded computer infrastructure and neglect the spatial aspect of th...
191
Voted
VLDB
2001
ACM
16 years 21 days ago
2001
ACM
The problem of answering queries using views is to find efficient methods of answering a query using a set of previously materialized views over the database, rather than accessin...
109
Voted
JUCS
2006
15 years 13 days ago
2006
Abstract: Multi-adjoint logic programming represents a very recent, extremely flexible attempt for introducing fuzzy logic into logic programming. In this setting, the execution of...