University of Limerick Institutional Repository

Browsing LERO - Project partner authors by Author "EPSRC"

DSpace Repository

Browsing LERO - Project partner authors by Author "EPSRC"

Sort by: Order: Results:

  • Mancini, Clara; Thomas, Keerthi; Rogers, Yvonne; Price, Blaine A.; Jedrzejczyk, Lukasz; Bandara, Arosha K.; Joinson, Adam N.; Nuseibeh, Bashar (Association for Computing Machinery, 2009)
    Mobile privacy concerns are central to Ubicomp and yet remain poorly understood. We advocate a diversified approach, enabling the cross-interpretation of data from complementary methods. However, mobility imposes a number ...
  • Cordeiro, Lucas; Fischer, Bernd; Marques-Silva, Joao (IEEE Computer Society, 2012)
    Propositional bounded model checking has been applied successfully to verify embedded software but remains limited by increasing propositional formula sizes and the loss of high-level information during the translation ...

Search ULIR


Browse

My Account

Statistics