7452 search results - page 367 / 1491 » A Semantics for Multiprocessor Systems |
237
click to vote
TGC
2010
Springer
15 years 4 months ago
2010
Springer
We propose a formal semantics for distributed transactions inspired by the attribute mechanisms of the Java Transaction API. Technically, we model services in a process calculus fe...
184
click to vote
ICMCS
2009
IEEE
15 years 4 months ago
2009
IEEE
Large collaborative datasets offer the challenging opportunity of creating systems capable of extracting knowledge in the presence of noisy data. In this work we explore the abili...
203
click to vote
SEMWEB
2011
Springer
14 years 9 months ago
2011
Springer
Abstract. An explosion in the use of RDF for representing information about resources has driven the requirements for Webscale server systems that can store and process huge quanti...
183
click to vote
SIGMOD
2004
ACM
16 years 7 months ago
2004
ACM
Today, the travel information services are dominantly provided by Global Distribution Systems (GDS). The Global Distribution Systems provide access to real time availability and p...
159
click to vote
WEBI
2009
Springer
16 years 1 months ago
2009
Springer
The World Wide Web (WWW) has provided us with a plethora of information. However, given its unstructured format, this information is useful mainly to humans and cannot be effectiv...