SCOPUS 정보 검색 플랫폼

Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems

Volumn , Issue , 2002, Pages 97-108

Distributed computation of Web queries using automata

(3) Spielmann, Marc a Tyszkiewicz, Jerzy a Van Den Bussche, Jan a

a UNIVERSITY OF WARSAW (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; COMPUTATIONAL COMPLEXITY; COMPUTER NETWORKS; COMPUTER SIMULATION; MATHEMATICAL MODELS; NETWORK PROTOCOLS; QUERY LANGUAGES; RESPONSE TIME (COMPUTER SYSTEMS); TELECOMMUNICATION LINKS; WEB BROWSERS; WORLD WIDE WEB;

DISTRIBUTED COMPUTATION MODEL; WEB AUTOMATA; WEB QUERIES;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 0036038689 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: 10.1145/543621.543626 Document Type: Conference Paper

Times cited : (7)

References (18)

1
- 0032627853
- Regular path queries with constraints
- (1999) Journal of Computer and System Sciences , vol.58 , Issue.3 , pp. 482-452
- Abiteboul, S.¹ Vianu, V.²

2
- 0000106442
- Queries and computation on the web
- (2000) Theoretical Computer Science , vol.239 , Issue.2 , pp. 231-255
- Abiteboul, S.¹ Vianu, V.²

3
- 0003816407
- McGraw-Hill
- (1998) Distributed Computing: Fundamentals, Simulations and Advanced Topics
- Attiya, H.¹ Welch, J.²

4
- 0004231561
- Springer-Verlag
- (1995) Finite Model Theory
- Ebbinghaus, H.¹ Flum, J.²

5
- 0343421094
- Database techniques for the World-Wide Web: A survey
- (1998) SIGMOD Record , vol.27 , Issue.3 , pp. 59-74
- Florescu, D.¹ Levy, A.² Mendelzon, A.³

6
- 0002311687
- Internet computing and the emerging grid
- Dec.
- (2000) Nature
- Foster, I.¹

7
- 0003982659
- Morgan-Kaufmann
- (1998) The Grid: Blueprint for a New Computing Infrastructure
- Foster, I.¹ Kesselman, C.²

8
- 0033898656
- Distributed query processing on the Web
- IEEE Computer Society
- (2000) Proceedings of 16th International Conference on Data Engineering , pp. 84
- Gupta, N.¹ Haritsa, J.² Ramanath, M.³

9
- 0002017107
- Evolving algebras 1993: Lipari guide
- In E. Börger, editor; Oxford University Press
- (1995) Specification and Validation Methods , pp. 9-36
- Gurevich, Y.¹

10
- 0023400985
- Languages that capture complexity classes
- (1987) SIAM Journal of Computing , vol.16 , Issue.4 , pp. 760-778
- Immerman, N.¹

11
- 0028542586
- Finite-memory automata
- (1994) Theoretical Computer Science , vol.134 , Issue.2 , pp. 329-363
- Kaminski, M.¹ Francez, N.²

12
- 0003243695
- SETI@HOME - Massively distributed computing for SETI
- (2001) Computing in Science and Engineering , vol.3 , Issue.1 , pp. 78-83
- Korpela, E.¹ Werthimer, D.² Anderson, D.³ Cobb, J.⁴ Lebofsky, M.⁵

13
- 0032319279
- Formal models of web queries
- (1998) Information Systems , vol.23 , Issue.8 , pp. 615-637
- Mendelzon, A.¹ Milo, T.²

14
- 84974693396
- Towards regular languages over infinite alphabets
- Springer-Verlag
- (2001) Proceedings of 26th International Symposium on Mathematical Foundations of Computer Science (MFCS 2001), Volume 2136 of Lecture Notes in Computer Science , pp. 560-572
- Neven, F.¹ Schwentick, T.² Vianu, V.³

15
- 0005369959
- DIASPORA: A highly distributed web-query processing system
- (2000) World Wide Web , vol.3 , Issue.2 , pp. 111-124
- Ramanath, M.¹ Haritsa, J.²

16
- 35248884581
- Using agents for concurrent querying of web-like databases via a hyper-set-theoretic approach
- Springer-Verlag
- (2001) Proceedings of 4th International Conference on Perspectives of System Informatics (PSI 2001) Volume 2244 of Lecture Notes in Computer Science , pp. 378-394
- Sazonov, V.¹

17
- 0005311244
- PhD thesis, RWTH Aachen
- (2000) Abstract State Machines: Verification Problems and Complexity
- Spielmann, M.¹

18
- 0004141908
- Prentice-Hall. 3rd edition
- (1996) Computer Networks
- Tanenbaum, A.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.