Fundamenta Informaticae - Tom Vol. 85, nr 1-4 (2008) - BazTech - Yadda

Tom - szczegóły

Tytuł artykułu

Vol. 85, nr 1-4

Czasopismo

Fundamenta Informaticae

Wydawca

IOS Press

Rocznik

2008

Identyfikatory

Zawartość wolumenu

Vol. 85, nr 1-4
- artykuł: Algorithmic Logic + SpecVer = The Methodology for High Integrity Programming - Invited Paper (Mirkowska G., Salwicki A., Świda O.), s. 1-17
- artykuł: A Multi-facet Approach to Dynamic Agent Systems (Bednarczyk M.A., Pawłowski A., Bernardinello L., Pomello L., Borzyszkowski T.), s. 19-33
- artykuł: Methods as Parameters: A Preprocessing Approach to Higher Order in Java (Bellia M., Occhiuto M.E.), s. 35-50
- artykuł: A Logic for Reasoning about Persuasion (Budzyńska K., Kacprzak M.), s. 51-65
- artykuł: Time Distribution in Structural Workflow Nets (Chrząstowski-Wachtel P., Findeisen P., Wolny G.), s. 67-87
- artykuł: Boolean Algebra of Nets, their Synthesis and Analysis (Czaja L.), s. 89-95
- artykuł: Feature Selection Algorithm for Multiple Classifier Systems: A Hybrid Approach (Delimata P., Suraj Z.), s. 97-110
- artykuł: Petri Net Controlled Finite Automata (Farwer B., Jantzen M., Kudlek M., Rölke H., Zetzsche G.), s. 111-121
- artykuł: Constraint Based World Modeling (Göhring D, Mellmann H., Gerasymova K., Burkhard H-D.), s. 123-137
- artykuł: Satisfiability of Formulas from the Standpoint of Object Classification: The RST Approach (Gomolińska A.), s. 139-153
- artykuł: Case-based Planning of Treatment of Infants with Respiratory Failure (Góra G., Bazan J.G., Kruczek P., Bazan-Socha S., Skowron A., Pietrzyk J.J.), s. 155-172
- artykuł: Probabilistic Information Flow Security (Gruska D.P.), s. 173-187
- artykuł: Security in a Model for Long-running Transactions (Gruska D.P., Maggiolo-Schettini A., Milazzo P.), s. 189-203
- artykuł: Approximation Space and LEM2-like Algorithms for Computing Local Coverings (Grzymała-Busse J.W., Rząsa W.), s. 205-217
- artykuł: Token History Petri Nets (van Hee K., Serebrenik A., Sidorova N.), s. 219-234
- artykuł: Translation of Intermediate Language to Timed Automata with Discrete Data (Janowska A., Janowski P., Wróblewski D.), s. 235-248
- artykuł: Optimization in Discovery of Compound Granules (Jankowski A., Peters J.F., Skowron A., Stepaniuk J.), s. 249-265
- artykuł: Language Classes Defined by Concurrent Finite Automata (Jantzen M., Kudlek M., Zetzsche G.), s. 267-280
- artykuł: On Trace-Expressible Behaviour of Petri Nets (Jółkowska J., Ochmański E.), s. 281-295
- artykuł: Memory-Based State-Estimation (Jüngel M., Mellmann H.), s. 297-311
- artykuł: VerICS 2007 - a Model Checker for Knowledge and Real-Time (Kacprzak M., Nabiałek W., Niewiadomski A., Penczek W., Półrola A., Szreter M., Woźna B., Zbrzezny A.), s. 313-328
- artykuł: Linear Properties of Zero-Safe Nets with Debit Tokens (Köhler-Bußmeier M., Kudlek M.), s. 329-342
- artykuł: A Deterministic Algorithm for Identifying Direct Superclasses in Java (Langmaack H., Salwicki A., Warpechowski M.), s. 343-357
- artykuł: LDYIS: a Framework for Model Checking Security Protocols (Lomuscio A., Penczek W.), s. 359-375
- artykuł: Specification and Verification of Invariants by Exploiting Layers in OO Designs (Middelkoop R., Huizing C., Kuiper R., Luit E.J.), s. 377-398
- artykuł: Projection Representation of Mazurkiewicz Traces (Mikulski Ł), s. 399-408
- artykuł: Translation of Timed Promela to Timed Automata with Discrete Data (Nabiałek W., Janowska A., Janowski P.), s. 409-424
- artykuł: SAT-based Unbounded Model Checking of Timed Automata (Penczek W., Szreter M.), s. 425-440
- artykuł: Some Aspects of Parsing Expression Grammar (Redziejowski R.R.), s. 441-454
- artykuł: Processes in Systems with Limited Resources in the Context of Non-extensive Thermodynamics (Strzałka D., Grabowski F.), s. 455-464
- artykuł: Modelling and Simulation of Quantum Teleportation and Dense Coding Using Predicate/Transition-Nets (Varpaaniemi K., Ojala L.), s. 465-479
- artykuł: An Algebraic Framework for Defining Random Concurrent Behaviours (Winkowski J.), s. 481-496
- artykuł: Distance Measures Induced by Finite Approximation Spaces and Approximation Operators (Wolski M.), s. 497-512
- artykuł: Improving the Translation from ECTL to SAT (Zbrzezny A.), s. 513-531
- artykuł: Towards Verification of Java Programs in VerICS (Zbrzezny A., Woźna B.), s. 533-548
- artykuł: Greedy Algorithm for Attribute Reduction (Zielosko B., Piliszczuk M.), s. 549-561

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ć.