Sökning: "Time Petri Nets"
Hittade 3 uppsatser innehållade orden Time Petri Nets.
1. Probabilistic guarantees in model-checking with Time Petri Nets
Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)Sammanfattning : With the prevalence of technology and computer systems in today’s society, it is crucial to ensure that the systems we use are secure. The fields that study these issues, cybersecurity and cybersafety, use the formal verification technique of modelchecking. LÄS MER
2. Reporting application at SDC : A low bandwidth mobile application
Master-uppsats, Mittuniversitetet/Avdelningen för informations- och kommunikationssystemSammanfattning : The objective of the report is to investigate which kind of mobile appli-cation, native, hybrid or web, that is the best regarding cross-platform support compared to development cost. As there are little information regarding pure web applications for mobile devices a prototype will be constructed to give light in this technology. LÄS MER
3. Foundation of Aspect Oriented Business Process Management
Master-uppsats, Stockholms universitet/Institutionen för data- och systemvetenskapSammanfattning : Reducing the complexity in information systems is a main concern on which researchers work. Separation of concerns, also known as the principle of ‘divide and conquer’, has long time been a strategy for dealing with complexity. LÄS MER