SCOPUS 정보 검색 플랫폼

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1382, Issue , 1998, Pages 270-284

Distributed safety controllers for web services

(2) Sandholm, Anders a Schwartzbach, Michael I a

a AARHUS UNIVERSITY (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

EXPLOSIONS; SOFTWARE ENGINEERING; WEBSITES;

FINITE STRINGS; FLOW CAPACITY; HIGH-LEVEL SYNCHRONIZATIONS; INTERACTIVE WEB SERVICES; MONADIC SECOND-ORDER LOGIC; RUNTIME MODELS; SAFETY CONTROLLER; STATE-SPACE EXPLOSION;

WEB SERVICES;

EID: 22044452049 PISSN: 03029743 EISSN: 16113349 Source Type: Book Series
DOI: 10.1007/bfb0053596 Document Type: Conference Paper

Times cited : (17)

References (11)

1
- 0022769976
- Graph-based algorithms for boolean function manipulation
- August
- R. E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers, C-35(8): 677-691, August 1986.
- (1986) IEEE Transactions on Computers , vol.C-35 , Issue.8 , pp. 677-691
- Bryant, R.E.¹

2
- 0343856305
- April
- K. Cox, T. Bail, and J. C. Ramming. Lunchbot: A tale of two ways to program web services. Available from http://www. cs. utexas. edu/users/cpg/mawl/doc/lunchbot. ps. gz, April 1996.
- (1996) Lunchbot: A tale of two ways to program web services
- Cox, K.¹ Bail, T.² Ramming, J.C.³

3
- 84957082184
- Brian J. Fox. Meta-html: A dynamic programming language for www applications. http://www. metahtml. com/documentation/manifesto. html.
- Meta-html: A dynamic programming language for www applications
- Fox, B.J.¹

4
- 84957808228
- Mona: Monadic second-order logic in practice
- J. G. Henriksen, J. Jensen, M. Jørgensen, N. Klarlund, B. Paige, T. Rauhe, and A. Sandholm. Mona: Monadic second-order logic in practice. In Tools and Algorithms for the Construction and Analysis of Systems, First International Workshop, TACAS '95, LNCS 1019, 1996.
- (1996) Tools and Algorithms for the Construction and Analysis of Systems, First International Workshop, TACAS '95, LNCS 1019
- Henriksen, J.G.¹ Jensen, J.² Jørgensen, M.³ Klarlund, N.⁴ Paige, B.⁵ Rauhe, T.⁶ Sandholm, A.⁷

5
- 84957068106
- WebSite
- The document is the application. WebSite. http://www. htmlscript. com/.
- The document is the application

6
- 0343420516
- Programming the web: An application-oriented language for hypermedia services
- D. A. Ladd and J. C. Ramming. Programming the web: An application-oriented language for hypermedia services. In 4th Intl. World Wide Web Conference, 1995.
- (1995) 4th Intl. World Wide Web Conference
- Ladd, D.A.¹ Ramming, J.C.²

7
- 0003581143
- Kluver Academic Publishers
- K. L. McMillan. Symbolic Model Checking. Kluver Academic Publishers, 1993.
- (1993) Symbolic Model Checking
- McMillan, K.L.¹

8
- 84968501436
- Decidability of second-order theories and automata on infinite trees
- M. O. Rabin. Decidability of second-order theories and automata on infinite trees. Trans. Amer. Math. Soc., 141: 1-35, 1969.
- (1969) Trans. Amer. Math. Soc , vol.141 , pp. 1-35
- Rabin, M.O.¹

9
- 0024479313
- The control of discrete event systems
- January
- Peter J. G. Ramadge and W. Murray Wonham. The control of discrete event systems. Proceedings of the IEEE, 77(1): 81-98, January 1989.
- (1989) Proceedings of the IEEE , vol.77 , Issue.1 , pp. 81-98
- Peter, J.¹ Ramadge, G.² Murray Wonham, W.³

10
- 0003810404
- Technical Report TCS-95-4, School of Mathematics, SPIC Science Foundation
- P. S. Thiagarajan. PTL over product state spaces. Technical Report TCS-95-4, School of Mathematics, SPIC Science Foundation, 1995.
- (1995) PTL over product state spaces
- Thiagarajan, P.S.¹

11
- 0004024352
- chapter Asynchronous Automata,. World Scientific Publishing
- W. Zielonka. The Book of Traces, chapter Asynchronous Automata, pages 205-248. World Scientific Publishing, 1995.
- (1995) The Book of Traces , pp. 205-248
- Zielonka, W.¹

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