|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 33 occurrences of 28 keywords
|
|
|
|
|
Results
Found 41 publication records. Showing 41 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Victoria Bennett, Adrian Haffegee, Brian Matthews, Srikanth Nagella, Andrew Shaw, Jon Styles |
Building a Video Wall for Earth Observation Data.  |
TPCG  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alvaro E. Arenas, Benjamin Aziz, Szymon Maj, Brian Matthews |
An Autonomic Security Monitor for Distributed Operating Systems - (Invited Paper). |
ServiceWave |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Arif Shaon, Sarah Callaghan, Bryan Lawrence, Brian Matthews, Andrew Woolf, Timothy Osborn, Colin Harpham |
A Linked Data Approach to Publishing Complex Scientific Workflows. |
eScience |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael D. Wilson, Shirley Y. Crompton, Brian Matthews, Alexey Orlov |
Enforcing Scientific Data Sharing Agreements. |
eScience |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kleopatra Konstanteli, Tom Kirkham, Julian R. Gallop, Brian Matthews, Ian J. Johnson, Magdalini Kardara, Theodora A. Varvarigou |
Execution Management for Mobile Service-Oriented Environments. |
IJSSOE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Matthews, Arif Shaon, Juan Bicarregui, Catherine Jones, Esther Conway, Jim Woodcock |
Considering Software Preservation. |
ERCIM News |
2010 |
DBLP BibTeX RDF |
|
| 1 | Erica Y. Yang, Brian Matthews, Michael D. Wilson |
Enhancing the Core Scientific Metadata Model to Incorporate Derived Data. |
eScience |
2010 |
DBLP DOI BibTeX RDF |
large scale facilities, neutron sources, scientific process, data management, data sharing, data linking |
| 1 | Koraljka Golub, Jim Moon, Douglas Tudhope, Catherine Jones, Brian Matthews, BartBomiej Puzon, Marianne Lykke Nielsen |
EnTag: enhancing social tagging for discovery. |
JCDL |
2009 |
DBLP DOI BibTeX RDF |
ACM computing classification scheme, dewey decimal classification, intute, subject indexing, folksonomies, social tagging, controlled vocabularies, institutional repository, digital collection |
| 1 | Erica Y. Yang, Brian Matthews |
DToken: A Lightweight and Traceable Delegation Architecture for Distributed Systems. |
SRDS |
2009 |
DBLP DOI BibTeX RDF |
delegation architecture, Grid delegation, traceable delegation, lightweight delegation, Grid key management |
| 1 | Damian Flannery, Brian Matthews, Tom Griffin, Juan Bicarregui, Michael Gleaves, Laurent Lerusse, Roger Downing, Alun Ashton, Shoaib Sufi, Glen Drinkwater, Kerstin Kleese van Dam |
ICAT: Integrating Data Infrastructure for Facilities Based Science. |
eScience |
2009 |
DBLP DOI BibTeX RDF |
facilities, synchrotron source, neutron source, metadata, data management, data curation |
| 1 | Brian Matthews, Alastair Duncan, Catherine Jones, Cameron Neylon, Mark Borkum, Simon J. Coles, Philip Hunter |
A Protocol for Exchanging Scientific Citations. |
eScience |
2009 |
DBLP DOI BibTeX RDF |
citation tracking, scholarly works, data centre, trackback, metadata, institutional repository |
| 1 | Alvaro Arenas, Benjamin Aziz, Juan Bicarregui, Brian Matthews |
Managing Conflicts of Interest in Virtual Organisations. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimo Coppola, Yvon Jégou, Brian Matthews, Christine Morin, Luis Pablo Prieto, Oscar David Sánchez, Erica Y. Yang, Haiyan Yu |
Virtual Organization Support within a Grid-Wide Operating System. |
IEEE Internet Computing |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | F. Ubis, Tom Kirkham, Brian Matthews, Jose L. Martinez Lastra, Robert Harrison, V. Villaseñor Herrera, A. Chowdrey |
The Challenges along the Road to the Realisation of a Factory Automation Lifecycle. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
eManufacturing, Web Services, Automation, Enterprise Integration |
| 1 | Alvaro Arenas, Benjamin Aziz, Juan Bicarregui, Brian Matthews, Erica Y. Yang |
Modelling Security Properties in a Grid-based Operating System with Anti-Goals. |
ARES |
2008 |
DBLP DOI BibTeX RDF |
Security, Grid, Requirement Engineering |
| 1 | Alvaro Arenas, Michael D. Wilson, Brian Matthews |
On trust management in grids. |
Autonomics |
2007 |
DBLP DOI BibTeX RDF |
grids, trust management, grid security, virtual organisation |
| 1 | Erica Y. Yang, Brian Matthews, Amit D. Lakhani, Yvon Jégou, Christine Morin, Oscar David Sánchez, Carsten Franke, Philip Robinson, Adolf Hohl, Bernd Scheuermann, Daniel Vladusic, Haiyan Yu, An Qin, Rubao Lee, Erich Focht, Massimo Coppola |
Virtual Organization Management in XtreemOS: an Overview. |
CoreGRID |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Amit D. Lakhani, Erica Y. Yang, Brian Matthews, Ian J. Johnson, Syed Naqvi, Gheorghe Cosmin Silaghi |
Threat Analysis and Attacks on XtreemOS: a Grid-enabled Operating System. |
CoreGRID |
2007 |
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 | Daniel Olmedilla, Omer F. Rana, Brian Matthews, Wolfgang Nejdl |
Security and Trust Issues in Semantic Grids. |
Semantic Grid |
2005 |
DBLP BibTeX RDF |
|
| 1 | Tom Kirkham, Julian R. Gallop, Simon C. Lambert, Brian Matthews, Damian Mac Randal, Brian Ritchie |
Providing Reliable Distributed Grid Services in Mobile Environments. |
SOAS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Brian Matthews, Theodosis Dimitrakos |
Deploying Trust Policies on the Semantic Web. |
iTrust |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael D. Wilson, Brian Matthews |
The Future of the World Wide Web? |
BNCOD |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alvaro E. Arenas, Brian Matthews |
Toward a Library of Problem-Solving Methods on the Internet. |
EKAW |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alvaro E. Arenas, Brian Matthews |
An Experiment on Modelling Agents and Knowledge for the Semantic Web. |
AIMSA |
2004 |
DBLP DOI BibTeX RDF |
Web Services, Semantic Web, Knowledge Modelling, Problem-Solving Methods, CommonKADS |
| 1 | Theodosis Dimitrakos, Brian Matthews, Simon C. Lambert, Juan Bicarregui |
Meta-data Management Issues Underpinning Emerging Solutions for Distributed Trust and Contract Management in Enterprise Grid and P2P Systems. Experiences from GRASP, SWAD-Europe, PELLUCID and CORAS projects. |
MMGPS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Theodosis Dimitrakos, Ivan Djordjevic, Brian Matthews, Juan Bicarregui, Chris I. Phillips |
Policy-Driven Access Control over a Distributed Firewall Architecture. (PDF / PS) |
POLICY |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Matthews, F. Robert A. Hopgood, Michael D. Wilson (eds.) |
The Web and the Grid: from e-science to e-business. EuroWeb 2002 Conference, St Anne's College, Oxford, UK. 17-18 December 2002 |
EuroWeb |
2002 |
DBLP BibTeX RDF |
|
| 1 | Ken Miller, Brian Matthews |
Having the Right Connections: the LIMBER Project. |
J. Digit. Inf. |
2001 |
DBLP BibTeX RDF |
|
| 1 | John V. Ashby, Juan Bicarregui, David R. S. Boyd, Kerstin Kleese van Dam, Simon C. Lambert, Brian Matthews, Kevin D. O'Neill |
A Multidisciplinary Scientific Data Portal. |
HPCN |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Theodosis Dimitrakos, Juan Bicarregui, Brian Matthews, T. S. E. Maibaum |
Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context. |
ZB |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon A. Dobson, Brian Matthews |
Ionic Types. |
ECOOP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Matthews, Elvira Locuratolo |
Formal Development of Databases in ASSO and B. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Bicarregui, Brian Matthews |
Proof and Refutation in Formal Software Development. |
IWFM |
1999 |
DBLP BibTeX RDF |
|
| 1 | Juan Bicarregui, Brian Matthews, Brian Ritchie, Sten Agerholm |
Investigating the Integration of two Formal Methods. |
Formal Asp. Comput. |
1998 |
DBLP DOI BibTeX RDF |
Heterogeneous development, Formal specification, Translation, Tool support, B, VDM |
| 1 | Brian Matthews, Brian Ritchie, Juan Bicarregui |
Synthesising Structure from Flat Specifications. |
B |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Locuratolo, Brian Matthews |
On the Relationship between ASSO and B. |
EJC |
1998 |
DBLP BibTeX RDF |
|
| 1 | Brian Matthews, Elvira Locuratolo |
Translating Structured Database Schemas into Abstract Machines. |
IWFM |
1998 |
DBLP BibTeX RDF |
|
| 1 | Juan Bicarregui, Jeremy Dick, Brian Matthews, Eoin Woods |
Making the Most of Formal Specification Through Animation, Testing and Proof. |
Sci. Comput. Program. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Bicarregui, Brian Matthews |
Formal Methods in Practice: A Comparison of Two Support Systems for Proof. |
SOFSEM |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Matthews |
MERILL: An Equational Reasoning System in Standard ML. |
RTA |
1993 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #41 of 41 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")