If you made any changes in Pure these will be visible here soon.
Filter
Article in proceedings

Search results

  • 2014

    Workflow Fault Tree Generation Through Model Checking

    Herbert, L. T. & Sharp, R., 2014, Safety, Reliability and Risk Analysis: Beyond the Horizon: Proceedings. Steenbergen, R. D. J. M., van Gelder, P. H. A. J. M., Miraglia, S. & Ton Vrouwenvelder, A. C. W. M. (eds.). CRC Press, p. 2229-2236

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    File
    758 Downloads (Pure)
  • 2013

    Optimal sceduling of complex processes through stochastic model checking: An example from the baked goods industry

    Herbert, L. T., Hansen, Z. N. L., Sharp, R. & Jacobsen, P., 2013, Proceedings of the 3rd International Conference on Modelling and Management of Engineering Processes.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Optimisation of BPMN Business Models via Model Checking

    Herbert, L. T. & Sharp, R., 2013, Proceedings of the ASME 2013 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference (IDETC/CIE 2013). American Society of Mechanical Engineers, p. DETC2013-13047 10 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • 2012

    Quantitative analysis of probabilistic BPMN workflows

    Herbert, L. T. & Sharp, R., 2012, Proceedings of the ASME 2012 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 10 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Using Stochastic Model Checking to Provision Complex Business Services

    Herbert, L. T. & Sharp, R., 2012, 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering (HASE). IEEE, p. 98-105 (I E E E International Symposium on High-Assurance Systems Engineering).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • 2011

    Improving e-learning by Emotive Feedback

    Sharp, R. & Gjedde, L., 2011, Proceedings of the IADIS International Conference on Interfaces and Human Computer Interaction.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    File
    170 Downloads (Pure)
  • Towards quantitative evaluation of stochastic pharmacy workflows

    Herbert, L. T. & Sharp, R., 2011, Proceedings of the 23rd Nordic Workshop Programming Theory.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    File
    164 Downloads (Pure)
  • 2009

    CC-based Design of Secure Application Systems

    Sharp, R., 2009, Engineering Secure Software and Systems. De Win, B., Massacci, F., Redwine, S. & Zannone, N. (eds.). Springer, p. 111-121 (Lecture Notes in Computer Science; No. 5429).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Improving on Tacit Knowledge through a Media-rich Survey

    Sharp, R. & Gjedde, L., 2009, Proceedings of the World Conference on E-Learning in Corporate, Government, Healthcare, & Higher Education. Chesapeake, Va.: AACE, p. 1962-1965

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Incorporating User-oriented Security into CC

    Sharp, R., 2009, Proceedings of 10th ICCC.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Questions as pathways to learning - implicit learning in a simulated environment

    Gjedde, L. & Sharp, R., 2009, Proceedings of CELDA 2009: Cogntion and Exploratory Learning in a Digital Age. Kinshuk, D. G. (ed.). IADIS, p. 516-519

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Safeguarding the User - Developing a Multimodal Design for Surveying and Raising Internet Safety and Security Awareness

    Gjedde, L., Sharp, R., Andersen, P. & Meldgaard, H., 2009, Research, Reflections and Innovations in Integrating ICT in Education. Méndez-Vilas, A. (ed.). Badajoz, Spain: FORMATEX, Vol. Volume 1. p. 568-571

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • 2007

    Incremental Trust in Grid Computing

    Brinkløv, M. H. & Sharp, R., 2007, Seventh IEEE International Symposium on Cluster Computing and the Grid -- ccGrid07. IEEE, p. 135-144

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    441 Downloads (Pure)
  • Trust Management in Open Grid Systems

    Jensen, C. D. & Sharp, R., 2007, NODES 07 - NOrdic workshop and doctoral symposium on DEpendability and Security. Oslo, Norway

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • 2006

    Designing a Secure Point-of-Sale System

    Sharp, R., Pedersen, A. & Hedegaard, A., 2006, Fourth IEEE International Workshop on Information Assurance (IWIA'06). IEEE Computer Society Press, p. 51-65

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • 2005

    Can we avoid misuse of Grid systems?

    Sharp, R., 2005, 1st Nordic Grid Neighbourhood Conference. Department of Physics, University of Oslo

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • 2004

    Timed Traces and Strand Spaces

    Sharp, R. & Hansen, M. R., 2004, Proceedings of the 16th Nordic Workshop on Programming Theory. p. 96-98

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • 2003

    Using Interval Logics for Temporal Analysis of Security Protocols

    Hansen, M. R., Sharp, R. & Backes et a., M. (ed.), 2003, First ACM Workshop on Formal Methods in Security Engineering (FMSE'03). ACM Press, p. 24-31

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • 2002

    Best-effort Support for a Virtual Seminar Room

    Sharp, R. & Todirica, E. A., 2002, ACM Multimedia '02, Juan les Pins, France.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

  • The Global Computer

    Sharp, R., 2002, Proceedings of 20th NORDUnet Networking Conference, Copenhagen.. 18 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • The RTMM Toolbox for DMM Applications

    Sharp, R. & Todirica, E. A., 2002, 2002 IEEE International Conference on Multimedia, ICME2002, Lausanne, Switzerland.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

  • Using Interval Logic and Isabelle/HOL for Analyzing Real-TimeProperties of Security Protocols

    Pilegaard, H., Hansen, M. P., Sharp, R. & Vain et al., J. (ed.), 2002, The 14th Nordic Workshop on Programming Theory, Institute of Cybernetics, Tallinn Technical University. p. 84-86

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Video Conferencing for a Virtual Seminar Room

    Forchhammer, S., Fosgerau, A., Hansen, P. S. K., Sharp, R., Todirica, E. A. & Zsigri, A., 2002, 4th International Conference on Digital Signal Processing and its Applications.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    File
    469 Downloads (Pure)
  • 1999

    Virtual Seminar Room

    Forchhammer, S. O., Fosgerau, A., Hansen, P. S. K., Hansen, S. D., Jensen, O. R., Sharp, R. & Sørensen, J. A., 1999, Proceedings of the IEEE 3rd Multimedia Signal. IEEE, p. 581-586

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Virtual seminar room-modelling and experimentation in horizontal and vertical integration

    Forchhammer, S., Fosgerau, A., Hansen, P. S. K., Hansen, S. D., Jensen, O. R., Sharp, R. & Sørensen, J. A., 1999, IEEE 3rd Workshop on Multimedia Signal Processing, 1999. IEEE

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    463 Downloads (Pure)
  • 1996

    A Timed Semantics for SDL

    Mørk, S., Godskesen, J. C., Hansen, M. R. & Sharp, R., 1996, Formal Description Techniques IX, Theory, application and tools. London: Chapman & Hall, p. 295-309

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • 1995

    The T-Ruby design system

    Sharp, R. & Rasmussen, O., 1995, Proceedings of the ASP-DAC '95/CHDL '95/VLSI '95. IEEE, p. 587-596

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    322 Downloads (Pure)