|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 15 occurrences of 15 keywords
|
|
|
|
|
Results
Found 7 publication records. Showing 7 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Doina Bucur, Marta Z. Kwiatkowska |
On software verification for sensor nodes.  |
Journal of Systems and Software  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Doina Bucur |
Intelligible TinyOS Sensor Systems: Explanations for Embedded Software. |
CONTEXT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Doina Bucur, Marta Z. Kwiatkowska |
Software verification for TinyOS. |
IPSN |
2010 |
DBLP DOI BibTeX RDF |
sensor networks, model checking, reliability, safety, software verification, TinyOS, telos, MSP430 |
| 1 | Doina Bucur, Marta Z. Kwiatkowska |
Bug-Free Sensors: The Automatic Verification of Context-Aware TinyOS Applications. |
AmI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Doina Bucur, Mikkel Baun Kjærgaard |
GammaSense: Infrastructureless Positioning Using Background Radioactivity. |
EuroSSC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Doina Bucur, Mogens Nielsen |
Secure Data Flow in a Calculus for Context Awareness. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
security, Ubiquitous Computing, context awareness, type system, Mobile Ambients |
| 1 | Doina Bucur, Jakob E. Bardram |
Resource Discovery in Activity-Based Sensor Networks. |
MONET |
2007 |
DBLP DOI BibTeX RDF |
active-based sensor networks, body sensor networks, service discovery protocol |
Displaying result #1 - #7 of 7 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")