Report
Static Enforcement of Service Deadlines
| Τίτλος: | Static Enforcement of Service Deadlines |
|---|---|
| Συγγραφείς: | Bartoletti, Massimo, Zunino, Roberto |
| Έτος έκδοσης: | 2010 |
| Συλλογή: | University of Trento: unitn.it eprints |
| Θεματικοί όροι: | QA076.7 Programming Languages - Semantics |
| Περιγραφή: | We consider the problem of statically deciding when a service always provides its functionality within a given amount of time. In a timed pi-calculus, we propose a two-phases static analysis guaranteeing that processes enjoy both the maximal progress and the well-timedness properties. Exploiting this analysis, we devise a decision procedure for checking service deadlines. |
| Τύπος εγγράφου: | report |
| Περιγραφή αρχείου: | application/pdf |
| Γλώσσα: | unknown |
| Relation: | http://eprints.biblio.unitn.it/1818/1/serviceDeadlinesTR.pdf; Bartoletti, Massimo and Zunino, Roberto (2010) Static Enforcement of Service Deadlines. UNSPECIFIED. |
| Διαθεσιμότητα: | http://eprints.biblio.unitn.it/1818/ http://eprints.biblio.unitn.it/1818/1/serviceDeadlinesTR.pdf |
| Αριθμός Καταχώρησης: | edsbas.4184FB8C |
| Βάση Δεδομένων: | BASE |
καταχωρήστε σχόλιο πρώτοι!