Fundamenta Informaticae - Tom Vol. 95, nr 1 (2009) - BazTech - Yadda

Tom - szczegóły

Tytuł artykułu

Vol. 95, nr 1

Czasopismo

Fundamenta Informaticae

Wydawca

IOS Press

Rocznik

2009

Identyfikatory

Zawartość wolumenu

Vol. 95, nr 1
- artykuł: Avoiding Irreducible CSC Conflicts by Internal Communication (Wist D., Wollowski R., Schaefer M., Vogler W.), s. 1-29
- artykuł: Application of Concurrency in the Asynchronous Design of Write-after-read Operations (Toosizade N., Zaky S.G.), s. 31-52
- artykuł: A Token-Managed Admission Control System for QoS Provision on a Best-Effort GALS Interconnect (Yang S., Furber S.B., Shi Y., Plana L.A.), s. 53-72
- artykuł: Dynamic Error Handling in Service Oriented Applications (Guidi C., Lanese I., Montesi F., Zavattaro G.), s. 73-102
- artykuł: QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata (Sun M., Arbab F.), s. 103-128
- artykuł: Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains (Hahn E.M., Hermanns H., Wachter B., Zhang L.), s. 129-155
- artykuł: Performance Evaluation of Distributed Systems Based on a Discrete Real- and Stochastic-Time Process Algebra (Markovski J., Vink E.P. de), s. 157-186
- artykuł: Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages (Bergenthum R., Desel J., Mauser S., Lorenz R.), s. 187-217
- artykuł: Modular Construction of Finite and Complete Prefixes of Petri net Unfoldings (Madalinski A., Fabre E.), s. 219-244

rozwiń roczniki

JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.