Search dblp for Publications

export results for "stream:streams/conf/isim:"

 download as .bib file

@inproceedings{DBLP:conf/isim/Alksnis07,
  author       = {Gundars Alksnis},
  editor       = {Jaroslav Zendulka},
  title        = {The Analysis of {UML} State Machine Formal Checking Methods},
  booktitle    = {Proceedings of the 10th International Conference on Information System
                  Implementation and Modeling, Hradec nad Moravic{\'{\i}}, Czech
                  Republic, April 23-25, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {252},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-252/paper15.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:21 +0100},
  biburl       = {https://dblp.org/rec/conf/isim/Alksnis07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isim/AndrejkoBBT07,
  author       = {Anton Andrejko and
                  Michal Barla and
                  M{\'{a}}ria Bielikov{\'{a}} and
                  Michal Tvarozek},
  editor       = {Jaroslav Zendulka},
  title        = {User Characteristics Acquisition from Logs with Semantics},
  booktitle    = {Proceedings of the 10th International Conference on Information System
                  Implementation and Modeling, Hradec nad Moravic{\'{\i}}, Czech
                  Republic, April 23-25, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {252},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-252/paper12.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isim/AndrejkoBBT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isim/BidloBM07,
  author       = {Radek Bidlo and
                  Petr Blatn{\'{y}} and
                  Alexander Meduna},
  editor       = {Alica Kelemenov{\'{a}} and
                  Dusan Kol{\'{a}}r and
                  Alexander Meduna},
  title        = {On Vertical Grammatical Restrictions that Produce an Infinite Language
                  Hierarchy},
  booktitle    = {Proceedings of the 2nd International Workshop on Formal Models WFM'07,
                  Hradec nad Moravic{\'{\i}}, Czech Republic, April 23-25, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {255},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-255/paper02.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:21 +0100},
  biburl       = {https://dblp.org/rec/conf/isim/BidloBM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isim/BoberS07,
  author       = {Marek Bober and
                  Petr Saloun},
  editor       = {Jaroslav Zendulka},
  title        = {Adaptation of Navigation by the Modified Results of Full Scan Algorithm
                  in Adaptive Hypermedia Systems},
  booktitle    = {Proceedings of the 10th International Conference on Information System
                  Implementation and Modeling, Hradec nad Moravic{\'{\i}}, Czech
                  Republic, April 23-25, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {252},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-252/paper13.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isim/BoberS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isim/CiencialovaC07,
  author       = {Lucie Ciencialov{\'{a}} and
                  Ludek Cienciala},
  editor       = {Alica Kelemenov{\'{a}} and
                  Dusan Kol{\'{a}}r and
                  Alexander Meduna},
  title        = {Notes on Restricted {P} Colonies},
  booktitle    = {Proceedings of the 2nd International Workshop on Formal Models WFM'07,
                  Hradec nad Moravic{\'{\i}}, Czech Republic, April 23-25, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {255},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-255/paper03.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isim/CiencialovaC07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isim/Gall07,
  author       = {Dariusz Gall},
  editor       = {Jaroslav Zendulka},
  title        = {Transformations from {EDOC} to {EJB} by Composition of Mapping Operations},
  booktitle    = {Proceedings of the 10th International Conference on Information System
                  Implementation and Modeling, Hradec nad Moravic{\'{\i}}, Czech
                  Republic, April 23-25, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {252},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-252/paper02.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isim/Gall07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isim/Hnatkowska07,
  author       = {Bogumila Hnatkowska},
  editor       = {Jaroslav Zendulka},
  title        = {Verification of Good Design Style of {UML} Models},
  booktitle    = {Proceedings of the 10th International Conference on Information System
                  Implementation and Modeling, Hradec nad Moravic{\'{\i}}, Czech
                  Republic, April 23-25, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {252},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-252/paper10.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isim/Hnatkowska07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isim/HnetynkaB07,
  author       = {Petr Hnetynka and
                  Tom{\'{a}}s Bures},
  editor       = {Jaroslav Zendulka},
  title        = {Advanced Features of Hierarchical Component Models},
  booktitle    = {Proceedings of the 10th International Conference on Information System
                  Implementation and Modeling, Hradec nad Moravic{\'{\i}}, Czech
                  Republic, April 23-25, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {252},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-252/paper01.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isim/HnetynkaB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isim/HuzarL07,
  author       = {Zbigniew Huzar and
                  Grzegorz Loniewski},
  editor       = {Jaroslav Zendulka},
  title        = {Deriving Prototypes from {UML} 2.0 Sequence Diagrams},
  booktitle    = {Proceedings of the 10th International Conference on Information System
                  Implementation and Modeling, Hradec nad Moravic{\'{\i}}, Czech
                  Republic, April 23-25, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {252},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-252/paper09.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isim/HuzarL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isim/Kelemenova07,
  author       = {Alica Kelemenov{\'{a}}},
  editor       = {Alica Kelemenov{\'{a}} and
                  Dusan Kol{\'{a}}r and
                  Alexander Meduna},
  title        = {Colonies - the Simplest Grammar Systems},
  booktitle    = {Proceedings of the 2nd International Workshop on Formal Models WFM'07,
                  Hradec nad Moravic{\'{\i}}, Czech Republic, April 23-25, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {255},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-255/paper01.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isim/Kelemenova07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isim/KozanyK07,
  author       = {Adam Kozan{\'{y}} and
                  Alica Kelemenov{\'{a}}},
  editor       = {Alica Kelemenov{\'{a}} and
                  Dusan Kol{\'{a}}r and
                  Alexander Meduna},
  title        = {Structures of the Environment in Colonies},
  booktitle    = {Proceedings of the 2nd International Workshop on Formal Models WFM'07,
                  Hradec nad Moravic{\'{\i}}, Czech Republic, April 23-25, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {255},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-255/paper04.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isim/KozanyK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isim/KrivkaM07,
  author       = {Zbynek Krivka and
                  Alexander Meduna},
  editor       = {Alica Kelemenov{\'{a}} and
                  Dusan Kol{\'{a}}r and
                  Alexander Meduna},
  title        = {Generalized {\#}-Rewriting Systems of Finite Index},
  booktitle    = {Proceedings of the 2nd International Workshop on Formal Models WFM'07,
                  Hradec nad Moravic{\'{\i}}, Czech Republic, April 23-25, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {255},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-255/paper05.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isim/KrivkaM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isim/KrohaKF07,
  author       = {Petr Kroha and
                  Mathias Kurth and
                  Michael Fleischer},
  editor       = {Jaroslav Zendulka},
  title        = {Performance Comparison of Distributed Object Server Implementation},
  booktitle    = {Proceedings of the 10th International Conference on Information System
                  Implementation and Modeling, Hradec nad Moravic{\'{\i}}, Czech
                  Republic, April 23-25, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {252},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-252/paper05.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isim/KrohaKF07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isim/KvetonovaM07,
  author       = {S{\'{a}}rka Kvetonov{\'{a}} and
                  Zdenek Martinek},
  editor       = {Jaroslav Zendulka},
  title        = {The Unified Approach to Modeling of Software Project Management Processes},
  booktitle    = {Proceedings of the 10th International Conference on Information System
                  Implementation and Modeling, Hradec nad Moravic{\'{\i}}, Czech
                  Republic, April 23-25, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {252},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-252/paper11.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isim/KvetonovaM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isim/LorencSK07,
  author       = {Lubos Lorenc and
                  Rudolf Sch{\"{o}}necker and
                  Zbynek Krivka},
  editor       = {Alica Kelemenov{\'{a}} and
                  Dusan Kol{\'{a}}r and
                  Alexander Meduna},
  title        = {A Note on the Parsing of Complete {VHDL-2002}},
  booktitle    = {Proceedings of the 2nd International Workshop on Formal Models WFM'07,
                  Hradec nad Moravic{\'{\i}}, Czech Republic, April 23-25, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {255},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-255/paper11.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isim/LorencSK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isim/LukasM07,
  author       = {Roman Luk{\'{a}}s and
                  Alexander Meduna},
  editor       = {Alica Kelemenov{\'{a}} and
                  Dusan Kol{\'{a}}r and
                  Alexander Meduna},
  title        = {General Multigenerative Grammar Systems},
  booktitle    = {Proceedings of the 2nd International Workshop on Formal Models WFM'07,
                  Hradec nad Moravic{\'{\i}}, Czech Republic, April 23-25, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {255},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-255/paper06.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isim/LukasM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isim/MarcosGR07,
  author       = {Antonio Folgueras Marcos and
                  {\'{A}}ngel Garc{\'{\i}}a{-}Crespo and
                  Bel{\'{e}}n Ru{\'{\i}}z{-}Mezcua},
  editor       = {Jaroslav Zendulka},
  title        = {The Art of Project Management: Key Adjustments Factors using Dynamic
                  Techniques},
  booktitle    = {Proceedings of the 10th International Conference on Information System
                  Implementation and Modeling, Hradec nad Moravic{\'{\i}}, Czech
                  Republic, April 23-25, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {252},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-252/paper16.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isim/MarcosGR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isim/Masopust07,
  author       = {Tom{\'{a}}s Masopust},
  editor       = {Alica Kelemenov{\'{a}} and
                  Dusan Kol{\'{a}}r and
                  Alexander Meduna},
  title        = {A Note on the Descriptional Complexity of Semi-Conditional Grammars},
  booktitle    = {Proceedings of the 2nd International Workshop on Formal Models WFM'07,
                  Hradec nad Moravic{\'{\i}}, Czech Republic, April 23-25, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {255},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-255/paper07.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isim/Masopust07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isim/OsisAG07,
  author       = {Janis Osis and
                  Erika Asnina and
                  Andrejs Grave},
  editor       = {Jaroslav Zendulka},
  title        = {Formal Computation Independent Model of the Problem Domain within
                  the {MDA}},
  booktitle    = {Proceedings of the 10th International Conference on Information System
                  Implementation and Modeling, Hradec nad Moravic{\'{\i}}, Czech
                  Republic, April 23-25, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {252},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-252/paper06.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isim/OsisAG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isim/PogarcicFD07,
  author       = {Ivan Pogarcic and
                  Miro Francic and
                  Vlatka Davidovic},
  editor       = {Jaroslav Zendulka},
  title        = {{UML:} Abstraction as a Criterion for Defining Class Diagrams and
                  Object Diagrams},
  booktitle    = {Proceedings of the 10th International Conference on Information System
                  Implementation and Modeling, Hradec nad Moravic{\'{\i}}, Czech
                  Republic, April 23-25, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {252},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-252/paper17.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isim/PogarcicFD07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isim/Rychly07,
  author       = {Marek Rychl{\'{y}}},
  editor       = {Jaroslav Zendulka},
  title        = {Component Model with Support of Mobile Architectures},
  booktitle    = {Proceedings of the 10th International Conference on Information System
                  Implementation and Modeling, Hradec nad Moravic{\'{\i}}, Czech
                  Republic, April 23-25, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {252},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-252/paper07.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isim/Rychly07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isim/Rychnovsky07,
  author       = {Luk{\'{a}}s Rychnovsk{\'{y}}},
  editor       = {Alica Kelemenov{\'{a}} and
                  Dusan Kol{\'{a}}r and
                  Alexander Meduna},
  title        = {Parsing of Context-Sensitive Languages},
  booktitle    = {Proceedings of the 2nd International Workshop on Formal Models WFM'07,
                  Hradec nad Moravic{\'{\i}}, Czech Republic, April 23-25, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {255},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-255/paper08.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isim/Rychnovsky07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isim/Silins07,
  author       = {Janis Silins},
  editor       = {Jaroslav Zendulka},
  title        = {Genomial Co-Design: An MDA-compliant Approach for Embedded Architectures},
  booktitle    = {Proceedings of the 10th International Conference on Information System
                  Implementation and Modeling, Hradec nad Moravic{\'{\i}}, Czech
                  Republic, April 23-25, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {252},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-252/paper03.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isim/Silins07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isim/SnaselGAP07,
  author       = {V{\'{a}}clav Sn{\'{a}}sel and
                  Petr Gajdos and
                  Hussam M. Dahwa Abdulla and
                  Martin Polovincak},
  editor       = {Jaroslav Zendulka},
  title        = {Using Matrix Decompositions in Formal Concept Analysis},
  booktitle    = {Proceedings of the 10th International Conference on Information System
                  Implementation and Modeling, Hradec nad Moravic{\'{\i}}, Czech
                  Republic, April 23-25, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {252},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-252/paper14.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isim/SnaselGAP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isim/Techet07,
  author       = {Jir{\'{\i}} Techet},
  editor       = {Alica Kelemenov{\'{a}} and
                  Dusan Kol{\'{a}}r and
                  Alexander Meduna},
  title        = {k-Limited Erasing Performed by Scattered Context Grammars},
  booktitle    = {Proceedings of the 2nd International Workshop on Formal Models WFM'07,
                  Hradec nad Moravic{\'{\i}}, Czech Republic, April 23-25, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {255},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-255/paper09.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isim/Techet07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isim/Vavreckova07,
  author       = {S{\'{a}}rka Vavreckov{\'{a}}},
  editor       = {Alica Kelemenov{\'{a}} and
                  Dusan Kol{\'{a}}r and
                  Alexander Meduna},
  title        = {Properties of Eco-Colonies},
  booktitle    = {Proceedings of the 2nd International Workshop on Formal Models WFM'07,
                  Hradec nad Moravic{\'{\i}}, Czech Republic, April 23-25, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {255},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-255/paper10.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isim/Vavreckova07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isim/WeissZ07,
  author       = {Petr Weiss and
                  Jaroslav Zendulka},
  editor       = {Jaroslav Zendulka},
  title        = {Modeling of Services and Service Collaboration in {UML} 2.0},
  booktitle    = {Proceedings of the 10th International Conference on Information System
                  Implementation and Modeling, Hradec nad Moravic{\'{\i}}, Czech
                  Republic, April 23-25, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {252},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-252/paper04.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isim/WeissZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isim/ZeleznikH07,
  author       = {Otto Zeleznik and
                  Zdenek Havlice},
  editor       = {Jaroslav Zendulka},
  title        = {Software Architectures for Real-time Embedded Applications for Broadcasting},
  booktitle    = {Proceedings of the 10th International Conference on Information System
                  Implementation and Modeling, Hradec nad Moravic{\'{\i}}, Czech
                  Republic, April 23-25, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {252},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-252/paper08.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isim/ZeleznikH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/isim/2007,
  editor       = {Jaroslav Zendulka},
  title        = {Proceedings of the 10th International Conference on Information System
                  Implementation and Modeling, Hradec nad Moravic{\'{\i}}, Czech
                  Republic, April 23-25, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {252},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-252},
  urn          = {urn:nbn:de:0074-252-1},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isim/2007.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/isim/2007wfm,
  editor       = {Alica Kelemenov{\'{a}} and
                  Dusan Kol{\'{a}}r and
                  Alexander Meduna},
  title        = {Proceedings of the 2nd International Workshop on Formal Models WFM'07,
                  Hradec nad Moravic{\'{\i}}, Czech Republic, April 23-25, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {255},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-255},
  urn          = {urn:nbn:de:0074-255-1},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isim/2007wfm.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.