260 search results - page 48 / 52 » A Semantics for Concurrent Separation Logic |
WECWIS
2009
IEEE
14 years 3 months ago
2009
IEEE
—People, companies, and public authorities can now have a strong on-line presence and a huge amount of interactions on the Internet, made possible by the impressive growth of the...
VLDB
2007
ACM
14 years 2 months ago
2007
ACM
GridVine is a Peer Data Management System based on a decentralized access structure. Built following the principle of data independence, it separates a logical layer – where dat...
SEMWEB
2009
Springer
14 years 29 days ago
2009
Springer
Scalable query answering over Description Logic (DL) based ontologies plays an important role for the success of the Semantic Web. Towards tackling the scalability problem, we prop...
ICAIL
2011
ACM
12 years 8 months ago
2011
ACM
A formal two-phase model of democratic policy deliberation is presented, in which in the first phase sufficient and necessary criteria for proposals to be accepted are determine...
ECAI
2000
Springer
14 years 23 days ago
2000
Springer
Several high-level programming languages for programming agents and robots have been proposed in recent years. Each of these languages has its own features and merits. It is still...