Blar i Institutt for informasjonssikkerhet og kommunikasjonsteknologi på forfatter "Baumeister, Hubert"
-
A Demonstration on Service Compositions based on Natural Language Request and User Contexts
Sutthikulphanich, Kirati (Master thesis, 2008)The significant growth in mobile markets exposes business niches. A number of heterogeneous services have been offered to end users by several service providers. The end users can fully benefit from wide varieties of ... -
Specification of security properties by JML
Dulaj, Ilir (Master thesis, 2010)Nowadays, verification of programs is gaining increased importance. The software industry appears more and more interested in methods and tools to ensure security in their applications. Java Modeling Language has been ...