Travelled to:1 × USA
Collaborated with:C.D.Nugent J.Hallberg R.J.Davies K.Synnes D.D.Finlay M.D.Mulvenna A.Rugnone E.Vicario D.Craig C.Paggetti E.Tamburini
Talks about:home (3) rule (2) base (2) support (1) exchang (1) environ (1) within (1) visual (1) tempor (1) formal (1)
Person: Mark P. Donnelly
DBLP: Donnelly:Mark_P=
Contributed to:
2007Wrote 2 papers:
- CASE-2007-HallbergNDSDFM #named #smarttech
- HomeRuleML — A Model for the Exchange of Decision Support Rules Within Smart Environments (JH, CDN, RJD, KS, MPD, DDF, MDM), pp. 513–520.
- CASE-2007-RugnoneVNDCPT #design #logic #named #visual notation
- HomeTL: A visual formalism, based on temporal logic, for the design of home based care (AR, EV, CDN, MPD, DC, CP, ET), pp. 747–752.