Search results for "Insense"

Found 8 publication records. Showing 8 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
147	Alan Dearle, Dharini Balasubramaniam, Jonathan Lewis, Ronald Morrison	A Component-Based Model and Language for Wireless Sensor Network Applications.	COMPSAC	2008	DBLP DOI BibTeX RDF	Insense, wireless sensor network, model, Component, composition, language, resource constraint
92	Oliver Sharma, Jonathan Lewis, Alice Miller 0001, Alan Dearle, Dharini Balasubramaniam, Ronald Morrison, Joe Sventek	Towards Verifying Correctness of Wireless Sensor Network Applications Using Insense and Spin.	SPIN	2009	DBLP DOI BibTeX RDF	Wireless Sensor Networks, Distributed systems, Concurrency, Formal Modelling
36	Amirali Aghazadeh, Mohammad Golbabaee, Andrew S. Lan, Richard G. Baraniuk	Insense: Incoherent sensor selection for sparse signals.	Signal Process.	2018	DBLP DOI BibTeX RDF
36	Amirali Aghazadeh, Mohammad Golbabaee, Andrew S. Lan, Richard G. Baraniuk	Insense: Incoherent Sensor Selection for Sparse Signals.	ICASSP	2018	DBLP DOI BibTeX RDF
36	Amirali Aghazadeh, Mohammad Golbabaee, Andrew S. Lan, Richard G. Baraniuk	Insense: Incoherent Sensor Selection for Sparse Signals.	CoRR	2017	DBLP BibTeX RDF
36	Callum Cameron, Paul Harvey 0002, Joseph S. Sventek	A Virtual Machine for the Insense Language.	MOBILWARE	2013	DBLP DOI BibTeX RDF
36	Mark Blum, Alex Pentland, Gerhard Tröster	InSense: Interest-Based Life Logging.	IEEE Multim.	2006	DBLP DOI BibTeX RDF
28	Dharini Balasubramaniam, Alan Dearle, Ronald Morrison	A Composition-Based Approach to the Construction and Dynamic Reconfiguration of Wireless Sensor Network Applications.	SC@ETAPS	2008	DBLP DOI BibTeX RDF	wireless sensor network, component, composition, reconfiguration, decomposition, channel, dynamic evolution

Displaying result #1 - #8 of 8 (100 per page; Change: )