|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4 occurrences of 4 keywords
|
|
|
|
|
Results
Found 4 publication records. Showing 4 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Fábio Oliveira, Andrew Tjang, Ricardo Bianchini, Richard P. Martin, Thu D. Nguyen |
Barricade: defending systems against operator mistakes.  |
EuroSys  |
2010 |
DBLP DOI BibTeX RDF |
operator mistakes, manageability |
| 1 | Andrew Tjang, Fábio Oliveira, Ricardo Bianchini, Richard P. Martin, Thu D. Nguyen |
Model-Based Validation for Internet Services.  |
SRDS  |
2009 |
DBLP DOI BibTeX RDF |
operator mistake, model, internet service |
| 1 | Andrew Tjang, Fábio Oliveira, Richard P. Martin, Thu D. Nguyen |
A: an assertion language for distributed systems.  |
PLOS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Tjang, Michael Pagliorola, Hiral Patel, Xiaoyan Li, Richard P. Martin |
Active Tapes: Bus-Based Sensor Networks.  |
LCN  |
2004 |
DBLP DOI BibTeX RDF |
Power buses, Data buses, Sensor networks |
Displaying result #1 - #4 of 4 (100 per page; Change: )
|
|