1536 search results - page 236 / 308 » The Underlying Logic of Hoare Logic |
199
click to vote
EUROPAR
2009
Springer
16 years 22 days ago
2009
Springer
Massively Multiplayer Online Games (MMOGs) currently entertain millions of players daily. To keep these players online and generate revenue, MMOGs are currently relying on manually...
157
click to vote
RR
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. The Semantic Web is commonly perceived as a web of partially interlinked machine readable data. This data is inherently distributed and resembles the structure of the web...
164
click to vote
RTA
2009
Springer
16 years 22 days ago
2009
Springer
Reasoning about the knowledge of an attacker is a necessary step in many formal analyses of security protocols. In the framework of the applied pi calculus, as in similar languages...
152
click to vote
SEMWEB
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. Internet business-to-business transactions present great challenges in merging information from different sources. In this paper we describe a project to integrate four ...
189
click to vote
EDBTW
2010
Springer
16 years 20 days ago
2010
Springer
There has been lately an increased activity of publishing structured data in RDF due to the activity of the Linked Data community1 . The presence on the Web of such a huge informa...