- Subscribe to this page:
- RSS
- Email Alert
University of Szeged Institute of Informatics
(6 results)-
White Papers
Programming Language Elements for Correctness Proofs
May 28, 2008, 12:00am PDT
The study of formal methods to reason about program properties is becoming an important research area, as a considerable part of a software product's lifecycle is testing and bug-fixing. Formal...
Provided by University of Szeged
-
White Papers
The Relationship Between Perceived Risk, Perceived Value And Project Competencies
August 25, 2010, 12:00am PDT
Perceived risk and value. The concept of perceived risk has been conceptualised as corresponding to situations when there are potentially negative outcomes. Later studies distinguished between...
Provided by University of Szeged
-
White Papers
The Impact Of The Closeness Of Cooperation On The Effectiveness Of Cooperation In University-Industry R&D Collaborations
August 25, 2010, 12:00am PDT
The effectiveness and manageability of collaborations between universities and companies are extremely significant in the period when cooperative R&D projects enjoy increased support....
Provided by University of Szeged
-
Whitepapers
Modelling an Automatic Proof Generator for Functional Dependency Rules Using Colored Petri Net
September 1, 2012, 12:00am PDT
Database administrators need to compute closure of Functional Dependencies (FDs) for normalization of database systems and enforcing integrity rules. Colored Petri Net (CPN) is a powerful formal...
Provided by University of Szeged Institute of Informatics
-
Whitepapers
Proposing Cluster-Similarity Method in Order to Find as Much Better Similarities in Databases
December 8, 2011, 12:00am PST
Different ways of entering data into databases result in duplicate records that cause increasing of databases' size. This is a fact that the authors cannot ignore it easily. There are several...
Provided by University of Szeged Institute of Informatics
-
White Papers
Static Security Analysis Based on Input-Related Software Faults
January 9, 2009, 12:00am PST
It is important to focus on security aspects during the development cycle to deliver reliable software. However, locating security faults in complex systems is difficult and there are only a few...
Provided by University of Szeged
-
Whitepapers
Proposing Cluster-Similarity Method in Order to Find as Much Better Similarities in Databases
December 8, 2011, 12:00am PST
Different ways of entering data into databases result in duplicate records that cause increasing of databases' size. This is a fact that the authors cannot ignore it easily. There are several...
Provided by University of Szeged Institute of Informatics
-
Whitepapers
Modelling an Automatic Proof Generator for Functional Dependency Rules Using Colored Petri Net
September 1, 2012, 12:00am PDT
Database administrators need to compute closure of Functional Dependencies (FDs) for normalization of database systems and enforcing integrity rules. Colored Petri Net (CPN) is a powerful formal...
Provided by University of Szeged Institute of Informatics
-
White Papers
Static Security Analysis Based on Input-Related Software Faults
January 9, 2009, 12:00am PST
It is important to focus on security aspects during the development cycle to deliver reliable software. However, locating security faults in complex systems is difficult and there are only a few...
Provided by University of Szeged
-
White Papers
The Impact Of The Closeness Of Cooperation On The Effectiveness Of Cooperation In University-Industry R&D Collaborations
August 25, 2010, 12:00am PDT
The effectiveness and manageability of collaborations between universities and companies are extremely significant in the period when cooperative R&D projects enjoy increased support....
Provided by University of Szeged
-
White Papers
The Relationship Between Perceived Risk, Perceived Value And Project Competencies
August 25, 2010, 12:00am PDT
Perceived risk and value. The concept of perceived risk has been conceptualised as corresponding to situations when there are potentially negative outcomes. Later studies distinguished between...
Provided by University of Szeged
-
White Papers
Programming Language Elements for Correctness Proofs
May 28, 2008, 12:00am PDT
The study of formal methods to reason about program properties is becoming an important research area, as a considerable part of a software product's lifecycle is testing and bug-fixing. Formal...
Provided by University of Szeged
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!
