Object
Title: Behavioral an real-time verification of a pipeline in the COSMA environment
Description:
Publisher:
Wydaw. Uniwersytetu Marii Curie-Skłodowskiej
Place of publication:
Contributor:
Uniwersytet Marii Curie-Skłodowskiej (Lublin)
Format:
Identifier:
Language:
Relation:
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica. Vol. 4 (2006)
Rights:
Biblioteka Uniwersytetu Marii Curie-Skłodowskiej
Object collections:
Last modified:
Mar 24, 2015
In our library since:
Mar 24, 2015
Number of object content hits:
16
Number of object content views in DjVu format
15
All available object's versions:
https://dlibra.umcs.lublin.pl/publication/20417
Show description in RDF format:
Show description in OAI-PMH format:
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 1 (2003)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 2 (2004)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 3 (2005)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 4 (2006)
- Towards wireless sensor networks with enhanced vision capabilities
- Mathematical foundations of the infinity computer
- Experiences of software engineering training
- Incremental document map formation: multi-stage approach
- Instance reduction approach to machine learning and multi-database mining
- Specification of dependency areas in UML designs
- Model of mapping activities and competence in ICT projects
- Ontology-based stereotyping in a travel support system
- Analysing system susceptibility to faults with simulation tools
- Grouping and joining transformations in the data extraction process
- Comparison of two approaches to processing long aggregates lists in spatial data warehouses
- The use of self-organising maps to investigate heat demand profiles
- Models and methods for biometric motion identification
- On asymptotic behaviour of a binary genetic algorithm
- Comparative analysis of reporting mechanisms based on XML technology
- Visualization as a method for relationship discovery in data
- Discovery of association rules from medical data –classical and evolutionary approaches
- Mining of an electrocardiogram
- Rule extraction from a neural network by hierarchical multiobjective genetic algorithm
- The use of model checking and the COSMA environment in the design of reactive systems
- Behavioral an real-time verification of a pipeline in the COSMA environment
- Automated travel planning
- KTDA: emerging patterns based data analysis system
- Polymorphism – prose of Java programmers
- Multimedia in management facing globalization processes and cognitivistics
- Deterministic method of data sequence processing
- Context-aware security and secure context-awareness in ubiquitous computing environments
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 5 (2006)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 6 (2007)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 7 (2007)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 8 (2008)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 9 (2009)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 10 (2010)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 11 (2011)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 12 (2012)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 13 (2013)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 14 (2014)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica. Vol. 15 (2015)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica. Vol. 16 (2016)
-
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica Vol. 1 (2003)
| Edition name | Date |
|---|---|
| Mieścicki, Jerzy, Daszczuk, Wiktor B. - Behavioral an real-time verification of a pipeline in the COSMA environment | Mar 24, 2015 |
