Technical reports

2011 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999

2011

  • Dokulil J., Bednárek D., Yaghob J.: The Bobox Project: Parallelization Framework and Server for Data Processing, technical report no. 2011/1, Department of Software Engineering, 39 pages, 2011 - WWW
  • Šindelář Š., Zavoral F.: Design Patterns Support in Development Environments, technical report no. 2011/2, Department of Software Engineering, 56 pages, 2011 - WWW

2009

  • Abonyi A., Balaš D., Beňo M., Míšek J., Zavoral F.: Phalanger Improvements, technical report no. 2009/5, Department of Software Engineering, 60 pages, 2009 - WWW
  • Pokorný J., Pribolová J., Vojtáš P.: Ontology Engineering Relationally, technical report no. 2009/2, Faculty of Mathematics and Physics, Charles University, 20 pages, 2009 - WWW
  • Skopal T., Lokoč J.: Efficient Metric Skyline Processing using the PM-tree, technical report no. 2009/1, MFF UK, 10 pages, 2009

2008

  • Bureš T., Carlson J., Crnkovic I., Sentilles S., Vulgarakis A.: ProCom - the Progress Component Model Reference Manual, version 1.0, technical report no. MDH-MRTC-230/2008-1-SE, Mälardalen University, 27 pages, 2008 - WWW
  • Mlýnková I.: XML Benchmarking: Limitations and Opportunities, technical report no. 2008/1, Charles University, 23 pages, 2008
  • Number of citations: 3
  • Mlýnková I.: XML Schema Inference: A Study, technical report no. 2008/6, Charles University, 18 pages, 2008
  • Parízek P., Adámek J.: Modeling and Verification of Session-Oriented Interactions between Web Services: Compliance of BPEL with Session Protocols, technical report no. 2008/2, KSI MFF UK, 18 pages, 2008
  • Vajbar M., Toman K.: Implementation of self-adjusting top trees, technical report no. 2008/3, KSI MFF UK, 33 pages, 2008 - WWW

2007

  • Mlýnková I.: UserMap - an Enhancing of User-Driven XML-to-Relational Mapping Strategies, technical report no. 2007/3, Charles University, 38 pages, 2007
  • Mlýnková I., Pokorný J.: UserMap - an Exploitation of User-Specified XML-to-Relational Mapping Requirements and Related Problems, technical report no. 2007/8, Charles University, 26 pages, 2007
  • Mrázová I., Iša J.: Growing Fuzzy Inference Neural Networks: Their Principle and Applicaqtion, technical report no. 2007/6, KSI MFF UK, 17 pages, 2007
  • Mrázová I., Reitermanová Z.: Enforced Knowledge Extraction with BP-networks, technical report no. 2007/7, KSI MFF UK, 16 pages, 2007
  • Parízek P., Plášil F.: Heuristic Reduction of Parallelism in Component Environment, technical report no. 2007/2, KSI MFF UK, 17 pages, 2007
  • Šerý O., Plášil F.: Slicing behavior specification of components, technical report no. 2007/1, KSI MFF UK, 13 pages, 2007

2006

  • Ali K., Pokorný J.: XML-based Temporal Models, technical report no. 2006/1, ČVUT Praha, 39 pages, 2006 - WWW
  • Bulej L., Bureš T.: Addressing Static Execution Overhead in Connectors with Disabled Optional Features, technical report no. 2006/6, Dept. of SW Engineering, Charles University, 23 pages, 2006
  • de Boer F., Mencl V.: Preliminary Proceedings of the Third International Workshop on Formal Aspects of Component Software FACS'06, technical report no. 2006/344, United Nations University International Institute for Software Technology, 276 pages, 2006 - WWW
  • Hamrle M., Klačko T., Plch T., Šerý O., Tůma P.: P2 Skype Demo: How To Interact With Skype, technical report no. 2006/12, KSI MFF UK, 15 pages, 2006 - WWW
  • Kalibera T., Lehotský J., Majda D., Repček B., Tomčányi M., Tomeček A., Tůma P., Urban J.: Automated Benchmarking and Analysis Tool, technical report no. 2006/8, KSI MFF UK, 10 pages, 2006 - WWW
  • Kofroň J.: Extending Behavior Protocols With Data and Multisynchronization, technical report no. 2006/10, KSI MFF UK, 19 pages, 2006
  • Kofroň J.: Software Component Verification: On Translating Behavior Protocols to Promela, technical report no. 2006/11, KSI MFF UK, 10 pages, 2006
  • Lánský J., Žemlička M.: Compression of Small Text Files Using Syllables, technical report no. 2006/1, Charles Univerity, Faculty of Mathematics and Physics, Department of Software Engineering, 27 pages, 2006 - WWW
  • Number of citations: 1
  • Mlýnková I., Pokorný J.: Adaptability of Methods for Processing XML Data using Relational Databases - the State of the Art and Open Problems, technical report no. 2006/9, Charles University, 26 pages, 2006
  • Number of citations: 2
  • Mlýnková I., Pokorný J.: Exploitation of Similarity and Pattern Matching in XML Technologies, technical report no. 2006/13, Charles University, 30 pages, 2006
  • Number of citations: 3
  • Mlýnková I., Toman K., Pokorný J.: Statistical Analysis of Real XML Data Collections, technical report no. 2006/5, Charles University, 43 pages, 2006
  • Number of citations: 4
  • Nečaský M.: Conceptual Modeling for XML: A Survey, technical report no. 2006/3, Charles Univerity, Faculty of Mathematics and Physics, Department of Software Engineering, 54 pages, 2006 - WWW
  • Parízek P., Plášil F.: Modeling Environment for Component Model Checking from Hierarchical Architecture, technical report no. 2006/344, UNU-IIST, 14 pages, 2006 - WWW
  • Parízek P., Plášil F., Kofroň J.: Model Checking of Software Components: Making Java PathFinder Cooperate with Behavior Protocol Checker, technical report no. 2006/2, KSI MFF UK, 17 pages, 2006

2005

  • Adámek J.: Modeling Unbounded Parallelism Using Behavior Protocols, technical report, 15 pages, 2005
  • Bulej L., Bureš T.: Deploying Heterogeneous Applications using OMG D and C and Software Connectors, technical report, 12 pages, 2005
  • Bureš T.: Automated Synthesis of Connectors for Heterogeneous Deployment, technical report, 15 pages, 2005
  • Galik O., Bureš T.: Handling Heterogeneity in Connector Generation, technical report, 15 pages, 2005
  • Ježek P., Kofroň J., Plášil F.: Model Checking of Component Behavior Specification: A Real Life Experience, technical report, 15 pages, 2005
  • Kofroň J.: Enhancing Behavior Protocols with Atomic Actions, technical report no. 2005/08, Katedra softwarového inženýrství, MFF UK, 10 pages, 2005
  • Mrázová I., Wang D.: Improved generalization of neural classifiers with enforced internal representation, technical report, KSI MFF UK, 18 pages, 2005
  • Parízek P., Plášil F.: Specification and Generation of Environment for Model Checking of Software Components, technical report, 10 pages, 2005

2004

  • Adámek J., Plášil F.: Static Checking for Missing Bindings of Components, technical report, KSI MFF UK, 15 pages, 2004
  • Bulej L., Bureš T.: Addressing Heterogeneity in OMG Deployment and Configuration Based Deployment, technical report, KSI MFF UK, 22 pages, 2004
  • Hnětynka P.: Component Model for Unified Deployment of Distributed Component-based Software, technical report, KSI MFF UK, 13 pages, 2004
  • Král J., Žemlička M.: Systemic of Human Involvement in Information Systems, technical report, KSI MFF UK, 18 pages, 2004
  • Number of citations: 1
  • Mencl V.: Converting Textual Use Cases into Behavior Specifications, technical report, KSI MFF UK, 15 pages, 2004
  • Mrázová I.: Data Mining and Its Advances, technical report, KSI MFF UK, 26 pages, 2004
  • Žemlička M., Král J.: Legacy Systems and Web Services, technical report, KSI MFF UK, 16 pages, 2004
  • Number of citations: 1

2003

  • Bulej L., Bureš T.: A Connector Model Suitable for Automatic Generation of Connectors, technical report, MFF UK, 32 pages, 2003
  • Hnětynka P., Tůma P.: Managing Class Names in Java Component Systems with Dynamic Update, technical report, MFF UK, 10 pages, 2003
  • Mencl V.: Enhancing Component Behavior Specifications with Port State Machines, technical report, MFF UK, 13 pages, 2003
  • Mlýnková I., Pokorný J.: XML in the World of (Object-) Relational Database Systems, technical report no. 2003/8, Charles University, 28 pages, 2003
  • Number of citations: 3
  • Mrázová I.: Intelligent Data Mining Techniques (tutorial presented at ANNIE´2003), technical report, KSI MFF UK, 30 pages, 2003
  • Mrázová I., Dagli C. H.: FCM-Clustering of the World Bank Data, technical report, KSI MFF UK, 24 pages, 2003
  • Mrázová I., Dagli C. H.: Mining the World Bank Data: Automatic Landmark Selection, technical report, KSI MFF UK, 15 pages, 2003
  • Plášil F., Bureš T.: Composing Connectors of Elements, technical report, MFF UK, 16 pages, 2003

2002

  • Adámek J., Plášil F.: Behavior Protocols: Tolerating Faulty Architectures and Supporting Dynamic Updates, technical report, Department of Computer Science, University of New Hampshire, 16 pages, 2002
  • Plášil F., Mencl V.: Use Cases: Assembling, technical report, Department of Computer Science, University of New Hampshire, 46 pages, 2002
  • Žemlička M.: Principles of Kind Parsing - An Introduction, technical report, KSI MFF UK, 67 pages, 2002
  • Number of citations: 2

2001

  • Chlada M., Mrázová I., Převorovský Z.: Acoustic Emission and Feature Selection Based on Sensitivity Analysis, technical report, KSI MFF UK, 12 pages, 2001
  • Mrázová I.: Controlled Learning of GREN-networks, technical report, KSI MFF UK, 16 pages, 2001
  • Mrázová I., Mráz F.: Data Mining and Neural Networks, technical report, KSI MFF UK, 8 pages, 2001
  • Tůma P., Buble A.: Technical Report on Open CORBA Benchmarking, technical report, Dep. of SW Engineering, Charles University, Prague, 11 pages, 2001

2000

  • Mrázová I.: Generalized Relief Error Networks: A New Approach to BP-training, technical report, KSI MFF UK, 17 pages, 2000
  • Mrázová I.: On Searching for Patterns with Lower Errors, technical report, KSI MFF UK, 6 pages, 2000
  • Mrázová I., Tesková J.: Associative Recall in Spatial Maps with Kohonen Networks, technical report, KSI MFF UK, 10 pages, 2000
  • Plášil F., Bálek D.: A Hierarchical Model of Software Connectors, technical report, KSI MFF, 21 pages, 2000
  • Plášil F., Višňovský S., Bešta M.: Behvaior Protocols, technical report, KSI MFF, 38 pages, 2000
  • Yaghob J.: The T4 microkernel, technical report, KSI, MFF UK, 44 pages, 2000

1999

  • Bednárek D.: Using Petri nets in processor modelling, technical report, KSI MFF UK, 21 pages, 1999
  • Beneš A., Jákl V., Pokorný J.: Analýza implementace modulu CSP ve Windows NT 4.0, technical report, NBÚ, 30 pages, 1999
  • Král J., Žemlička M.: Autonomous components and wide area information systems, technical report, MFF, katedra softwarového inženýrství, 18 pages, 1999
  • Mrázová I., Rydvan M.: Generalized Objective Function for BP-Networks, technical report, KSI MFF UK, 21 pages, 1999
  • Plášil F., Procházka M.: Specifying transactional behavior of components, technical report, Univerzita Karlova, 10 pages, 1999
  • Plášil F., Višňovský S., Bešta M.: Behavior protocols: An approach to semantical descriptions of software components, technical report, Univerzita Karlova, 20 pages, 1999
The content of this web site is licensed under Creative Commons Attribution-NonCommercial 3.0 Czech Republic