Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, and Marielle...  Home/Search
Context Related
| berkeley.edu/~tah/...urce_interfaces.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: berkeley.edu/~t...urce_interfaces (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a formalism for specifying component interfaces that expose component requirements on limited resources. The formalism permits an algorithmic check if two or more components, when put together, exceed the available resources. Moreover, the formalism can be used to compute the quantity of resources necessary for satisfying the requirements of a collection of components. The formalism can be instantiated in several ways. For example, several components may draw power from the... (Update)
Cited by: More
Games in System Design and Verification - Thomas Henzinger Epfl (Correct)
An Interface Formalism for Web Services - Beyer, Chakrabarti, Henzinger (2005) (Correct)
Interfaces: A Game-Theoretic Framework for Reasoning about . . . - de Alfaro, al. (Correct)
Active bibliography (related documents): More All
1.1: Resource Interfaces - Arindam Chakrabarti Luca (2003) (Correct)
0.5: PARS: A Process Algebra with - Resources And Schedulers (Correct)
0.2: The Complexity of Mean Payo Games - Uri Zwick And (Correct)
Similar documents based on text: More All
0.4: Synchronous and Bidirectional Component Interfaces - Chakrabarti, de Alfaro.. (2002) (Correct)
0.4: Detecting Errors Before Reaching Them - de Alfaro, Henzinger, Mang (2000) (Correct)
0.4: Timed Interfaces - de Alfaro, Henzinger, Stoelinga (2002) (Correct)
Related documents from co-citation: More All
3: Interface automata - de Alfaro, Henzinger - 2001
2: Game models for open systems (context) - de Alfaro - 2003
2: Timed interfaces - de Alfaro, Henzinger et al. - 2002
BibTeX entry: (Update)
A. Chakrabarti, L. de Alfaro, T.A. Henzinger, and M.I.A. Stoelinga. Resource interfaces. In Proceedings of the Third International Workshop on Embedded Software (EMSOFT 2003), Lect. Notes in Comp. Sci. Springer-Verlag, 2003. http://citeseer.ist.psu.edu/chakrabarti03resource.html More
@misc{ chakrabarti03resource,
author = "A. Chakrabarti and L. de Alfaro and T. Henzinger and M. Stoelinga",
title = "Resource interfaces",
text = "A. Chakrabarti, L. de Alfaro, T.A. Henzinger, and M.I.A. Stoelinga. Resource
interfaces. In Proceedings of the Third International Workshop on Embedded
Software (EMSOFT 2003), Lect. Notes in Comp. Sci. Springer-Verlag, 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/chakrabarti03resource.html" }
Citations (may not include all citations):69 Competitive Markov Decision Processes (context) - Filar, Vrieze - 1997
38 Interface automata - de Alfaro, Henzinger - 2001
27 Typed memory management via static capabilities - Walker, Crary et al. - 2000
27 Interface theories for component-based design - de Alfaro, Henzinger - 2001
23 Energy-aware routing for low-energy ad-hoc sensor networks - Shah, Rabaey - 2002
15 on and C.S. Jutla. Tree automata, -calculus, and determinacy (context) - Emers - 1991
15 Design methodology for pico-radio networks - Silva, Shamberger et al. - 2001
7 resource access in the asynchronous #-calculus (context) - Hennessy, Riely et al. - 2000
5 Positional strategies for mean-payo# games (context) - Ehrenfeucht, Mychielski - 1979
2 Process-algebraic modeling and analysis of power-aware real-.. (context) - Lee, Philippou et al. - 2002
2 Pamr: a process algebra for the management of resources in c.. - Nunez, Rodrgez - 2001
www.eecs.berkeley.edu/#tah/Chic
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC