|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10 occurrences of 10 keywords
|
|
|
|
|
Results
Found 9 publication records. Showing 9 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Arnab Ray, Christopher Ackermann, Rance Cleaveland, Charles P. Shelton, Chris Martin |
Functional and Nonfunctional Design Verification for Embedded Software Systems.  |
Advances in Computers  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Veronique Lefebvre, Ying Zheng, Chris Martin, Ian M. Devonshire, Samuel Harris, John E. W. Mayhew |
A Dynamic Causal Model of the Coupling Between Pulse Stimulation and Neural Activity.  |
Neural Computation  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnab Ray, Iris Morschhaeuser, Christopher Ackermann, Rance Cleaveland, Charles P. Shelton, Chris Martin |
Validating Automotive Control Software Using Instrumentation-Based Verification.  |
ASE  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Martin, Mohammed H. Haji, Peter M. Dew, Mike Pilling, Peter K. Jimack |
Semantically-Enhanced Model-Experiment-Evaluation Processes (SeMEEPs) within the Atmospheric Chemistry Community.  |
IPAW  |
2008 |
DBLP DOI BibTeX RDF |
Atmospheric Chemistry, Provenance, Semantic Metadata, Model Development |
| 1 | Maggie Morgan, Vicki L. Hanson, Chris Martin, Janet Hughes, Alan F. Newell |
Accessibility Challenge - a Game Show Investigating the Accessibility of Computer Systems for Disabled People.  |
CHI Extended Abstracts  |
2008 |
DBLP DOI BibTeX RDF |
accessibility, disability, user-centred design, theatre |
| 1 | Maggie Morgan, Chris Martin, Marilyn Rose McGee-Lennon, Julia Clark, Nick A. Hine, Maria Klara Wolters, John L. Arnott |
Requirements gathering with diverse user groups and stakeholders.  |
CHI Extended Abstracts  |
2008 |
DBLP DOI BibTeX RDF |
interactive forum theatre, multiple and diverse user groups, user-centered design, requirements gathering, telecare |
| 1 | Stuart Clark, Chris Martin, Peter J. Costianes, Vladimir Kolinko, John Lovberg |
A Real-time Wide field of View Passive Millimeter-wave Imaging Camera.  |
AIPR  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Martin, Wei Zhao, Graeme Doherty, Andrew Bohonis |
GARTL: A Real-time Programming Language Based on Multi-version Computation.  |
ICCL  |
1990 |
DBLP BibTeX RDF |
|
| 1 | Chris Martin, Chris Hankin |
Finding fixed points in finite lattices.  |
FPCA  |
1987 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #9 of 9 (100 per page; Change: )
|
|