|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 19 occurrences of 19 keywords
|
|
|
|
|
Results
Found 9 publication records. Showing 9 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Richard Anderson, John Lloyd, Sophie Newland |
Software for national level vaccine cold chain management.  |
ICTD  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | John Lloyd |
Higher-Order Logic. |
Encyclopedia of Machine Learning |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Baldoni, Jamal Bentahar, M. Birna van Riemsdijk, John Lloyd (eds.) |
Declarative Agent Languages and Technologies VII, 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers |
DALT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | John Lloyd, Jan Jürjens |
Security Analysis of a Biometric Authentication System Using UMLsec and JML. |
MoDELS |
2009 |
DBLP DOI BibTeX RDF |
UMLsec, Security analysis, biometric authentication, JML |
| 1 | Andrew D. McGettrick, Roger D. Boyle, Roland N. Ibbett, John Lloyd, Gillian Lovegrove, Keith Mander |
Grand Challenges in Computing: Education - A Summary. |
Comput. J. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven L. Vanderlinden, Bruce O. Anthony, Glenn D. Batalden, Bhaskar K. Gorti, John Lloyd, James Macon Jr., Gregory Brian Pruett, Bruce A. Smith |
BladeCenter T system for the telecommunications industry. |
IBM Journal of Research and Development |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles Steinfield, Marleen Huysman, Kenneth David, Chyng-Yang Jang, Jan Poot, Mirjam Huis in 't Veld, Ingrid Mulder, Erik D. Goodman, John Lloyd, Timothy Hinds, J. H. Erik Andriessen, Kirsten Jarvis, Klaas van der Werff, Angel Cabrera |
New Methods for Studying Global Virtual Teams: Towards a Multi-Faceted Approach. (PDF / PS) |
HICSS |
2001 |
DBLP DOI BibTeX RDF |
collaboration, communication, groupware, culture, groups, cscw, virtual teams, research methods |
| 1 | John Lloyd |
Parallel Formulations of Matrix-Vector Multiplication for Matrices with Large Aspect Ratios. |
PDP |
1996 |
DBLP DOI BibTeX RDF |
parallel formulations, large aspect ratio matrices, square matrices, square meshes, wraparound connections, parallel algorithms, parallel algorithms, parallel architectures, parallel architectures, partitioning, hypercubes, hypercube networks, matrix multiplication, communication overhead, matrix-vector multiplication |
| 1 | Mary Jean Harrold, Loren Larsen, John Lloyd, David Nedved, Melanie Page, Gregg Rothermel, Manvinder Singh, Michael Smith |
Aristotle: a system for development of program analysis based tools. |
ACM Southeast Regional Conference |
1995 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #9 of 9 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")