Author:
Kim Minyoung,Stehr Mark-Oliver,Talcott Carolyn
Reference16 articles.
1. Michael P. Ashley-Rollman, Seth Copen Goldstein, Peter Lee, Todd C. Mowry, Padmanabhan Pillai, Meld: A declarative approach to programming ensembles, in: Proc. of the IEEE International Conference on Intelligent Robots and Systems, IROS’07, October 2007.
2. P. Basu, R. Krishnan, D.W. Brown, Persistent delivery with deferred binding to descriptively named destinations, in: Proc. of IEEE MILCOM, 2008.
3. David Chu, Lucian Popa, Arsalan Tavakoli, Joseph M. Hellerstein, Philip Levis, Scott Shenker, Ion Stoica, The design and implementation of a declarative sensor network system, in: SenSys’07 Proc. of the 5th International Conference on Embedded Networked Sensor Systems, 2007, pp. 175–188.
4. All about Maude - a high-performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic,2007
5. A semantic web reasoner for rules, equations and constraints;Elenius,2008
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献