University of Limerick Institutional Repository

Browsing LERO - Project partner authors by Title

DSpace Repository

Browsing LERO - Project partner authors by Title

Sort by: Order: Results:

  • Bresciani, Riccardo; Butterfield, Andrew (Association for Computing Machinery, 2009)
    The Dolev-Yao model has been widely used in protocol verificaion and has been implemented in many protocol verifiers. There are strong assumptions underlying this model, such as perfect cryptography: the aim of the ...
  • Groba, Christin; Clarke, Siobhán (IEEE Computer Society, 2010)
    A platform-independent communication mechanism is essential for the seamless integration of embedded devices into the Web of Things. Web services provide for such communication, though there remains an open question as ...
  • Dobson, Simon (Springer-verlang, 2007)
    Ambient intelligence involves synthesising data from a range of sources in order to exhibit meaningful adaptive behaviour without explicit user direction, driven by inputs from largely independent devices and data sources. ...

Search ULIR


My Account