- Subscribe to this page:
- RSS
- Email Alert
Masaryk University
(11 results)-
White Papers
Automatic Source Code Transformations for Strengthening Practical Security of Smart Card Applications
April 30, 2010, 12:00am PDT
The availability of programmable cryptographic smart cards provides possibility to run application in significantly more secured environment then ordinary personal computer. Smart card platforms...
Provided by Masaryk University
-
White Papers
Integration of Java Federations in HLA Compliant Simulations Governed by CERTI
May 23, 2010, 12:00am PDT
High Level Architecture constitutes a modern approach to distributed simulation of complex systems. This paper discusses extending CERTI, an open-source Run-Time Infrastructure, with binding to...
Provided by Masaryk University
-
White Papers
Electronic Payments and Electronic Money - Some General Remarks on Factual and Legal Developments
August 3, 2008, 12:00am PDT
The author analyses parallels as well as differences between cash payments and cashless payments from a general juridical point of view. A closer look at some new developments often called "Smart"...
Provided by Masaryk University
-
White Papers
Evaluation of Lifetime Bounds of Wireless Sensor Networks
May 24, 2010, 12:00am PDT
In this paper the authors estimate lifetime bounds of a network of motes which communicate with each other using IEEE 802.15.4 standard. Different frame structures of IEEE 802.15.4 along with...
Provided by Masaryk University
-
White Papers
DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking
December 14, 2009, 12:00am PST
In this paper the authors present a tool that performs CUDA accelerated LTL Model Checking. The tool exploits parallel algorithm MAP adjusted to the NVIDIA CUDA architecture in order to...
Provided by Masaryk University
-
Whitepapers
Revealing and Analysing Modem Malware
May 24, 2012, 12:00am PDT
Malware targeting broadband devices like ADSL modems, routers and wireless access points is very frequent in recent days. In this paper, the authors provide a formal description of modem malware...
Provided by Masaryk University
-
White Papers
Agent-Based Network Intrusion Detection System
August 17, 2007, 12:00am PDT
The paper presents security platform based on agents as an efficient and robust solution for high-performance intrusion detection system designed for deployment on high-speed network links. The...
Provided by Masaryk University
-
White Papers
Scalability and Robustness of Virtual Multicast for Synchronous Multimedia Distribution
January 1, 2008, 12:00am PST
A simple UDP packet reflector for virtual multicast multimedia transfer is extended to form a distributed system of active elements that solves the scalability problem of otherwise centralistic...
Provided by Masaryk University
-
White Papers
A Federated Framework for Secure Collaborative Systems
May 19, 2008, 12:00am PDT
Videoconferences can play an important role in contemporary e-learning systems since the authors allow students to attend courses that are given by teachers from a remote location....
Provided by Masaryk University
-
Whitepapers
STANSE: Bug-Finding Framework for C Programs
February 3, 2012, 12:00am PST
STANSE is a free (available under the GPLv2 license) modular framework for finding bugs in C programs using static analysis. Its two main design goals are ability to process large software...
Provided by Masaryk University
-
White Papers
Distributed Data Storage Based on Web Access and IBP Infrastructure
January 1, 2008, 12:00am PST
This paper introduces an environment for distributed data storage based on Web access and an Internet Backplane Protocol storage infrastructure as well as a model for distributed data storage and...
Provided by Masaryk University
-
Whitepapers
Revealing and Analysing Modem Malware
May 24, 2012, 12:00am PDT
Malware targeting broadband devices like ADSL modems, routers and wireless access points is very frequent in recent days. In this paper, the authors provide a formal description of modem malware...
Provided by Masaryk University
-
Whitepapers
STANSE: Bug-Finding Framework for C Programs
February 3, 2012, 12:00am PST
STANSE is a free (available under the GPLv2 license) modular framework for finding bugs in C programs using static analysis. Its two main design goals are ability to process large software...
Provided by Masaryk University
-
White Papers
A Federated Framework for Secure Collaborative Systems
May 19, 2008, 12:00am PDT
Videoconferences can play an important role in contemporary e-learning systems since the authors allow students to attend courses that are given by teachers from a remote location....
Provided by Masaryk University
-
White Papers
DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking
December 14, 2009, 12:00am PST
In this paper the authors present a tool that performs CUDA accelerated LTL Model Checking. The tool exploits parallel algorithm MAP adjusted to the NVIDIA CUDA architecture in order to...
Provided by Masaryk University
-
White Papers
Evaluation of Lifetime Bounds of Wireless Sensor Networks
May 24, 2010, 12:00am PDT
In this paper the authors estimate lifetime bounds of a network of motes which communicate with each other using IEEE 802.15.4 standard. Different frame structures of IEEE 802.15.4 along with...
Provided by Masaryk University
-
White Papers
Electronic Payments and Electronic Money - Some General Remarks on Factual and Legal Developments
August 3, 2008, 12:00am PDT
The author analyses parallels as well as differences between cash payments and cashless payments from a general juridical point of view. A closer look at some new developments often called "Smart"...
Provided by Masaryk University
-
White Papers
Integration of Java Federations in HLA Compliant Simulations Governed by CERTI
May 23, 2010, 12:00am PDT
High Level Architecture constitutes a modern approach to distributed simulation of complex systems. This paper discusses extending CERTI, an open-source Run-Time Infrastructure, with binding to...
Provided by Masaryk University
-
White Papers
Automatic Source Code Transformations for Strengthening Practical Security of Smart Card Applications
April 30, 2010, 12:00am PDT
The availability of programmable cryptographic smart cards provides possibility to run application in significantly more secured environment then ordinary personal computer. Smart card platforms...
Provided by Masaryk University
-
White Papers
Distributed Data Storage Based on Web Access and IBP Infrastructure
January 1, 2008, 12:00am PST
This paper introduces an environment for distributed data storage based on Web access and an Internet Backplane Protocol storage infrastructure as well as a model for distributed data storage and...
Provided by Masaryk University
-
White Papers
Scalability and Robustness of Virtual Multicast for Synchronous Multimedia Distribution
January 1, 2008, 12:00am PST
A simple UDP packet reflector for virtual multicast multimedia transfer is extended to form a distributed system of active elements that solves the scalability problem of otherwise centralistic...
Provided by Masaryk University
-
White Papers
Agent-Based Network Intrusion Detection System
August 17, 2007, 12:00am PDT
The paper presents security platform based on agents as an efficient and robust solution for high-performance intrusion detection system designed for deployment on high-speed network links. The...
Provided by Masaryk University
Keep Up with TechRepublic
Submit a Paper
Get your content listed in our directory!
Our directory is the largest library of vendor-supplied technical content on the Web. It’s also the first place IT decision makers turn to when researching technology solutions. Our members are already finding your competitors’ papers here - shouldn’t they find yours, too? It's FREE so click here and submit your white paper, case study, data sheet, research report, or other document today!
