|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 34 occurrences of 33 keywords
|
|
|
|
|
Results
Found 49 publication records. Showing 49 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Andrew Martin |
Enterprise IT Architecture in Large Federated Organizations: The Art of the Possible.  |
IS Management  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Bannerman, Andrew Martin |
A multiple comparative study of test-with development product changes and their effects on team speed and product quality. |
Empirical Software Engineering |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Ho Huh, John Lyle, Cornelius Namiluko, Andrew Martin |
Managing application whitelists in trusted distributed systems. |
Future Generation Comp. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wattana Viriyasitavat, Andrew Martin |
Formalizing Trust Requirements and Specification in Service Workflow Environments. |
ICEIS |
2011 |
DBLP BibTeX RDF |
|
| 1 | David Wallom, Matteo Turilli, Andrew Martin, Anbang Ruan, Gareth Taylor, Nigel Hargreaves, Alan McMoran |
myTrustedCloud: Trusted Cloud Infrastructure for Security-critical Computation and Data Managment. |
CloudCom |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cornelius Namiluko, Jun Ho Huh, Andrew Martin |
Verifying Trustworthiness of Virtual Appliances in Collaborative Environments. |
TRUST |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chunqing Chen, Jin Song Dong, Jun Sun 0001, Andrew Martin |
A verification system for interval-based specification languages. |
ACM Trans. Softw. Eng. Methodol. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Martin, Andrew Lim, Simon Colton, Cameron Browne |
Evolving 3D Buildings for the Prototype Video Game Subversion. |
EvoApplications |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Martin, Jim Davies, Steve Harris |
Towards a Framework for Security in eScience. |
eScience |
2010 |
DBLP DOI BibTeX RDF |
security, methodology, assurance |
| 1 | Wattana Viriyasitavat, Andrew Martin |
Formal Trust Specification in Service Workflows. |
EUC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Cornelius Namiluko, Andrew Martin |
An Abstract Model of a Trusted Platform. |
INTRUST |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | John Lyle, Andrew Martin |
Engineering Attestable Services. |
TRUST |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | John Lyle, Andrew Martin |
On the Feasibility of Remote Attestation for Web Services. |
CSE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Ho Huh, Andrew Martin |
Towards a Trustable Virtual Organisation. |
ISPA |
2009 |
DBLP DOI BibTeX RDF |
Trustable Virtual Organisation, Blind Analysis Server, Configuration Resolver, Virtualization, Trusted Computing |
| 1 | Liqun Chen, Chris J. Mitchell, Andrew Martin (eds.) |
Trusted Computing, Second International Conference, Trust 2009, Oxford, UK, April 6-8, 2009, Proceedings |
TRUST |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kieran Hervold, Andrew Martin, Roger A. Kirkpatrick, Paul F. Mc Kenna, F. A. Ramirez-Weber |
Hedgehog Signaling Pathway Database: a repository of current annotation efforts and resources for the Hh research community. |
Nucleic Acids Research |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Emanuela Merelli, Giuliano Armano, Nicola Cannata, Flavio Corradini, Mark d'Inverno, Andreas Doms, Phillip W. Lord, Andrew Martin, Luciano Milanesi, Steffen Möller, Michael Schroeder, Michael Luck |
Agents in bioinformatics, computational and systems biology. |
Briefings in Bioinformatics |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lee Momtahan, Andrew Martin, A. W. Roscoe |
A Taxonomy of Web Services Using CSP. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alvaro E. Arenas, Jin Song Dong, Andrew Martin, Brian Matthews |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Martin |
Successful IT application architecture design: an empirical study. |
Inf. Syst. E-Business Management |
2006 |
DBLP DOI BibTeX RDF |
Performance, Software engineering, Design, Architecture, Application, Project, Technology, Information |
| 1 | Andrew Martin, Deepak Khazanchi |
Information Availability and Security Policy. |
AMCIS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Andrew Cooper, Andrew Martin |
Towards a Secure, Tamper-Proof Grid Platform. |
CCGRID |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Cooper, Andrew Martin |
Towards an open, trusted digital rights management platform. |
Digital Rights Management Workshop |
2006 |
DBLP DOI BibTeX RDF |
virtual machines, digital rights management, trusted computing, DRM, mandatory access controls |
| 1 | David Spence, Neil Geddes, Jens Jensen, Andrew Richards, Matthew Viljoen, Andrew Martin, Matthew J. Dovey, Mark Norman, Kang Tang, Anne E. Trefethen, David Wallom, Rob Allan, David Meredith |
ShibGrid: Shibboleth Access for the UK National Grid Service. |
e-Science |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenbo Mao, Andrew Martin, Hai Jin, Huanguo Zhang |
Innovations for Grid Security from Trusted Computing. |
Security Protocols Workshop |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard Chivers, Andrew Martin |
Editorial. |
Softw., Pract. Exper. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | François Guimbretière, Andrew Martin, Terry Winograd |
Benefits of merging command selection and direct manipulation. |
ACM Trans. Comput.-Hum. Interact. |
2005 |
DBLP DOI BibTeX RDF |
Control menu, FlowMenu, command selection, direct manipulation, two-handed interaction, Toolglass |
| 1 | Kenneth McGarry, Andrew Martin, J. F. Dale Addison |
Data Mining and User Profiling for an E-Commerce System. |
Classification and Clustering for Knowledge Discovery |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard E. Ladner, Melody Y. Ivory, Rajesh Rao, Sheryl Burgstahler, Dan Comden, Sangyun Hahn, Matthew Renzelmann, Satria Krisnandi, Mahalakshmi Ramasamy, Beverly Slabosky, Andrew Martin, Amelia Lacenski, Stuart Olsen, Dmitri Groce |
Automating tactile graphics translation. |
ASSETS |
2005 |
DBLP DOI BibTeX RDF |
machine learning, image processing, accessibility, user study, disability, braille, tactile graphics |
| 1 | Jim Davies, Andrew Simpson, Andrew Martin |
Teaching Formal Methods in Context. |
TFM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernest A. Edmonds, Andrew Martin, Sandra Pauletto |
Audio-visual interfaces in digital art. |
Advances in Computer Entertainment Technology |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Dave Stainforth, Andrew Martin, Andrew Simpson, Carl Christensen, Jamie Kettleborough, Tolu Aina, Myles Allen |
Security Principles for Public-Resource Modeling Research. |
WETICE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Martin, Andrew Simpson |
Generalising the Z Schema Calculus: Database Schemas and Beyond. |
APSEC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Utting, Ian Toyn, Jing Sun 0002, Andrew Martin, Jin Song Dong, Nicholas Daley, David W. Currie |
ZML: XML Support for Standard Z. |
ZB |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Simpson, Andrew Martin, Jeremy Gibbons, Jim Davies, Steve McKeever |
On The Supervision and Assessment Of Part-Time Postgraduate Software Engineering Projects. (PDF / PS) |
ICSE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Lee Momtahan, Andrew Martin |
e-Science Experiences: Software Engineering Practice and the EU DataGrid. |
APSEC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenneth McGarry, Andrew Martin, J. F. Dale Addison, John MacIntyre |
Data Mining and User Profiling for An E-Commerce System. |
FSKD |
2002 |
DBLP BibTeX RDF |
|
| 1 | Dave Stainforth, Jamie Kettleborough, Andrew Martin, Andrew Simpson, R. Gillis, A. Akkas, R. Gault, Mat Collins, David Gavaghan, Myles Allen |
Climateprediction.net: Design Principles for Publicresource Modeling Research. |
IASTED PDCS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Andrew Martin, Colin J. Fidge |
Lifting in Z. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Martin |
Relating Z and First-Order Logic. |
Formal Asp. Comput. |
2000 |
DBLP DOI BibTeX RDF |
Undefinedness, Models, Tools, Theorem proving, Logics, Schemas, Z notation |
| 1 | Philip Yetton, Andrew Martin, Rajeev Sharma, Kim Johnston |
A model of information systems development project performance. |
Inf. Syst. J. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Martin |
Relating Z and First-Order Logic. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip Yetton, Andrew Martin, Rajeev Sharma, Kim Johnston |
Reframing IS Project Management: Building an Empirical Model of Project Performance. |
ECIS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Matt Kaufmann, Andrew Martin, Carl Pixley |
Design Constraints in Symbolic Model Checking. |
CAV |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Owen Traynor, Daniel Hazel, Peter Kearney, Andrew Martin, Ray Nickson, Luke Wildman |
The Cogito Development System. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon G. Hall, Andrew Martin |
W Reconstructed. |
ZUM |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Martin, M. Chan |
Information Systems Project Redefinition in New Zealand: Will We Ever Learn? |
Australian Computer Journal |
1996 |
DBLP BibTeX RDF |
|
| 1 | Andrew Martin |
Workflow support for re-engineering case management in an English law firm. |
Business Process Re-Engineering |
1994 |
DBLP BibTeX RDF |
|
| 1 | Andrew Martin |
Encoding W: A Logic for Z in 2OBJ. |
FME |
1993 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #49 of 49 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")