Language-Based Technology

  1. 2012
  2. Published

    Toward a Threat Model for Energy-Harvesting Wireless Sensor Networks. / Di Mauro, Alessio; Papini, Davide; Vigo, Roberto; Dragoni, Nicola.

    Networked Digital Technologies: 4th International Conference, NDT 2012 Dubai, UAE, April 24-26, 2012 Proceedings, Part II. Springer, 2012. p. 289-301 (Communications in Computer and Information Science, Vol. 294).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2012

  3. 2011
  4. Published

    Adapt or Become Extinct! : The Case for a Unified Framework for Deployment-Time Optimization. / Goumas, Georgios; McKee, Sally A.; Själander, Magnus; Gross, Thomas R.; Karlsson, Sven; Probst, Christian W.; Zhang, Lixin.

    EXADAPT '11 Proceedings of the 1st International Workshop on Adaptive Self-Tuning Computing Systems for the Exaflop Era. University of Strathclyde, 2011.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  5. Published

    A Framework for Constraint-Programming based Configuration. / Queva, Matthieu Stéphane Benoit; Probst, Christian W. (Supervisor).

    Kgs. Lyngby, Denmark : Technical University of Denmark (DTU), 2011. 227 p. (IMM-PHD-2011; No. 260).

    Publication: ResearchPh.D. thesis – Annual report year: 2011

  6. Published

    Analysing Protocol Stacks for Services. / Gao, Han; Nielson, Flemming; Nielson, Hanne Riis.

    Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing. ed. / Martin Wirsing; Matthias Hölzl. Vol. 6582 Springer, 2011. p. 369-389 (Lecture Notes in Computer Science).

    Publication: Research - peer-reviewBook chapter – Annual report year: 2011

  7. Published

    A Stochastic Broadcast Pi-Calculus. / Song, Lei; Nielson, Flemming; Nielsen, Bo Friis.

    In: Electronic Proceedings in Theoretical Computer Science, Vol. 57, No. Proc. QAPL 2011, 2011, p. 74-88.

    Publication: Research - peer-reviewConference article – Annual report year: 2011

  8. Published

    Automata-Based CSL Model Checking. / Zhang, Lijun; Jansen, David N.; Nielson, Flemming; Hermanns, Holger.

    Automata, Languages and Programming: 38th International Colloquium, ICALP 2011 - Zurich, Switzerland, July 4-8, 2011 - Proceedings, Part II. Springer, 2011. p. 271-282 (Lecture Notes in Computer Science; No. 6756).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  9. Published

    Automated Verification of Virtualized Infrastructures. / Bleikertz, Sören; Gross, Thomas; Mödersheim, Sebastian Alexander.

    CCSW '11 Proceedings of the 3rd ACM workshop on Cloud computing security workshop. ACM, 2011. p. 47-58.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  10. Published

    A ZigBee-based Automatic Meter Reading System. / Yüksel, Emre; Zaim, Abdül Halim; Yuksel, Ender; Aydin, Muhammed Ali.

    Proceedings of the International Conference on Networking and Future Internet (ICNFI 2011). 2011.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  11. Published

    Bisimulations Meet PCTL Equivalences for Probabilistic Automata. / Song, Lei; Zhang, Lijun; Godskesen, Jens Chr.

    CONCUR 2011 – Concurrency Theory: 22nd International Conference, CONCUR 2011 Aachen, Germany, September 6-9, 2011 Proceedings. Vol. 6901 Springer, 2011. p. 108-123 (Lecture Notes in Computer Science; No. 6901).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  12. Published

    CaPiTo: protocol stacks for services. / Gao, Han; Nielson, Flemming; Nielson, Hanne Riis.

    In: Formal Aspects of Computing, Vol. 23, No. 4, 2011, p. 541-565.

    Publication: Research - peer-reviewJournal article – Annual report year: 2011

Previous 1 2 3 4 5 6 7 8 ...17 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word