Resource interfaces

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

Volumn 2855, Issue , 2003, Pages 117-133

  Chakrabarti, Arindam ^a   De Alfaro, Luca ^b   Henzinger, Thomas A ^a   Stoelinga, Mariëlle ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b Santa Cruz   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTERS;

COMPONENT INTERFACES; INFINITE PATH; INITIAL ENERGY; MODEL INTERFACE; QUANTITATIVE OBJECTIVES; RESOURCE REQUIREMENTS; ROBOT CONTROL SOFTWARE; TWO-COMPONENT;

WIRELESS SENSOR NETWORKS;

EID: 0142156704     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45212-6_9     Document Type: Article

References (12)

1. J.L. da Silva Jr., J. Shamberger, M.J. Ammer, C. Guo, S. Li, R. Shah, T. Tuan, M. Sheets, J.M. Rabaey, B. Nikolic, A. Sangiovanni-Vincentelli, and P. Wright. Design methodology for pico-radio networks. In Proc. Design Automation and Test in Europe, pp. 314-323. IEEE, 2001.
2. L. de Alfaro and T.A. Henzinger. Interface automata. In Proc. Foundations of Software Engineering, pp. 109-120. ACM, 2001.
3. L. de Alfaro and T.A. Henzinger. Interface theories for component-based design. In Embedded Software, LNCS 2211, pp. 148-165. Springer, 2001.
4. A. Ehrenfeucht and J. Mychielski. Positional strategies for mean-payoff games. Int. J. Game Theory, 8:109-113, 1979.
5. E.A. Emerson and C.S. Jutla. Tree automata, μ-calculus, and determinacy. In Proc. Foundations of Computer Science, pp. 368-377. IEEE, 1991.
6. J. Filar and K. Vrieze. Competitive Markov Decision Processes. Springer, 1997.
7. M. Hennessy and J. Riely. Information flow vs. resource access in the asynchronous π-calculus. In Proc. Automata, Languages, and Programming, LNCS 1853, pp. 415-127. Springer, 2000.
8. I. Lee, A. Philippou, and O. Sokolsky. Process-algebraic modeling and analysis of power-aware real-time systems. Computing and Control Engineering J., 13:180-188, 2002.
9. M. Núñez and I. Rodrĩgez. PAMR: a process algebra for the management of resources in concurrent systems. In Proc. Formal Techniques for Networked and Distributed Systems, pp. 169-184. Kluwer, 2001.
10. R. Shah and J.M. Rabaey. Energy-aware routing for low-energy ad-hoc sensor networks. In Proc. Wireless Communications and Networking Conference, pp. 812-817. IEEE, 2002.
11. D. Walker, K. Crary, and G. Morrisett. Typed memory management via static capabilities. ACM Trans. Programming Languages and Systems, 22:701-771, 2000.
12. CHIC: Checker for Interface Compatibility. www.eecs.berkeley.edu/~tah/Chic.