Sciweavers

2061 search results - page 231 / 413
» Authorization for Metacomputing Applications
Sort
View
SAC
2010
ACM
15 years 3 months ago
XTemplate 3.0: adding semantics to hypermedia compositions and providing document structure reuse
Hypermedia composite templates define generic structures of nodes and links that can be reused in different document compositions. The XTemplate language is an XML-based solutio...
Joel André Ferreira dos Santos, Débo...
CIDR
2007
116views Algorithms» more  CIDR 2007»
15 years 6 months ago
Life beyond Distributed Transactions: an Apostate's Opinion
Many decades of work have been invested in the area of distributed transactions including protocols such as 2PC, Paxos, and various approaches to quorum. These protocols provide t...
Pat Helland
165
Voted
IJCAI
2003
15 years 6 months ago
Automated Reasoning: Past Story and New Trends
We overview the development of first-order automated reasoning systems starting from their early years. Based on the analysis of current and potential applications of such systems...
Andrei Voronkov
ICSE
2008
IEEE-ACM
16 years 5 months ago
Testing pervasive software in the presence of context inconsistency resolution services
Pervasive computing software adapts its behavior according to the changing contexts. Nevertheless, contexts are often noisy. Context inconsistency resolution provides a cleaner pe...
Heng Lu, W. K. Chan, T. H. Tse
SC
2009
ACM
15 years 11 months ago
Evaluating use of data flow systems for large graph analysis
Large graph analysis has become increasingly important and is widely used in many applications such as web mining, social network analysis, biology, and information retrieval. The...
Andy Yoo, Ian Kaplan