Computing Publications

Publications Home » Conferences

Conferences

Conference and Workshop Papers

Performance-energy trade-offs in smartphones
Tiberiu Chis, Peter G. Harrison
The 19th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWIM 2016)
ACM Digital Library
2016
Automatic ventricular longitudinal LEAP is equivalent to semi-automatic VBSI on ADNI data in terms of group separation
Katherine Gray, Robin Wolz, Mark Austin, Daniel Rueckert, K McLeish, DLG Hill
Clinical Trials on Alzheimer's Disease (CTAD)
November, 2013
A Model of Speculative Parallel Scheduling in Networks of Unreliable Sensors
Zhan Qiu, Peter G. Harrison
28th International Symposium on Computer and Information Sciences (ISCIS 2013)
Volume 264, pp.107–116
Lecture Notes in Electrical Engineering, Springer
October, 2013
Analysing and Predicting Patient Arrival Times in Hospitals using Hidden Markov Models [PDF]
Tiberiu Chis, Peter G. Harrison
28th International Symposium on Computer and Information Sciences (ISCIS '13)
Volume 264, pp.77–85
Lecture Notes in Engineering and Computer Science, Springer
October, 2013
Bounds on the deviation of discrete-time Markov chains from their mean-field model [PDF]
Luca Bortolussi, Richard Hayden
31st International Symposium on Computer Performance, Modeling, Measurements and Evaluation (IFIP PERFORMANCE)
2013
Performance Enhancement by Means of Task Replication
Peter G. Harrison, Zhan Qiu
10th European Workshop
Volume 8168, pp.191–205
Lecture Notes in Computer Science, Springer Berlin / Heidelberg
September, 2013
Product-forms in batch networks: approximation and asymptotics [PDF]
Peter G. Harrison, Richard Hayden, William J. Knottenbelt
31st International Symposium on Computer Performance, Modeling, Measurements and Evaluation (IFIP PERFORMANCE)
2013
Sliding Hidden Markov Model for Evaluating Discrete Data
Tiberiu Chis
10th European Workshop on Performance Engineering (EPEW '13)
Volume 8168, pp.251–262
Lecture Notes in Computer Science, Springer Berlin / Heidelberg
September, 2013
iSWoM: The incremental Storage Workload Model using Hidden Markov Models [PDF]
Tiberiu Chis, Peter G. Harrison
20th International Conference on Analytical and Stochastic Modelling Techniques and Applications (ASMTA '13)
Volume 7984, pp.127–141
Lecture Notes in Computer Science, Springer Berlin / Heidelberg
July, 2013
Journey data based arrival forecasting for bicycle hire schemes [PDF]
Marcel C. Guenther, Jeremy T. Bradley
20th International Conference on Analytical & Stochastic Modelling Techniques & Applications (ASTMA'13)
Lecture Notes in Computer Science, Springer
2013
Mean-field Analysis of Data Flows in Wireless Sensor Networks
Marcel C. Guenther, Jeremy T. Bradley
ICPE'13: Fourth Joint WOSP/SIPEW International Conference on Performance Engineering
2013
Deriving the rate equations characterising product-form models and application to propagating synchronisations
Peter G. Harrison, Andrea Marin
6th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2012)
IEEE
October, 2012
Label propagation using group agreement - DISPATCH
R. A. Heckemann, Christian Ledig, Paul Aljabar, Katherine Gray, Daniel Rueckert, JV Hajnal, A. Hammers
MICCAI 2012 Grand Challenge and Workshop on Multi-Atlas Labeling
October, 2012
Collecting battery data with Open Battery [PDF]
Gareth Jones, Peter G. Harrison
Imperial College Computing Student Workshop (ICCSW 2012)
Schloss Dagstuhl
September, 2012
Incremental HMM with an improved Baum-Welch Algorithm
Tiberiu Chis, Peter G. Harrison
Imperial College Computing Student Workshop (ICCSW '12)
September, 2012
Mean field for performance models with deterministically-timed transitions [PDF]
Richard Hayden
9th International Conference on Quantitative Evaluation of Systems (QEST 2012)
2012
Specification and efficient computation of passage-time distributions in GPA [PDF]
Matej Kohut, Anton Stefanek, Richard Hayden, Jeremy T. Bradley
9th International Conference on Quantitative Evaluation of Systems (QEST 2012)
2012
An eigenvalue-problem formulation for non-parametric mutual information maximisation for linear dimensionality reduction [PDF]
Raymond Liu, Duncan Gillies
The 2012 International Conference on Image Processing, Computer Vision, and Pattern Recognition (IPCV 2012)
July, 2012
Moment closures for performance models with highly non-linear rates [PDF]
Marcel C. Guenther, Anton Stefanek, Jeremy T. Bradley
EPEW 2012, 9th European Performance Engineering Workshop
2012
Structural differences in cognitively normal elderly individuals with abnormal amyloid biomarkers: Detection using volumetric MRI in ADNI and AIBL
Katherine Gray, Robin Wolz, R. A. Heckemann, Daniel Rueckert, A. Hammers
Journal of Alzheimer's and Dementia: The Journal of the Alzheimer's Association
Volume 8, Issue 4, p.6
Elsevier
July, 2012
Controlling Variability in Split-Merge Systems
Iryna Tsimashenka, William J. Knottenbelt, Peter G. Harrison
Analytical and Stochastic Modeling Techniques and Applications (ASMTA 2012)
Springer
June, 2012
Lock Inference in the Presence of Large Libraries [PDF]
Khilan Gudka, Tim Harris, Susan Eisenbach
Eurepean Conference for Object-Oriented Programming
June, 2012
Mean-field analysis of Markov models with reward feedback [PDF]
Anton Stefanek, Richard Hayden, Marc Mac Gonagle, Jeremy T. Bradley
ASMTA 2012, 19th International Conference on Analytic and Stochastic Modelling Techniques and Applications
Lecture Notes in Computer Science, Springer Verlag
2012
A Class of Tractable Models for Run-Time Performance Evaluation [PDF]
Giuliano Casale, Peter G. Harrison
3rd ACM/SPEC International Conference on Performance Engineering (ICPE 2012)
April, 2012
Zeno: An automated prover for properties of recursive data structures [PDF]
William Sonnex, Sophia Drossopoulou, Susan Eisenbach
TACAS
Lecture Notes in Computer Science
March, 2012
Nonrigid free-form registration using landmark-based statistical deformation models [PDF]
Stefan Pszczolkowski, Luis Pizarro, Ricardo Guerrero Moreno, Daniel Rueckert
SPIE Medical Imaging
Volume 8314
SPIE
February, 2012
The Environment as an Argument [PDF]
Pedro Martins, Julie McCann, Susan Eisenbach
Fourteenth International Symposium on Practical Aspects of Declarative Languages
Volume 7149
Lecture Notes in Computer Science
January, 2012
Automatic Synchronisation Detection in Petri Net Performance Models Derived from Location Tracking Data
Nikolas Anastasiou, William J. Knottenbelt, Andrea Marin
8th European Performance Engineering Workshop (EPEW 2011)
October, 2011
GPA - A tool for fluid scalability analysis of massively parallel systems [PDF]
Anton Stefanek, Richard Hayden, Jeremy T. Bradley
QEST'11, 8th International Conference on Quantitative Evaluation of Systems
pp.147–148
IEEE
October, 2011
Higher moment analysis of a spatial stochastic process algebra [PDF]
Marcel C. Guenther, Jeremy T. Bradley
EPEW 2011, 8th European Performance Engineering Workshop
Volume 6977, pp.87–101
Lecture Notes in Computer Science, Springer
October, 2011
Trust the Clones [PDF]
Sophia Drossopoulou, James Noble
FoVEOOS - preproceedings
October, 2011
A PMIF with Petri Net Building Blocks
Catalina , Peter G. Harrison
ICPE '11 Proceeding of the second joint WOSP/SIPEW international conference on Performance engineering
ACM
September, 2011
Random Forest-Based Manifold Learning for Classification of Imaging Data in Dementia
Katherine Gray, Paul Aljabar, R. A. Heckemann, A. Hammers, Daniel Rueckert
MLMI Workshop, MICCAI 2011
Volume 7009, pp.159–166
Lecture Notes in Computer Science, Springer
2011
SPORTSBET: A Tool for the Quantitative Evaluation and Execution of Betting Exchange Trading Strategies
Polyvios Tsirimpas, William J. Knottenbelt
8th International Conference on Quantitative Evaluation of SysTems (QEST) 2011
pp.155–156
CPS
September, 2011
Stochastic Refinement
Alireza Tamaddoni Nezhad, Stephen Muggleton
20th International Conference on Inductive Logic Programming (ILP10)
pp.222–237
Springer-Verlag
2011
A Sip of the Chalice [PDF]
Azalea Raad
FTfJP 2011
ACM Digital Library, ACM Press
July, 2011
A Sip of the Chalice [PDF]
Azalea Raad, Sophia Drossopoulou
July, 2011
Fast brain-wide search of highly discriminative regions in medical images: an application to Alzheimer's disease
Eva Janousova, Maria Vounou, Robin Wolz, Katherine Gray, Daniel Rueckert, Giovanni Montana
MIUA 2011
July, 2011
Fluid Queue Models of Battery Life [PDF]
Gareth Jones, Peter G. Harrison, Uli Harder, A. J. Field
IEEE 19th International Symposium on Modelling, Analysis & Simulation of Computer and Telecommunication Systems (MASCOTS 2011)
July, 2011
High Coverage Testing of Haskell Programs [PDF]
Tristan Allwood, Cristian Cadar, Susan Eisenbach
International Symposium on Software Testing and Analysis
July, 2011
Regional Analysis of FDG-PET for the Classification of Alzheimer's Disease
Katherine Gray, Robin Wolz, Shiva Keihaninejad, R. A. Heckemann, Paul Aljabar, A. Hammers, Daniel Rueckert
MIUA 2011
July, 2011
Roles for Owners - Work in progress - [PDF]
Sophia Drossopoulou, David Clarke, James Noble
IWACO 2011
ACM Digital Library, ACM Press
July, 2011
The Effect of Private Valuation on E-Auction Revenues
Timothy Leung, William J. Knottenbelt
Digital Enterprise and Information Systems (DEIS 2011)
July, 2011
Data Allocation Strategies for the Management of Quality of Service in Virtualised Storage Systems
Felipe Franciosi, William J. Knottenbelt
IEEE Conference on Mass Storage Systems and Technologies (MSST 2011)
pp.1–6
May, 2011
Deriving Generalised Stochastic Petri Net performance models from high-precision location tracking data [PDF]
Nikolas Anastasiou, Tzu-Ching Horng, William J. Knottenbelt
Fifth International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2011)
May, 2011
Efficient Parallelization of the Method of Moments for Queueing Networks Using Multi-Modular Algebra [PDF]
Michalis Makaronidis, Giuliano Casale
5th International ICST Conference on Performance Evaluation Methodologies and Tools (ValueTools 2011)
May, 2011
Feature selection using order statistics [PDF]
Raymond Liu, Duncan Gillies
11th international conference on pattern recognition and information processing
pp.195–199
May, 2011
Hierarchically constructed Petri-nets and product-forms
Peter G. Harrison, Catalina
5th International ICST Conference on Performance Evaluation Methodologies and Tools (ValueTools 2011)
ACM
May, 2011
Towards MCTS for Creative Domains [PDF]
Cameron Browne
LNCS
pp.96–101
Springer
May, 2011
A repository of MR morphometry data in Alzheimer's disease and mild cognitive impairment
R. A. Heckemann, Shiva Keihaninejad, Paul Aljabar, Katherine Gray, Casper Nielsen, Daniel Rueckert, JV Hajnal, A. Hammers
ISBI 2011
pp.875–878
IEEE
2011
Fluid analysis of energy consumption using rewards in massively parallel Markov models [PDF]
Anton Stefanek, Richard Hayden, Jeremy T. Bradley
ICPE 2011, 2nd ACM/SPEC International Conference on Performance Engineering, March 14-16, 2011, Karlsruhe, Germany
pp.121–131
ACM
March, 2011
LocTrackJINQS: An Extensible Location-aware Simulation Tool for Multiclass Queueing Networks
Tzu-Ching Horng, Nikolas Anastasiou, A. J. Field, William J. Knottenbelt
Electronic Notes in Theoretical Computer Science
Volume 275, Issue 27, pp.93–104
March, 2011
Regional analysis of FDG-PET for use in the classification of Alzheimer's disease
Katherine Gray, Robin Wolz, Shiva Keihaninejad, R. A. Heckemann, Paul Aljabar, A. Hammers, Daniel Rueckert
ISBI 2011
pp.1082–1085
IEEE
2011
Stochastic Modelling and Optimisation of Internet Auction Processes
Timothy Leung, William J. Knottenbelt
Fifth International Workshop on the Practical Application of Stochastic Modelling (PASM)
Electronic Notes in Theoretical Computer Science
March, 2011
Global B2C and C2C Online Auction Models [PDF]
Timothy Leung, William J. Knottenbelt
Annual Conference on Innovations in Business & Management
January, 2011
Software Performance Prediction with a Time Scaling Scheduling Profiler
Nikolaos Baltas, A. J. Field
IEEE 19th International Symposium on Modeling, Analysis & Simulation of Computer and Telecommunication Systems (MASCOTS 2011)
pp.107–116
January, 2011
Evolving 3D Buildings for the Prototype Video Game Subversion [PDF]
Andrew Martin, Andrew Lim, Simon Colton, Cameron Browne
EvoGames Workshop
pp.111–120
November, 2010
Evolving Pixel Shaders for the Prototype Video Game Subversion
Andrew Howlett, Simon Colton, Cameron Browne
AI and Games Symposium (AISB'10)
November, 2010
Search-based Procedural Content Generation [PDF]
Julian Togelius, Georgios N. Yannakakis, Kenneth O. Stanley, Cameron Browne
EvoApplications Workshop
Volume 2024, pp.141–150
LNCS, Springer
November, 2010
ajME: making game engines autonomic [PDF]
Pedro Martins, Julie McCann
3rd international Conference on Fun and Games
pp.48–57
September, 2010
GPU-Enabled Steady-State Solution of Large Markov Models [PDF]
Bruno Magalhaes, Nicholas J. Dingle, William J. Knottenbelt
6th International Workshop on the Numerical Solution of Markov Chains (NSMC'10)
pp.63–66
September, 2010
p-Automata: New Foundations for Discrete-Time Probabilistic Verification [PDF]
Michael Huth, Nir Piterman, Daniel Wagner
QEST 2010, 7th International Conference on Quantitative Evaluation of Systems
pp.161–170
IEEE Computer Society
September, 2010
Product-Form Approximation of Tandem Queues via Matrix Geometric Methods [PDF]
Giuliano Casale, Peter G. Harrison, Maria Vigliotti
6th International Workshop on the Numerical Solution of Markov Chains (NSMC 2010)
September, 2010
Semi-Product-Form Solution for Models with State-Dependent Rates [PDF]
Nigel Thomas, Andrea Marin, Peter G. Harrison
9th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2010)
September, 2010
State-dependent rates and semi-product-form via the reversed process
Nigel Thomas, Peter G. Harrison
European Performance Engineering Workshop (EPEW 2010)
Lecture Notes in Computer Science, Springer-Verlag
September, 2010
Run-time Compilation of Bytecode in Sensor Networks
Joshua Ellul
July, 2010
A Few Bytes are Worth a Thousand Words: Run-Time Compilation of High Level Scripts in Sensor Networks
Joshua Ellul
June, 2010
A Unifying Approach to Product-forms in Networks with Finite Capacity Constraints
Simonetta Balsamo, Peter G. Harrison, Andrea Marin
ACM Sigmetrics 2010
pp.25–36
ACM SIGMETRICS Performance Evaluation Review, ACM
June, 2010
Distributed Fault Tolerant Controllers
Leonardo Mostarda, Rudi Ball, Naranker Dulay
10th IFIP international conference on Distributed Applications and Interoperable Systems
Lecture Notes in Computer Science
June, 2010
Distributed Fault Tolerant Controllers
Leonardo Mostarda, Rudi Ball, Naranker Dulay
10th IFIP international conference on Distributed Applications and Interoperable Systems
Lecture Notes in Computer Science
June, 2010
Distributed Fault Tolerant Controllers.
Rudi Ball
10th IFIP international conference on Distributed Applications and Interoperable Systems (DAIS)
Lecture Notes in Computer Science
June, 2010
Field deployment of low power high performance nodes
Joshua Ellul
June, 2010
JErlang: Erlang with Joins [PDF]
Hubert Plociniczak, Susan Eisenbach
Coordination 2010
Springer
June, 2010
ProGolem: a system based on relative minimal generalisation
Stephen Muggleton, Jose Santos, Alireza Tamaddoni Nezhad
19th international conference on Inductive logic programming (ILP 2009)
pp.131–148
2010
TopLog: ILP Using a Logic Program Declarative Bias
Stephen Muggleton, Jose Santos, Alireza Tamaddoni Nezhad
Proceedings of the International Conference on Logic Programming
pp.687–692
LNCS 5366, Springer Verlag
2010
Towards a Semantic Model for Java Wildcards [PDF]
Alexander Summers, Nicholas Cameron, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou
FTfJP - 2010
ACM Press
June, 2010
Distributed Orchestration of Pervasive Services
Leonardo Mostarda
IEEE International Conference on Advanced Information Networking and Applications
April, 2010
A new tool for the performance analysis of massively parallel computer systems [PDF]
Anton Stefanek, Richard Hayden, Jeremy T. Bradley
Eighth Workshop on Quantitative Aspects of Programming Languages (QAPL 2010), March 27-28, 2010, Paphos, Cyprus
Volume 28, pp.159–181
Electronic Proceedings in Theoretical Computer Science
March, 2010
A State Machine-Based Approach For Reliable Adaptive Distributed Systems
Leonardo Mostarda, Daniel Sykes, Naranker Dulay
7th IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems
March, 2010
Parameterised Multiparty Session Types [PDF]
Andi Bejleri, Pierre-Malo , Raymond Hu, Nobuko Yoshida
International Conference on Foundations of Software Science and Computation Structures
Volume 6014, Issue 2010, pp.128–145
Lecture Notes in Computer Science, Springer-Verlag
March, 2010
A general result for deriving product-form solutions in Markovian models [PDF]
Andrea Marin, Maria Vigliotti
First Joint WOSP/SIPEW International
ACM International Conference Proceedings, ACM
2010
A Markovian Futures Market for Computing Power
Fernando Martinez Ortuno, Peter G. Harrison, Uli Harder
WOSP/SIPEW
January, 2010
Considerate Reasoning and the Composite Design Pattern [PDF]
Alexander Summers, Sophia Drossopoulou
VMCAI'2010
Springer-Verlag, LNCS
January, 2010
Reverse Bisimulations on Stable Configuration Structures
Iain Phillips, Irek Ulidowski
Structural Operational Semantics 2009
Electronic Proceedings in Theoretical Computer Science
2009
Evolving Simple Art-based Games [PDF]
Simon Colton, Cameron Browne
EvoGames Workshop
Volume 5485, pp.283–292
LNCS, Springer
November, 2009
CoBiC: Context-dependent Bioambient Calculus
Luca Borlolussi, Maria Vigliotti
international Workshop on Quantitative Aspects of Programming Languages
Volume 253, pp.187–201
Electronic Notes in Theoretical Computer Science, Elsevier
2009
Data Placement And Migration Strategies For Virtualised Data Storage Systems [PDF]
Henry Bond, Nicholas J. Dingle, Felipe Franciosi, Peter G. Harrison, William J. Knottenbelt
23rd Annual European Simulation and Modelling Conference (ESM 2009)
October, 2009
New method for segmentation of tumors from [18F]FLT-PET images using predefined kinetic classes
L Rosso, Katherine Gray, K. B. Contractor, L. M. Kenny, A Al-Nahhas, S Shousha, J Stebbing, H. S. Wasan, R. C. Coombes, E. O. Aboagye, F. E. Turkheimer
EANM 2009
October, 2009
Real-time data mining methodology and a supporting framework.
Xiong Deng, Yike Guo, Moustafa Ghanem
Proceedings of 2nd IEEE International Workshop on Data Mining and Artificial Intelligence DMAI 2009
October, 2009
Response time distributions and network perturbation into product-form [PDF]
Peter G. Harrison, Maria Vigliotti
4th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2009).
October, 2009
Using Bulk Arrivals to Model I/O Request Response Time Distributions in Zoned Disks and RAID Systems [PDF]
Abigail Lebrecht, Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt, Soraya Zertal
4th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2009)
October, 2009
A Logical Interpretation of the Lambda-Calculus into the Pi-Calculus, Preserving Spine Reduction and Types [PDF]
Steffen van Bakel, Maria Vigliotti
0th International Conference on Concurrency Theory ( CONCUR'09)
Volume 5710
Lecture Notes in Computer Science, Elsevier
2009
A Performance Model of Zoned Disk Drives with I/O Request Reordering [PDF]
Abigail Lebrecht, Nicholas J. Dingle, William J. Knottenbelt
6th International Conference on Quantitative Evaluation of Systems (QEST 2009)
pp.97–106
September, 2009
A workbench for preprocessor design and evaluation: toward benchmarks for parity games
Michael Huth, Nir Piterman, Huaxin Wang
Electronic Communications of the EASST
European Association of Software Science and Technology
2009
Detecting and Countering Insider Threats: Can Policy-Based Access Control Help?
Jason Crampton, Michael Huth
5th International Workshop on Security and Trust Management (STM 2009)
Electronic Notes in Theoretical Computer Science, Elsevier
2009
Finding the needle: Stack Traces for GHC [PDF]
Tristan Allwood, Simon Peyton Jones, Susan Eisenbach
Haskell'09
September, 2009
Intelligent agents in the service-oriented world - An industrial experience report
Li Guo, Moustafa Ghanem, Vasa Curcin, Nabeel Azam
Proceedings of the ACM International Conferences on Web Intelligence (WI'09).
September, 2009
PageRank: Splitting Homogeneous Singular Linear Systems of Index One [PDF]
Douglas de Jager, Jeremy T. Bradley
ICTIR'09, 2nd International Conference on the Theory of Information Retrieval
Volume 5766, pp.17–28
Lecture Notes in Computer Science, Springer Verlag
September, 2009
Shared Transaction Markov Chains for Fluid Analysis of Massively Parallel Systems [PDF] [GZipped Postscript]
Richard Hayden, Jeremy T. Bradley
MASCOTS '09, 17th Annual Meeting of the IEEE International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems
IEEE Computer Society
September, 2009
Three-Valued Abstractions of Markov Chains: Completeness for a Sizeable Fragment of PCTL [PDF]
Michael Huth, Nir Piterman, Daniel Wagner
FCT 2009, 17th International Symposium on Fundamentals of Computation Theory
Volume 5699, pp.205–216
Lecture Notes in Computer Science, Springer
September, 2009
Accelerating a Virtual Ecology Model with FPGAs
Julien Lamoureux, A. J. Field, Wayne Luk
ASAP 2009, 20th IEEE International Conference on Application-Specific Systems, Architectures and Processors, July 7-9, 2009, Boston
pp.67–74
IEEE
July, 2009
A likelihood based framework for assessing network evolution models tested on real network data
Richard Clegg, Raul Landa, Miguel Rio, Uli Harder
Workshop on Simplifying Complex Network for Practitioners
pp.1–6
ACM
July, 2009
A more realistic Peer-to-Peer Grid Market Model
Uli Harder, Fernando Martinez Ortuno
EPEW'09, 6th European Performance Engineering Workshop Imperial College London, 9-10 July
Volume 5652
Lecture Notes in Computer Science, Springer-Verlag
July, 2009
An Experimental Study of the Distributed Clustering for Air Pollution Pattern Recognition in Sensor Networks
Yajie Ma, Moustafa Ghanem, Yikun Guo
Proceedings of the 2009 IADIS European Conference on Data Mining.
July, 2009
Building Principles for a Quality of Information Specification for Sensor Information
12th Int'l Conf. on Information Fusion
July, 2009
Cryptographic Protocol Synthesis and Verification for Multiparty Sessions
Pierre-Malo , Karthikeyan Bhargavan, Ricardo Corin, Fournet, James Leifer
Computer Security Foundations Symposium
Issue 2009, pp.124–140
IEEE Computer Security Foundations Symposium, IEEE Computer Society
July, 2009
Dynamic data mining: A novel data mining process model
Xiong Deng, Yike Guo, Moustafa Ghanem
5th International Conference on Data Mining, DMIN'09
July, 2009
Modelling Zoned RAID Systems using Fork-Join Queueing Simulation [PDF]
Abigail Lebrecht, Nicholas J. Dingle, William J. Knottenbelt
6th European Performance Engineering Workshop (EPEW 2009)
Volume 5652, pp.16–29
Lecture Notes in Computer Science, Springer Verlag
July, 2009
On Subtyping, Wildcards, and Existential Types
11th Workshop on Formal techniques for Java-like Programs
ACM Digital Library, ACM
July, 2009
On Subtyping, Wildcards, and Existential Types [PDF]
Nicholas Cameron, Sophia Drossopoulou
11th Workshop on Formal techniques for Java-like Programs
ACM Digital Library, ACM
July, 2009
On Subtyping, Wildcards, and Existential Types [PDF]
Nicholas Cameron, Sophia Drossopoulou
Formal Techniques for Java Programs
ACM Digital Library
July, 2009
Policies for Self Tuning Home Networks
Dimosthenis Pediaditakis, Leonardo Mostarda, Changyu Dong, Naranker Dulay
IEEE International Symposium on Policies for Distributed Systems and Networks
July, 2009
The Need for Flexible Object Invariants [PDF]
Alexander Summers, Sophia Drossopoulou, Peter
International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO) 2009
ACM Digital Library, ACM
July, 2009
Verification of Policy-based Self-Managed Cell Interactions Using Alloy [PDF]
Alberto Schaeffer Filho, Emil Lupu, Morris Sloman, Susan Eisenbach
10th IEEE International Symposium on Policies for Distributed Systems and Networks (Policy)
IEEE
July, 2009
xDUCON: Cross Domain Usage Control through Shared Data Spaces
Giovanni Russello, Naranker Dulay
IEEE Intl Symposium on Policies for Distributed Systems and Networks
July, 2009
Aggregation strategies for large semi-Markov processes [PDF] [Postscript]
Marcel C. Guenther, Nicholas J. Dingle, Jeremy T. Bradley, William J. Knottenbelt
3rd International Symposium on Semi-Markov Models: Theory and Applications
June, 2009
An ILP System for Learning Head Output Connected Predicates
Jose Santos, Alireza Tamaddoni Nezhad, Stephen Muggleton
14th Portuguese Conference on Artificial Intelligence
pp.150–159
LNAI 5816
2009
Changing the Marks Based Culture of Learning through Peer Assisted Tutorials [PDF]
Esat Aplay, Peter Cutler, Susan Eisenbach, A. J. Field
American Society for Engineering Education
2009
Fairness for Chorded Languages [PDF]
Alexis Petrounias, Susan Eisenbach
Coordination'09
Springer
June, 2009
From X to Pi: Representing Classical Sequent Calculus in Pi-calculus [PDF]
Luca Cardelli, Steffen van Bakel, Maria Vigliotti
International Workshop on Classical Logic and Computation (CL&C'08)
2009
Towards The Automated Inference Of Queueing Network Models From High-Precision Location Tracking Data [PDF]
Nicholas J. Dingle, Adam Jackson, William J. Knottenbelt
23rd European Conference on Modelling and Simulation (ECMS 2009)
pp.664–674
June, 2009
Activity Inference through Sequence Alignment
Driss Choujaa, Naranker Dulay
4th International Symposium on Location and Context Awareness
May, 2009
A Dynamic Size Distributed Program Image Cache for Wireless Sensor Networks
Joshua Ellul
May, 2009
An Architectural Approach for Self-Managing Security Services
Giovanni Russello, Naranker Dulay
Fifth International Symposium on Frontiers of Information Systems and Network Applications
May, 2009
Approximating Travel Times using Opportunistic Networking
Rudi Ball, Naranker Dulay
2nd IEEE Intl Workshop on Opportunistic Networking
May, 2009
DockFlow - A prototypic PharmaGrid for virtual screening integrating four different docking tools
Antje Wolf, Martin Hofmann-Apitius, Moustafa Ghanem, Nabeel Azam, Dimitrios Kalaitzopoulos, Kunqian Yu, Vinod Kasam
In Proceedings of HealthGrid 2009
Volume 147, pp.3–12
Studies in Health Technology and Informatics
May, 2009
Stage: Python with Actors [PDF]
J.W. Ayres, Susan Eisenbach
International Workshop on Multicore Software Engineering (IWMSE)
May, 2009
A Mission Management Framework for Unmanned Autonomous Vehicles
Eskindir Asmare, Anandha Gopalan, Morris Sloman, Naranker Dulay, Emil Lupu
Mobile Wireless Middleware, Operating Systems, and Applications, Second International Conference (Mobilware)
Volume 7, pp.222–235
ICST Lecture Notes, Springer Berlin / Heidelberg
April, 2009
Ponder2: A Policy System for Autonomous Pervasive Environments [PDF]
Kevin Twidle, Naranker Dulay, Emil Lupu, Morris Sloman
The Fifth International Conference on Autonomic and Autonomous Systems
IEEE
April, 2009
Realising Management and Composition of Self-Managed Cells in Pervasive Healthcare [PDF]
Alberto Schaeffer Filho, Emil Lupu, Morris Sloman
3rd International Conference on Pervasive Computing Technologies for Healthcare (PervasiveHealth)
IEEE
April, 2009
Towards a QoS-aware Virtualised Storage System [PDF]
Felipe Franciosi, William J. Knottenbelt
UKPEW 2009
pp.56–67
April, 2009
Aligning Activity Sequences for Continuous Tracking of Cellphone Users
Driss Choujaa, Naranker Dulay
2nd IEEE Workshop on Intelligent Pervasive Devices
March, 2009
A Policy Based Management Architecture for Mobile Collaborative Teams
Eskindir Asmare, Anandha Gopalan, Morris Sloman, Naranker Dulay, Emil Lupu
2009 IEEE International Conference on Pervasive Computing and Communications (PerCom)
pp.169–174
IEEE Computer Society
March, 2009
Existential Quantification for Variant Ownership
Nicholas Cameron, Sophia Drossopoulou
European Symposium on Programming
Lecture Notes in Computer Science, Springer
March, 2009
Safely Speaking in Tongues: Statically Checking Domain Specific Languages in Haskell [PDF]
Matthew Sackman, Susan Eisenbach
LDTA'09
March, 2009
Softly safely spoken: Role playing for Session Types [PDF]
Elena Giachino, Matthew Sackman, Sophia Drossopoulou, Susan Eisenbach
Places'09
March, 2009
Strengthening the Zipper [PDF]
Tristan Allwood, Susan Eisenbach
LDTA 2009
2009
Node-level Architecture Design and Simulation of the MAGOG Grid Middleware
Jeremy Cohen, Colin Richardson, Uli Harder, Fernando Martinez Ortuno, John Darlington
Conferences in Research and Practice in Information Technology
Volume 99, pp.57–66
Australian Computer Society
January, 2009
Adaptive self-management of teams of autonomous vehicles
Eskindir Asmare, Anandha Gopalan, Morris Sloman, Naranker Dulay, Emil Lupu
6th International Workshop on Middleware for Pervasive and Ad-Hoc Computing
pp.1–6
ACM International Conference Proceedings
December, 2008
Enabling Economically Scalable Virtual Market Based on Multi-agent Platform
Li Guo, Thierry Rayna
International Conference on Intelligent Agents, Web Technology and Internet Commerce
IEEE Computer Society
December, 2008
Fluid level in a reservoir with an on-off source
Varun Gupta, Peter G. Harrison
10th workshop on mathematical performance modeling and analysis (MAMA 2008)
Volume 36, Issue 2, pp.128–130
Performance Evaluation Review, ACM
December, 2008
Mining adverse drug reactions with e-science workflows
Vasa Curcin, Moustafa Ghanem, Mariam Molokhia, Yike Guo, John Darlington
Proceedings of the 4th Cairo International Biomedical Engineering Conference, 2008. CIBEC 2008
2008
Mining adverse drug reactions with e-science workflows.
Vasa Curcin, Moustafa Ghanem, Yike Guo, John Darlington
Proceedings of the 4th Cairo International Biomedical Engineering Conference, 2008. CIBEC 2008
December, 2008
On the complexity of semantic self-minimization [PDF]
Adam Antonik, Michael Huth
Electronic Notes in Theoretical Computer Science
Elsevier
2008
Refinement sensitive formal semantics of state machines with persistent choice [PDF]
Harald Fecher, Michael Huth, Heiko Schmidt, Jens Schoenborn
Electronic Notes in Theoretical Computer Science
Elsevier
2008
Scientific workflow systems - can one size fit all?
Vasa Curcin, Moustafa Ghanem
Proceedings of the 4th Cairo International Biomedical Engineering Conference, 2008. CIBEC 2008.
December, 2008
Towards Context-aware Face Anonymisation
Driss Choujaa, Naranker Dulay
7th International ACM Conference on Mobile and Ubiquitous Multimedia
December, 2008
TRAc'ME: Temporal Activity Recognition Using Mobile Phone Data
Driss Choujaa, Naranker Dulay
Intl Conf on Embedded and Ubiquitous Computing
December, 2008
Optimising component composition using indexed dependence metadata [PDF]
Lee Howes, Anton Lokhmotov, Paul Kelly, A. J. Field
First International Workshop on New Frontiers in High-performance and Hardware-aware Computing (HipHaC)
November, 2008
Adaptable Pervasive Flows - An Emerging Technology for Pervasive Adaptation
Klaus Herrmann, Kurt Rothermel, Gerd Kortuem, Naranker Dulay
Workshop on Pervasive Adaptation (PerAda)
October, 2008
DPICache: A Distributed Program Image Cache for Wireless Sensor Networks
Joshua Ellul
pp.170–175
October, 2008
ESCAPE: A Component-based Policy Framework for Sense and React Applications
Giovanni Russello, Leonardo Mostarda, Naranker Dulay
Conference on Component-Based Software Engineering
October, 2008
Fluid semantics for passive stochastic process algebra cooperation [PDF] [GZipped Postscript]
Richard Hayden, Jeremy T. Bradley
VALUETOOLS'08, 3rd International Conference on Performance Evaluation Methodologies and Tools
ACM
October, 2008
GSpace: An Architectural Approach for Self-Managing Extra-Functional Concerns
Giovanni Russello, Naranker Dulay, Michel Chaudron, Maarten Van Steen
Workshop on Autonomous & Autonomic Software-based Systems
October, 2008
Modelling intracellular fate of FGF receptors with BioAmbients [PDF]
John Heath, Ikra Khan, Steffen van Bakel, Maria Vigliotti
nternational Workshop on Quantitative Aspects of Programming Languages (QAPL'08)
Volume 220, pp.181–187
Electronic Notes in Theoretical Computer Science, Elsevier
2008
Safety and Response-Time Analysis of an Automotive Accident Assistance Service [PDF]
Ashok Argent-Katwala, Allan Clark, Howard Foster, Stephen Gilmore, Philip Mayer, Mirco Tribastone
ISOLA'08, 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Volume 17, Issue 6, pp.191–205
Communications in Computer and Information Science, Springer
October, 2008
Service Level Agreement Specification, Compliance Prediction And Monitoring With Performance Trees [PDF]
Nicholas J. Dingle, William J. Knottenbelt, Lei Wang
22nd Annual European Simulation and Modelling Conference (ESM'08)
pp.137–144
October, 2008
Simulation And Modelling Of RAID 0 System Performance [PDF]
Francis Wan, Nicholas J. Dingle, William J. Knottenbelt, Abigail Lebrecht
22nd Annual European Simulation and Modelling Conference (ESM'08)
pp.145–149
October, 2008
Using Screenplays as a Source of Context Data
Driss Choujaa, Naranker Dulay
2nd ACM Workshop on Story Representation, Mechanism and Context
October, 2008
A Parallel and Distributed Analysis Pipeline for Performance Tree Evaluation [PDF]
Darren K. Brien, Nicholas J. Dingle, William J. Knottenbelt, Harini Kulatunga, Tamas Suto
QEST'08, 5th International Conference on the Quantitative Evaluation of Systems
pp.237–238
IEEE Computer Society
September, 2008
A Ticking Clock: Performance Analysis of a Circadian Rhythm with Stochastic Process Algebra [PDF] [GZipped Postscript]
Jeremy T. Bradley
EPEW'08, 5th European Performance Evaluation Workshop
Volume 5261, pp.79–94
Lecture Notes in Computer Science, Springer Verlag
September, 2008
Automated Customer-Centric Performance Analysis of Generalised Stochastic Petri Nets Using Tagged Tokens [PDF]
Nicholas J. Dingle, William J. Knottenbelt
Third International Workshop on Practical Applications of Stochastic Modelling (PASM'08), Palma de Mallorca, Spain
September, 2008
CLASE: Cursor Library for A Structured Editor (Tool Demo) [PDF]
Tristan Allwood, Susan Eisenbach
Haskell Symposium '08
2008
Falsifying safety properties through games on over-approximating models [PDF]
Nathaniel Charlton, Michael Huth
Second Workshop on Reachability Problems
Electronic Notes in Theoretical Computer Science, Elsevier
2008
Finger: An Efficient Policy System for Body Sensor Networks
Yanmin Zhu, Sye Keoh, Morris Sloman, Emil Lupu, Naranker Dulay, Nathaniel Pryce
5th IEEE International Conference on Mobile Ad-hoc and Sensor Systems
September, 2008
Flexible Resolution of Authorisation Conflicts in Distributed Systems
Changyu Dong, Giovanni Russello, Naranker Dulay
19th IFIP/IEEE International Workshop on Distributed Systems Operations and Management (DSOM)
September, 2008
Hintikka Games for PCTL on Labeled Markov Chains [PDF]
Harald Fecher, Michael Huth, Nir Piterman, Daniel Wagner
QEST 2008
pp.169–178
IEEE Computer Society Press
September, 2008
Modelling and Validation of Response Times in Zoned RAID [PDF]
Abigail Lebrecht, Nicholas J. Dingle, William J. Knottenbelt
16th Annual Meeting of the IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS)
September, 2008
Natural Language Specification of Performance Trees [PDF]
Lei Wang, Nicholas J. Dingle, William J. Knottenbelt
5th European Performance Engineering Workshop (EPEW 2008)
Issue 5261, pp.141–151
Lecture Notes in Computer Science
September, 2008
EXPTIME-complete Decision Problems for Mixed and Modal Specifications [PDF]
Adam Antonik, Michael Huth, Kim Larsen, Ulrik Nyman, Andrzej Wasowski
Electronic Notes in Theoretical Computer Science
Elsevier
August, 2008
The ArguGRID platform: An overview.
Francesca Toni, Li Guo
Proceedings of the 5th international workshop on Grid Economics and Business Models. . GECON 2008
Lecture Notes in Computer Science
August, 2008
A Model for Java Wildcards [PDF]
Nicholas Cameron, Sophia Drossopoulou, Erik Ernst
Eurepean Conference for Object-Oriented Programming
Lecture Notes in Computer Science, Springer-Verlag, LNCS
July, 2008
A Role-based Infrastructure for the Management of Dynamic Communities [PDF]
Alberto Schaeffer Filho, Emil Lupu, Morris Sloman, Sye Keoh, Jorge Lobo, Seraphin Calo
2nd International Conference on Autonomous Infrastructure, Management and Security (AIMS)
pp.1–14
Lecture Notes in Computer Science, Springer
July, 2008
A Unified Framework for Verification Techniques for Object Invariants [PDF]
Sophia Drossopoulou, Adrian Francalanza, Peter , Alexander Summers
ECOOP 2008
Lecture Notes in Computer Science
July, 2008
A Universe-Type-Based Verification Technique for Mutable Static Fields and Methods (Work in Progress) [PDF]
Alexander Summers, Sophia Drossopoulou, Peter
Formal techniques for Java-like Programming
July, 2008
Distributed Response Time Analysis of GSPN Models with MapReduce [PDF] [GZipped Postscript]
Oliver Haggarty, William J. Knottenbelt, Jeremy T. Bradley
SPECTS'08, International Symposium on Performance Evaluation of Computer and Telecommunication Systems, Edinburgh, 16-18 June 2008
pp.82–90
SCS
2008
Fast Custom Instruction Identification by Convex Subgraph Enumeration
Kubilay Atasu, Oskar Mencer, Wayne Luk, Can Ozturan, Gunhan Dundar
19th IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP), Leuven, Belgium.
July, 2008
Lock Inference Proven Correct [PDF]
David Cunningham, Sophia Drossopoulou, Susan Eisenbach
FTfJP
July, 2008
Parallelization of a Simulation of a peer to peer market for Grid Computing
Fernando Martinez Ortuno
24th UK Performance Engineering Workshop (UKPEW 2008)
July, 2008
Shared and Searchable Encrypted Data for Untrusted Servers
Changyu Dong, Giovanni Russello, Naranker Dulay
Annual IFIP Conference on Data and Applications Security
Lecture Notes in Computer Science, Springer-Verlag
July, 2008
Access-Control via Belnap Logic: Effective and Efficient Composition and Analysis [PDF]
Glenn Bruns, Michael Huth
21st IEEE Computer Security Foundations Symposium
IEEE Computer Society Press
June, 2008
A Consent-based Workflow System for Healthcare Systems
Giovanni Russello, Changyu Dong, Naranker Dulay
Policies for Distributed Systems and Networks (Policy 2008)
June, 2008
A Note on Refinement Operators for IE-Based ILP Systems
Alireza Tamaddoni Nezhad, Stephen Muggleton
pp.297–314
LNAI 5194, 18th International Conference on Inductive Logic Programming
2008
A Policy System to Support Adaptability and Security on Body Sensors
Yanmin Zhu, Sye Keoh, Morris Sloman, Emil Lupu, Naranker Dulay, Nathaniel Pryce
International Workshop on Wearable and Implantable Body Sensor Networks
June, 2008
A Response Time Distribution Model for Zoned RAID [PDF]
Abigail Lebrecht, Nicholas J. Dingle, William J. Knottenbelt
The 15th International Conference on Analytical and Stochastic Modelling Techniques and Applications (ASMTA '08)
pp.144–157
Lecture Notes in Computer Science
June, 2008
BAM: BioAmbient Machine [PDF]
Vinod Muganthan, Andrew Phillips, Maria Vigliotti
8th International Conference on Application of Concurrency to System (ACDS'08)
IEEE Computer Society Press, IEEE
2008
Encrypted Shared Data Spaces
Giovanni Russello, Changyu Dong, Naranker Dulay, Michel Chaudron, Maarten Van Steen
Coordination Models and Languages (Coordination 2008)
June, 2008
Extracting Response Times from Fluid Analysis of Performance Models [PDF] [GZipped Postscript]
Jeremy T. Bradley, Richard Hayden, William J. Knottenbelt, Tamas Suto
SIPEW'08, SPEC International Performance Evaluation Workshop, Darmstadt, 27-28 June 2008
Volume 5119, pp.29–43
Lecture Notes in Computer Science, Springer
June, 2008
Non-linear seek distance for optimal accuracy of zoned disks seek time in Multi-RAID storage systems [PDF]
Soraya Zertal, Peter G. Harrison
High Performance Computing & Simulation Conference (HPCS 2008)
June, 2008
Optimal Implementation of Combinational Logic on Lookup Tables
Kubilay Atasu, Timothy Todman, Oskar Mencer, Wayne Luk
The Fourth Conference on Ph.D. Research in Microelectronics and Electronics (PRIME'08), Istanbul, Turkey.
June, 2008
Place and Time Authentication of Cultural Assets
Leonardo Mostarda, Changyu Dong, Naranker Dulay
2nd Joint ITRUST and PST Conferences on Privacy, Trust and Security (IFIPTM 2008)
June, 2008
Refinement Types for Secure Implementations [PDF]
Jesper Bengtson, Karthikeyan Bhargavan, Fournet, Andrew D. Gordon, Sergio Maffeis
CSF '08, 21st IEEE Symposium on Computer Security Foundations 2008
pp.17–32
IEEE Computer Society
June, 2008
Response time distributions via reversed processes. [PDF]
Peter G. Harrison, Maria Vigliotti
Imperial College
Imperial College
2008
Secure Distributed Self Management Framework for UXVs
Eskindir Asmare, Naranker Dulay, Anandha Gopalan, Emil Lupu, Morris Sloman
Systems Engineering for Autonomous Systems Defence Technology Centre Conference, Edinburgh, UK.
June, 2008
Simulation of a peer to peer market for Grid Computing
Uli Harder, Fernando Martinez Ortuno
The 15th International Conference on ANALYTICAL and STOCHASTIC MODELLING TECHNIQUES and APPLICATIONS, ASMTA 2008
Volume 5055, pp.234–248
Lecture Notes in Computer Science, Springer-Verlag
2008
Existential Live Sequence Charts Revisited
German Sibay, Sebastian Uchitel, Victor Braberman
30th international conference on Software engineering
pp.41–50
ICSE'08, ACM
2008
Monometapoly: the economic impact of the recording industry on the music market
Thierry Rayna, Ludmila Striukova
DIME Conference The Creative Industries and Intellectual Property
May, 2008
The ArguGRID Platform: An Overview
Francesca Toni, Mary Grammatikou, Stela Kafetzoglou, Leonidas Lymberopoulos, Symeon Papavassileiou, Maxin Morge, Dorian Gaertner, Stefano Bromuri, Jared McGinnis, Kostas Stathis, Vasa Curcin, Moustafa Ghanem, Li Guo
Volume 526, pp.217–225
Lecture Notes in Computer Science
2008
Keep Off The Grass: Locking the Right Path for Atomicity [PDF]
David Cunningham, Khilan Gudka, Susan Eisenbach
Compiler Construction 2008
Volume 4959, pp.276–290
Lecture Notes in Computer Science, Springer Berlin / Heidelberg
April, 2008
Network Domain Entrypoint/path Determination for DDoS Attacks
Vrizlynn Thing, Morris Sloman, Naranker Dulay
11th IEEE/IFIP Network Operations and Management Symposium (NOMS08)
April, 2008
A Method Specialisation and Virtualised Execution Environment for Java [PDF]
Andrew Cheadle, A. J. Field, J. Nystrom-Persson
ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments
pp.51–60
ACM International Conference Proceedings, ACM
March, 2008
A Workflow-based Access Control Framework for Healthcare Applications
Giovanni Russello, Changyu Dong, Naranker Dulay
4th International Symposium on Frontiers in Networking with Applications
March, 2008
Complexity of decision problems for mixed and modal transition systems [PDF]
Adam Antonik, Michael Huth, Kim Larsen, Ulrik Nyman, Andrzej Wasowski
Lecture Notes in Computer Science
Springer Verlag
March, 2008
Performance Trees: Implementation And Distributed Evaluation [PDF]
Darren K. Brien, Nicholas J. Dingle, William J. Knottenbelt, Harini Kulatunga, Tamas Suto
PDMC'08, 7th International Workshop on Parallel and Distributed Methods in Verification
March, 2008
Large-Scale Open Innovation: Open Source vs. Patent Pools
Thierry Rayna, Ludmila Striukova
DIME Workshop on Open Innovation and Distributed Entrepreneurship
February, 2008
A Unified Framework for Verification Techniques for Object Invariants
Sophia Drossopoulou, Adrian Francalanza, Peter
International Workshop on Foundations of Object Oriented Languages (FOOL)
January, 2008
Matching systems for concurrent calculi
Haagensen, Sergio Maffeis, Iain Phillips
14th International Workshop on Expressiveness in Concurrency (Express'07)
Volume 194, Issue 2, pp.85–99
Electronic Notes in Theoretical Computer Science, Elsevier
January, 2008
Personalizing Situated Workflows for Pervasive Healthcare Applications
Giovanni Russello, Changyu Dong, Naranker Dulay
2nd International Conference on Pervasive Computing Technologies for Healthcare (PervasiveHealth 2008)
January, 2008
Machine learned regression for abductive DNA sequencing [PDF]
David Thornley, Maxim Zverev, Stavros Petridis
The 2007 International Conference on Machine Learning and Applications
IEEE
December, 2007
A simple and expressive semantic framework for policy composition in access control [PDF]
Glenn Bruns, Daniel S. Dantas, Michael Huth
FMSE 2007
Formal Methods in Security Engineering: From Specifications to Code, ACM Press
November, 2007
Continuous PEPA Queues: Individual behaviour in continuous queueing networks [PDF] [GZipped Postscript]
Ashok Argent-Katwala, Jeremy T. Bradley
VALUETOOLS'07, 2nd International Conference on Performance Evaluation Methodologies and Tools, Nantes, 23-25 October 2007
Issue 54
ACM Press
November, 2007
Enhanced TCP SYN Attack Detection [PDF]
Vrizlynn Thing, Morris Sloman, Naranker Dulay
IEEE Workshop on Monitoring Attack Detection and Mitigation (MonAM 2007)
November, 2007
Location-Aware Quality of Service Measurements for Service-Level Agreements [PDF]
Ashok Argent-Katwala, Jeremy T. Bradley, Allan Clark, Stephen Gilmore
TGC'07, Trustworthy Global Computing
Volume 4912, pp.222–239
Lecture Notes in Computer Science, Springer
November, 2007
Novel anisotropic multidimensional convolutional filters for derivative estimation and reconstruction [PDF]
David Thornley
Proceedings of The 2007 IEEE International Conference on Signal Processing and Communications (ICSPC 2007)
November, 2007
An Integrated Analytical Model for Computation and Comparison of the Throughputs of the UMTS/HSDPA User Equipment Categories
Tien Van Do, Ram Chakka, Peter G. Harrison
MSWiM 2007, Proceedings of the 10th ACM Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, Crete, October 22-26, 2007
pp.45–51
ACM
October, 2007
Approximate Queueing Network Analysis of Patient Treatment Times [PDF]
Susanna Wau Men Au-Yeung, Peter G. Harrison, William J. Knottenbelt
2nd International Conference on Performance Evaluation Methodologies and Tools
October, 2007
Enabling QoS for Service-Oriented Workflow on Grid
Asif Akram, Li Guo, David Colling, Marko Krznaric, Janusz Martyniak, Stephen McGough
IEEE 7th International Conference on Computer and Information Technology
IEEE Computer Society
October, 2007
Extending the S-Net Type System [PDF]
Haoxuan (Max) Cai, Susan Eisenbach, Clemens Grelck, Alex Shafarenko
AETHER - MORPHEUS Workshop - Autumn School 2007 AMWAS 07
October, 2007
Multiple Ownership [PDF]
Nicholas Cameron, Sophia Drossopoulou, James Noble, Matthew Smith
OOPSLA 07
October, 2007
Note on a simple type system for non-interference. [PDF]
Steffen van Bakel, Maria Vigliotti
Nordic Workshop on Programming Theory (NWPT'07), Oslo, October 10-12, 2007.
2007
Reversibility and models for concurrency
Iain Phillips, Irek Ulidowski
International Workshop on Structural Operational Semantics 2007
Volume 192, Issue 1, pp.93–108
ENTCS, Elsevier
October, 2007
Secure Dynamic Community Establishment in Coalitions
Eskindir Asmare, Naranker Dulay, Emil Lupu, Morris Sloman, Seraphin Calo, Jorge Lobo
Military Communications Conference, 2007. MILCOM 2007. IEEE
pp.1–7
October, 2007
Cluster Grid based Response-time Analysis Module for the PIPE Tool [PDF]
Harini Kulatunga, Ashok Argent-Katwala, William J. Knottenbelt
QEST 2007, 4th International Conference on the Quantitative Evaluation of Systems
pp.51–52
IEEE Computer Society
September, 2007
Domain-Specific FPGA: Architecture and Floating Point Applications
Chun Ho, Chi Wai Yu, Philip Leong, Wayne Luk, Steve Wilton
International Conference on Field Programmable Logic and Applications (FPL)
pp.196–201
September, 2007
Extracting Requirements from Scenarios using ILP
Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastian Uchitel
16th International Conference on Inductive Logic Programming
Volume 4455, pp.64–78
Lecture Notes in Computer Science, Springer Verlag
September, 2007
PEPA Queues: Capturing customer behaviour in queueing networks [PDF] [GZipped Postscript]
Ashok Argent-Katwala, Jeremy T. Bradley
QAPL'07, 5th Workshop on Quantitative Aspects of Programming Languages
Volume 190, Issue 3, pp.3–25
Electronic Notes in Theoretical Computer Science, Elsevier
September, 2007
Performance Trees: Expressiveness And Quantitative Semantics [PDF] [GZipped Postscript]
Tamas Suto, Jeremy T. Bradley, William J. Knottenbelt
QEST'07, 4th International Conference on the Quantitative Evaluation of Systems
pp.41–50
IEEE Computer Society
September, 2007
Privacy-Preserving Credential Verification for Non-Monotonic Trust Management Systems
Changyu Dong, Giovanni Russello, Naranker Dulay
Mathematical Methods, Models and Architectures for Computer Networks Security
September, 2007
QoS for Service Based Workflow on Grid
UK 2007 e-Science All Hands Meeting
September, 2007
QoS for Service Based Workflow on Grid
Asif Akram, Li Guo, Stephen McGough, David Colling, Luke Dickens, Marko Krznaric, Janusz Martyniak
UK e-Science 2007 All Hands Meeting
September, 2007
Toward a Formal Characterization of Policy Specification & Analysis [PDF]
Arosha Bandara, Jorge Lobo, Seraphin Calo, Emil Lupu, Alessandra Russo, Morris Sloman
Annual Conference of ITA (ACITA), University of Maryland, USA
September, 2007
Universe Types for Race Safety [PDF]
David Cunningham, Sophia Drossopoulou, Susan Eisenbach
VAMP 07
pp.20–51
September, 2007
Amalgamating the Session Types and the Object Oriented Programming Paradigms [PDF]
Sophia Drossopoulou, Mariangiola Dezani-Ciancaglini, Mario Coppo
Multiparadigm Programming with Object-Oriented Languages 2007 (an ECOOP workshop)
August, 2007
Generic Universe Types [PDF]
Werner Dietl, Sophia Drossopoulou, Peter
Berlin
Volume 4609, pp.28–53
Lecture Notes in Computer Science, Springer
August, 2007
IPR Protection in the High-Tech Industries: A Model of Piracy
Thierry Rayna
34th Conference of the European Association for Research in Industrial Economics (EARIE)
August, 2007
Performance of a Priority-Weighted Round Robin Mechanism for Differentiated Service Networks [PDF]
Yu Zhang, Peter G. Harrison
International Workshop on Performance Modeling and Evaluation in Computer and Telecommunication Networks (PMECT07) in conjunction with IEEE ICCCN2007.
IEEE
August, 2007
Decoding Trace Peak Behaviour - A Neuro-Fuzzy Approach [PDF]
David Thornley, Stavros Petridis
IEEE International Conference on Fuzzy Systems
July, 2007
Hector: software model checking with cooperating analysis plugins [PDF]
Nathaniel Charlton, Michael Huth
Computer Aided Verification (CAV 2007)
Lecture Notes in Computer Science, Springer
July, 2007
Heterogeneous Workflows in Scientific Workflow Systems
Vasa Curcin, Moustafa Ghanem, Patrick Wendel, Yike Guo
Computational Science - ICCS 2007
Volume 4489
Lecture Notes in Computer Science, Springer
July, 2007
Self-management Framework for Unmanned Autonomous Vehicles
Eskindir Asmare, Morris Sloman
Inter-Domain Management, First International Conference on Autonomous Infrastructure, Management and Security
Volume 4543, pp.164–167
Lecture Notes in Computer Science, Springer-Verlag Berlin
July, 2007
Towards an Existential Types Model for Java Wildcards
Nicholas Cameron, Erik Ernst, Sophia Drossopoulou
Formal Techniques for Java-like Programs (FTfJP) 2007
July, 2007
Towards Self-managing Unmanned Autonomous Vehicles [PDF]
Eskindir Asmare, Naranker Dulay, Emil Lupu, Morris Sloman
Systems Engineering for Autonomous Systems Defence Technology Centre Conference, Edinburgh, UK
July, 2007
Towards Supporting Interactions between Self-Managed Cells [PDF]
Alberto Schaeffer Filho, Emil Lupu, Naranker Dulay, Sye Keoh, Kevin Twidle, Morris Sloman
First IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2007), Boston, USA
pp.224–236
July, 2007
Trust Transfer in Distributed Systems
Changyu Dong, Giovanni Russello, Naranker Dulay
Privacy, Trust Management and Security
July, 2007
Abstractions to Support Interactions between Self-Managed Cells [PDF]
Alberto Schaeffer Filho, Emil Lupu
1st International Conference on Autonomous Infrastructure, Management and Security (AIMS)
pp.160–163
Lecture Notes in Computer Science, Springer
June, 2007
Approximate Analysis of a Network of Fluid Queues
A. J. Field, Peter G. Harrison
Workshop on Mathematical performance Modeling and Analysis (MAMA 2007)
Volume 35, Issue 2, pp.30–32
Performance Evaluation Review, ACM
June, 2007
Asynchronous Iterative Solution for State-Based Performance Metrics [PDF] [Postscript]
Douglas de Jager, Jeremy T. Bradley
SIGMETRICS'07, ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems. 12-16 June, San Diego.
pp.373–374
ACM Press
June, 2007
Authorization and Conflict Resolution for Hierarchical Domains
Giovanni Russello, Changyu Dong, Naranker Dulay
Policies for Distributed Systems and Networks
June, 2007
Call Management Policy Specification for the Asterisk Telephone Private Branch Exchange (Extended Version)
George Konstantoulakis, Morris Sloman
IEEE Workshop on Policies for Distributed Systems and Networks (Policy 2007), 13-15 June, Bologna, Italy
IEEE Computer Soc
June, 2007
Comparison of JXTA and WSRF for P2P applications
Asif Akram, Rob Allan
IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2007), Rio de Janeiro, Brazil
June, 2007
Component Adaptation in Contemporary Execution Environments [PDF]
Susan Eisenbach, Chris Sadler, Dominic Wong
DAIS'2007, 7th IFIP International Conference on Distributed Applications and Interoperable Systems
Lecture Notes in Computer Science, Springer-Verlag
June, 2007
Dimensionless Monocular SLAM [PDF]
J. Civera, Andrew Davison, J. Montiel
Iberian Conference of Pattern Recognition and Image Analysis
June, 2007
GRIDCC: Real-time Workflow System
Stephen McGough, Asif Akram, Li Guo, Marko Krznaric, Luke Dickens, David Colling, Janusz Martyniak, Roger Powell, Paul Kyberd
The 2nd Workshop on Workflows in Support of Large-Scale Science
June, 2007
Mapping Large Loops with a Single Hand-Held Camera
L. Clemente, Andrew Davison, Ian Reid, J. Neira, J. Tardos
Robotics: Science and Systems
June, 2007
Multi-RAID Queueing Model with Zoned Disks [PDF]
Soraya Zertal, Peter G. Harrison
2007 High Performance Computing & Simulation Conference (HPCS 2007) June 4 - 6, 2007 Prague, Czech Republic
June, 2007
On the Execution of Ambients [PDF]
Matthew Sackman, Susan Eisenbach
MTCoord 2007
June, 2007
The Grid Service Market: Economics of the Next Generation Internet and Grid
Colin Richardson
UK-Singapore Partners in eScience Workshop, GridAsia 2007 Conference, Biopolis, Singapore, 5-8 June 2007
June, 2007
A Survey of Bots Used for Distributed Denial of Service Attacks [PDF]
Vrizlynn Thing, Morris Sloman, Naranker Dulay
22nd IFIP International Information Security Conference (SEC 07), Sandton, Gauteng, South Africa,
May, 2007
Creating Individual Based Models of the Plankton Ecosystem [PDF]
Westley Hinsley, A. J. Field, John Woods
ICCS 2007, International Conference on Computational Science
Volume 4487, pp.111–118
Lecture Notes in Computer Science, Springer-Verlag
May, 2007
Enforcing Fine-grained Authorization Policies for Java Mobile Agents
Giovanni Russello, Changyu Dong, Naranker Dulay
Security in Networks and Distributed Systems
May, 2007
Organization of Grid Resources in Communities
Asif Akram, Rob Allan
18th Annual IRMA International Conference, Vancouver, British Columbia, Canada
May, 2007
Sun Grid Engine, a new scheduler for EGEE middleware [PDF]
Goncalo Borges, Mario David, J Gomes, Carlos Fernandez, Javier Lopez Cacheiro, Pablo Rey Mayo, Alvaro Simon Garcia, Dave Kant, Keith Sephton
IBERGRID - Iberian Grid Infrastructure Conference
May, 2007
WSRF based Virtual Organization Middleware
Asif Akram, Rob Allan
18th Annual IRMA International Conference, Vancouver, British Columbia, Canada
May, 2007
Cleanly combining specialised program analysers [PDF]
Nathaniel Charlton, Michael Huth
Automated Reasoning Workshop 2007, 19th-20th April 2007, Department of Computing, Imperial College, London
April, 2007
Enabling Scientists through Workflow and Quality of Service [PDF]
Stephen McGough, Asif Akram, David Colling, Li Guo, C Kotsokalis, Marko Krznaric, Paul Kyberd, Janusz Martyniak
2nd International Workshop on Distributed Cooperative Laboratories
April, 2007
Inverse Depth to Depth Conversion for Monocular SLAM [PDF]
J. Civera, Andrew Davison, J. Montiel
IEEE International Conference on Robotics and Automation
IEEE
April, 2007
On Quality of Service Support for Grid Computing [PDF]
David Colling, T Ferrari, Youssef Hassoun, Chenxi Huang, C Kotsokalis, Stephen McGough, Yash Patel, E Ronchieri, P Tsanakas
2nd International Workshop on Distributed Cooperative Laboratories and Instrumenting the GRID (INGRID 2007)
April, 2007
Optimizing Instruction-set Extensible Processors under Data Bandwidth Constraints
Kubilay Atasu, Robert Dimond, Oskar Mencer, Wayne Luk, Can Ozturan, Gunhan Dundar
Design Automation and Test in Europe Conference and Exhibition (DATE), Nice, France.
pp.588–593
April, 2007
Optimizing Logarithmic Arithmetic on FPGAs [PDF]
Haohuan Fu, Oskar Mencer, Wayne Luk
IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM)
pp.163–172
2007
Stochastic Ambient Logic [PDF]
Maria Vigliotti
international Workshop on Quantitative Aspects of Programming Languages (QAPL'07)
2007
A Declarative Framework for Analysis and Optimization
Henry Falconer, Paul Kelly, David Ingram, Michael Mellor, A. J. Field, Olav Beckmann
CC 2007, 16th International Conference on Compiler Construction, Braga, Portugal, March 26-30, 2007
Volume 4420, pp.218–232
Lecture Notes in Computer Science, Springer
March, 2007
Digital rights management: Its consequences for consumers, firms and society
Thierry Rayna, Ludmila Striukova
European Communications Policy Research (EuroCPR) Conference
March, 2007
GRIDCC: Real-time Workflow System.
Stephen McGough, Asif Akram, Li Guo, Marko Krznaric, Luke Dickens, David Colling, Janusz Martyniak, Roger Powell, Paul Kyberd
The 2nd Workshop on Workflows in Support of Large-Scale Science
March, 2007
Non-intrusive IP Traceback for DDoS Attacks
Vrizlynn Thing, Morris Sloman, Naranker Dulay
ACM symposium on Information, Computer and Communications Security, Singapore
pp.371–373
ACM
March, 2007
Tribe: More Types for Virtual Classes [PDF]
Sophia Drossopoulou, David Clarke, James Noble, Tobias Wrigstad
6th International conference on Aspect-oriented software development (AOSD 2007), Vancouver, British Columbia, Canada
pp.121–134
ACM Press
March, 2007
GRIDCC: Real-timeWorkflow System
The 2nd Workshop on Workflows in Support of Large-Scale Science
February, 2007
GRIDCC: Real-timeWorkflow System
The 2nd Workshop on Workflows in Support of Large-Scale Science
February, 2007
Generic Universe Types [PDF]
Werner Dietl, Sophia Drossopoulou, Peter
International Workshop on Foundations of Object Oriented Languages (FOOL) 2007
January, 2007
More precise partition abstractions [PDF]
Harald Fecher, Michael Huth
Eighth International Conference on Verification, Model Checking, and Abstract Interpretation, 14-16 January 2007, Nice, France
Volume 4349, pp.167–182
Lecture Notes in Computer Science, Springer Verlag
January, 2007
Achievements and Experiences from a Grid-Based Earthquake Analysis and Modelling Study
Jian Guo Liu, Moustafa Ghanem, Vasa Curcin, Christian Haselwimmer, Yike Guo, Gareth Morgan, Kyran Mish
E-SCIENCE '06: Proceedings of the Second IEEE International Conference on e-Science and Grid Computing
IEEE Computer Society Press
December, 2006
Allocating QOS-Constrained Applications in a Web Service-Oriented Grid
Yash Patel, John Darlington
Distributed Computing and Internet Technology, Third International Conference, ICDCIT 2006
pp.278–290
Lecture Notes in Computer Science
2006
Allocating QoS-Constrained Workflow-Based Jobs in a Multi-cluster Grid Through Queueing Theory Approach
Yash Patel, John Darlington
Parallel and Distributed Processing and Applications, 4th International Symposium, ISPA 2006
pp.499–510
2006
A novel approach to allocating QoS-constrained workflow-based jobs in a multi-cluster grid [PDF]
Yash Patel, John Darlington
4th international workshop on Middleware for grid computing, Melbourne, Australia
p.2
ACM International Conference Proceedings, ACM
2006
A Novel Approach to Workload Allocation of QoS-Constrained Workflow-Based Jobs in a Utility Grid [PDF]
Yash Patel, John Darlington
Second IEEE International Conference on e-Science and Grid Computing
p.150
IEEE Computer Society
2006
A Novel Stochastic Algorithm for Scheduling QoS-Constrained Workflows in a Web Service-Oriented Grid
Yash Patel, John Darlington
IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT 2006 Workshops)(WI-IATW'06), 2006
pp.437–442
IEEE Computer Society
2006
Application Of Queueing Theory To Allocating QoS-constrained Workflow-based Jobs In A Scientific Grid
Yash Patel, John Darlington
2nd International Computer Engineering Conference Engineering the Information Society, Faculty of Engineering, Cairo University, Cairo, EGYPT
IEEE
2006
Average-Based Scheduling Of QoS-Constrained Workflows In A Web Service-Oriented Grid
Yash Patel, John Darlington
14thInternational Conference on Advanced Computing & Communications
IEEE
2006
Capacity Planning and Stochastic Scheduling in Large-Scale Grids
Ali Afzal, John Darlington, Stephen McGough
Proceedings of the Second IEEE International Conference on e-Science and Grid Computing
December, 2006
Grid-Enabled Workflows for Industrial Product Design
Moustafa Ghanem, Nabeel Azam, Mike Boniface, Justin Ferris
Second IEEE International Conference on e-Science and Grid Computing (e-Science'06)
IEEE Computer Society
December, 2006
Organization of Grid Resources in Communities
Asif Akram, Rob Allan
4th Workshop on Middleware for Grid Computing (MGC 06), Melbourne, Australia
December, 2006
Running a Production Grid Site at the London e-Science Centre [PDF]
David McBride, Marko Krznaric, Mona Aggarwal, Olivier van der Aa, David Colling, John Darlington
Second IEEE International Conference on e-Science and Grid Computing (e-Science'06)
December, 2006
The meaning of ordered SOS
Mohammad Reza Mousavi, Iain Phillips, Michel Reniers, Irek Ulidowski
26th Conference on Foundations of Software Technology and Theoretical Computer Science
Volume 4337, pp.333–344
Springer-Verlag
2006
A General Graph Model for Representing Exact Communication Volume in Parallel Sparse Matrix-Vector Multiplication [PDF]
Aleksandar Trifunovic, William J. Knottenbelt
21st International Symposium on Computer and Information Sciences (ISCIS 2006)
pp.813–824
November, 2006
A Novel Stochastic Algorithm for Scheduling Workflows with QoS Guarantees in a Web Service-Oriented Grid
Yash Patel, John Darlington
IASTED
ACTA Press
2006
Fusing multiple sources of context data of the same context type
Markus Huebscher, Julie McCann, Naranker Dulay
1st International Conference on the Smart Home, Korea
IEEE
November, 2006
On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages [PDF]
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005
Volume 4111, pp.388–407
Lecture Notes in Computer Science, Springer Verlag
November, 2006
Privacy Preserving Trust Negotiation for Pervasive Healthcare
Changyu Dong, Naranker Dulay
Pervasive Computing Technologies for Healthcare
November, 2006
Queueing Theory Approach to Allocating QoS-Constrained Workflow-based Applications in a Web Service based Grid
Yash Patel, John Darlington
IASTED
ACTA Press
2006
Spontaneous vs. posed facial behavior: automatic analysis of brow actions [PDF]
Michel Valstar, Maja Pantic, Zara Ambadar, Jeffrey F. Cohn
ACM International conference on Multimodal Interfaces
pp.162–170
ACM International Conference Proceedings, ACM
November, 2006
Stochastic Ambient Calculus
Maria Vigliotti, Peter G. Harrison
International Workshop on Quantitative Aspects of Programming Languages (QAPL'06)
Volume 164, pp.169–186
ENTCS, Elsevier
2006
Using Argumentation Logic for Firewall Policy Specification and Analysis
Arosha Bandara, Antonis Kakas, Emil Lupu, Alessandra Russo
17th IFIP/IEEE Distributed Systems: Operations and Management (DSOM)
Springer Verlag
2006
Worst-case Analysis of Router Networks with Rival Queueing Models
Nalan Gulpinar, Peter G. Harrison, Berc Rustem
21st International Symposium on Computer and Information Sciences (ISCIS 2006), Istanbul, Turkey
Volume 4263, pp.897–907
Lecture Notes in Computer Science, Springer-Verlag
November, 2006
A General Performance Model Interchange Format
Peter G. Harrison, Catalina , Ramon Puigjaner
1st International Conference on Performance Evaluation Methodologies and Tools (Valuetools 2006), Pisa, Italy
Volume 180
ACM International Conference Proceedings, ACM
October, 2006
A Queueing Network Model of Patient Flow in an Accident and Emergency Department [PDF]
Susanna Wau Men Au-Yeung, Peter G. Harrison, William J. Knottenbelt
20th Annual European and Simulation Modelling Conference
pp.60–67
October, 2006
Automated product-forms with Meercat [PDF]
Ashok Argent-Katwala
SMCtools 2006, Tools for solving Structured Markov Chains
Volume 201, Issue 10
ACM International Conference Proceedings, ACM
October, 2006
Average-Based Workload Allocation Strategy for QoS-Constrained Jobs In A Web Service-Oriented Grid
Yash Patel, John Darlington
10th IEEE International Enterprise Distributed Object Computing Conference Workshops (EDOCW'06), 2006
IEEE Computer Society
2006
Data Centric approach for Workflows
Asif Akram, Rob Allan, John Kewley
The Tenth IEEE International Enterprise Distributed Object Computing Conference Workshops (EDOCW 2006)
October, 2006
Diffeomorphic Registration using B-Splines
Daniel Rueckert, Paul Aljabar, R. A. Heckemann, JV Hajnal, A. Hammers
9th International Conference on Medical Image Computing and Computer-Assisted Intervention (MICCAI 2006)
Springer
October, 2006
Model Extraction Based on Context Information [PDF]
Lucio Duarte, Jeff Kramer, Sebastian Uchitel
ACM/IEEE 9th International Conference on Model Driven Engineering Languages and Systems, Genoa, 2006
October, 2006
Modelling WS-RF based Enterprise Applications
Asif Akram, John Kewley, Rob Allan
The Tenth IEEE International Enterprise Distributed Object Computing Conference Workshops (EDOCW 2006)
October, 2006
Multiclassifier fusion in human brain MR segmentation: modelling convergence
R. A. Heckemann, JV Hajnal, Paul Aljabar, Daniel Rueckert, A. Hammers
9th International Conference on Medical Image Computing and Computer-Assisted Intervention (MICCAI 2006)
Springer
October, 2006
Optimization of a Tandem Router Network Using a Fluid Model
Nalan Gulpinar, Peter G. Harrison
9th ACM/IEEE International Symposium on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM 2006), Terromolinos, Spain. 2-6 October, 2006
pp.199–206
ACM
October, 2006
Organization of Virtual Communities
Asif Akram, Rob Allan
2 nd International Conference on Semantics, Knowledge and Grid (SKG 2006), Guilin China
October, 2006
Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise [PDF]
Harald Fecher, Michael Huth
Fourth international symposium on Automated Technology for Verification and Analysis, 23-26 October 2006, Beijing, China
Volume 4218, pp.322–336
Springer Verlag
October, 2006
Real-time 3D SLAM for Humanoid Robot considering Pattern Generator Information [PDF]
O. Stasse, Andrew Davison, R. Sellaouti, K. Yokoi
IEEE/RSJ International Conference on Intelligent Robots and Systems
pp.348–355
IEEE/RSJ
October, 2006
Segmentation of Brain MRI in Young Children
Maria Murgasova, L Dyet, AD Edwards, MA Rutherford, JV Hajnal, Daniel Rueckert
9th International Conference on Medical Image Computing and Computer-Assisted Intervention (MICCAI 2006)
Springer
October, 2006
Semi-parametric analysis of dynamic contrast enhanced MR images using Bayesian P-Splines
V.J. Schmid, B.J. Whitcher, Guang-Zhong Yang
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2006, 9th International Conference, Copenhagen, Denmark
Volume 4190
Lecture Notes in Computer Science, Springer
October, 2006
Statistical Finite Element Model for Bone Shape and Biomechanical Properties
L Belenguer-Querol, P Buechler, Daniel Rueckert, LP Nolte, MA Gonzalez-Ballester
9th International Conference on Medical Image Computing and Computer-Assisted Intervention (MICCAI 2006)
Springer
October, 2006
Stochastic Workflow Scheduling with QoS Guarantees in Grid Computing Environments
Ali Afzal, John Darlington, Stephen McGough
Proceedings of the 5th International Conference on Grid and Cooperative Computing
October, 2006
Workflow Interoperability in Grid-based Systems
Moustafa Ghanem, Nabeel Azam, Mike Boniface
Cracow Grid Workshop 2006
October, 2006
A dialectic procedure for sceptical, assumption-based argumentation [PDF]
Phan Minh Dung, Paolo Mancarella, Francesca Toni
1st International Conference on Computational Models of A rgument (COMMA 2006)
IOS Press
September, 2006
A formal analysis of KGP agents [PDF]
Fariba Sadri, Francesca Toni
10th European Conference on Logics in Artificial Inte lligence (JELIA 2006)
Springer Verlag
September, 2006
Best practices in web service style, data binding and validation for use in data-centric scientific applications
Asif Akram, Rob Allan, David Meredith
September, 2006
Building next generation Service-Oriented Architectures using argumentation agents
Vasa Curcin, Moustafa Ghanem, Yike Guo, Kostas Stathis, Francesca Toni
3rd International Conference on Grid Services Engineering and Management (GSEM 2006)
Springer Verlag
September, 2006
Designing a Java-based Grid scheduler using commodity services
Patrick Wendel, Arnold Fung, Moustafa Ghanem, Yike Guo
Proceedings of the UK e-Science All Hands Meeting 2006. Nottingham, UK, September 2006
September, 2006
Egalitarian Allocations of Indivisible Resources: Theory and Computation [PDF]
Paul-Amaury Matt, Francesca Toni
10th International Workshop on Cooperative Informatio n Agents(CIA 2006)
Springer Verlag
September, 2006
Exploring accuracy and correctness in solution to matrix polynomial equations in queues [PDF]
David Thornley, Harf Zatschler
QEST 2006
September, 2006
Grid Workflow Scheduling in WOSE [PDF]
Yash Patel, Stephen McGough, John Darlington
UK e-Science All Hands Meeting 2006
pp.566–573
September, 2006
Integrating R into Discovery Net
Qiang Lu, Xinzhong Li, Moustafa Ghanem, Yike Guo, Haiyan Pan
Proceedings of the UK e-Science All Hands Meeting 2006
September, 2006
Issues in Developing Ubicomp Applications on Symbian Phones
Markus Huebscher, Nathaniel Pryce, Naranker Dulay
System Support for Future Mobile Computing Applications
September, 2006
Machine Learning in Basecalling - Decoding trace peak behaviour [PDF]
David Thornley, Stavros Petridis
IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology 2006
September, 2006
Modeling Keynes with Kalecki
Colin Richardson, Jerry Courvisanos
9th International Post Keynesian Economics Conference, University of Missouri, Kansas City, USA
2006
Modes for Software Architectures [PDF]
Dan Hirsch, Jeff Kramer, Jeff Magee, Sebastian Uchitel
Software Architecture, Third European Workshop, EWSA 2006, Nantes, France, September 4-5, 2006
September, 2006
Operational Semantics of Reversibility in Process Algebra
Iain Phillips, Irek Ulidowski
Electronic Notes in Theoretical Computer Science
Volume 162, pp.281–286
September, 2006
P2P query reformulation over Both-as-View data transformation rules [PDF]
Peter McBrien, Alexandra Poulovassilis
Databases, Information Systems and Peer-to-Peer Computing (DBISP2P 2006), Seoul, Korea
September, 2006
Performance Trees: A New Approach To Quantitative Performance Specification [PDF] [GZipped Postscript]
Tamas Suto, Jeremy T. Bradley, William J. Knottenbelt
MASCOTS'06, 14th International Symposium on Modelling, Analysis, and Simulation of Computer and Telecommunication Systems
pp.303–313
IEEE Computer Society
September, 2006
QoS-Constrained Stochastic Workflow Scheduling in Enterprise and Scientific Grids
Ali Afzal, John Darlington, Stephen McGough
Proceedings of the 7th IEEE/ACM International Conference on Grid Computing
September, 2006
QoS Support For Workflows In A Volatile Grid
Yash Patel, Stephen McGough, John Darlington
7th IEEE/ACM International Conference on Grid Computing
pp.64–71
IEEE
2006
Real-Time Monocular SLAM with Straight Lines [PDF]
Paul Smith, Ian Reid, Andrew Davison
British Machine Vision Conference
Volume 1, pp.17–26
September, 2006
Service-enabling Legacy Applications for the GENIE Project [PDF]
Sofia Panagiotidi, Jeremy Cohen, John Darlington, Marko Krznaric, Eleftheria Katsiri
All Hands Meeting 2006
September, 2006
A Hybrid, Teleo-Reactive Architecture for Robot Control [PDF]
Simon Coffey, Keith Clark
Multi-Agent Robotic Systems
3rd International Conference on Informatics in Control, Automation and Robotics
August, 2006
Automatic Generation of Implied Constraints [PDF]
John Charnley, Simon Colton, Ian Miguel
17th European Conference on Artificial Intelligence
2006
Comparing FPGAs to Graphics Accelerators and the Playstation 2 Using a Unified Source Description
Lee Howes, Olav Beckmann, Oskar Mencer, Oliver Pell, P Price
International Conference on Field-Programmable Logic
I e e e
2006
Computing safe winning regions of parity games in polynomial time [PDF]
Adam Antonik, Nathaniel Charlton, Michael Huth
Fourth Irish Conference on the Mathematical Foundations of Computer Science and Information Technology'06, MFCSIT'06, 1-5 August 2006, Cork, Ireland
August, 2006
CUSTARD - A Customisable Threaded FPGA Soft Processor and Tools
Robert Dimond, Oskar Mencer, Wayne Luk
FPL'05, International Conference on Field Programmable Logic
pp.1–6
August, 2006
Integrating AI Systems for Mathematical Discovery
Volker Sorge, Andreas Meier, Roy McCasland, Simon Colton
13th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning
August, 2006
Interleaving belief updating and reasoning in abductive logic programming [PDF]
Fariba Sadri, Francesca Toni
17th European Conference on Artificial Intelligence(E CAI 2006)
August, 2006
iTunes vs. Napster: Selling or Renting Music, Which one is the winner?
Thierry Rayna
33rd Conference of the European Association for Research in Industrial Economics (EARIE)
August, 2006
Managing Automatically Formed Mathematical Theories [PDF]
Simon Colton, Pedro Torres, Paul Cairns, Volker Sorge
5th International Conference on Mathematical Knowledge Management
August, 2006
Predictive and Descriptive Approaches to Learning Game Rules from Vision Data [PDF]
Paulo Santos, Simon Colton, Derek Magee
10th Ibero-American Artificial Intelligence Conference
August, 2006
Properties of Behavioural Model Merging [PDF]
Gregory Brunet, Sebastian Uchitel
Formal Methods, Hamilton, 2006
August, 2006
Towards Optimal Custom Instruction Processors
Kubilay Atasu, Robert Dimond, Oskar Mencer, Wayne Luk
IEEE HOT Chips Conference, Stanford.
IEEE Computer Society Press
August, 2006
Unified Inverse Depth Parametrization for Monocular SLAM [PDF]
J. Montiel, J. Civera, Andrew Davison
Robotics: Science and Systems
August, 2006
3D statistical shape modelling of long bones
Y Yuhui, A Bull, Daniel Rueckert, A Hill
Third International Workshop on Biomedical Image Registration (WBIR 2006)
Springer
July, 2006
A Foundation for Behavioural Conformance in Software Product Line Architectures
Dario Fischbein, Sebastian Uchitel, Victor Braberman
2nd ROSATEA Workshop at the International Symposium on Software Testing and Analysis, Portland, Maine, 2006
July, 2006
A free market in telescope time II: a test implementation
Iain Steele, Neil Clay, Jeremy Cohen, William Lee, Chris Mottram
Observatory Operations: Strategies, Processes, and Systems
Volume 6270
Proceedings of the SPIE, SPIE
July, 2006
An Event Service Supporting Autonomic Management of Ubiquitous Systems for e-Health [PDF]
Stephen Strowes, Nagwa Badr, Naranker Dulay, Steven Heeps, Emil Lupu, Morris Sloman, Joe Sventek
26th IEEE International Conference on Distributed Computing Systems Workshops (ICDCSW'06).
p.22
IEEE Computer Society Press
July, 2006
A state abstraction for coordination in Java-like languages [PDF]
Ferruccio Damiani, Elena Giachino, Paola Giannini, Nicholas Cameron, Sophia Drossopoulou
Formal techniques for Java-like languages
July, 2006
Biologically vs. logic inspired encoding of facial actions and emotions in video [PDF]
Michel Valstar, Maja Pantic
IEEE International Conference on Multimedia and Expo
pp.325–328
IEEE
July, 2006
Canonical correlation analysis of sub-cortical brain structures using non-rigid registration
Anil Rao, K Babalola, Daniel Rueckert
Third International Workshop on Biomedical Image Registration (WBIR 2006)
Springer
July, 2006
Deformation based morphometry analysis of serial magnetic resonance images of mouse brains
Satheesh Maheswaran, H Barjat, S Bate, T Hartkens, DLG Hill, MF James, L Tilling, N Upton, JV Hajnal, Daniel Rueckert
Third International Workshop on Biomedical Image Registration (WBIR 2006)
Volume 4057, pp.58–65
Lecture Notes in Computer Science, Springer
July, 2006
Descriptive and Relative Completeness of Logics for Higher-Order Functions
Kohei Honda, Martin Berger, Nobuko Yoshida
The 33rd International Colloquium on Automata, Languages and Programming
Springer Verlag
July, 2006
Descriptive and Relative Completeness of Logics for Higher-Order Functions
Nobuko Yoshida
The 33rd International Colloquium on Automata, Languages and Programming
Springer Verlag
July, 2006
Image registration and its applications in computer aided diagnosis
Daniel Rueckert, Paul Aljabar, Kanwal Bhatia, JP Boardman, L Srinivasan, MA Rutherford, L Dyet, AD Edwards, JV Hajnal, R. A. Heckemann, A. Hammers
2nd International Symposium on Future CAD
July, 2006
Information exchange amongst logic-based agents
Fariba Sadri, Francesca Toni
International electronic Conference on Computer Science, 1-8 July 2006
VSP/Brill
2006
Management Architecture and Mission Specification for Unmanned Autonomous Vehicles [PDF]
Eskindir Asmare, Naranker Dulay, Hahnsang Kim, Emil Lupu, Morris Sloman
Systems Engineering for Autonomous Systems Defence Technology Centre Conference, Edinburgh, UK
July, 2006
Session Types for Object-Oriented Languages [PDF]
Mariangiola Dezani-Ciancaglini, Dimitrios Mostrous, Nobuko Yoshida, Sophia Drossopoulou
20th European Conference for Object-Oriented Languages
Springer Verlag
July, 2006
Space-Time Block Coding: Joint Detection and Channel Estimation using Multiple Model Theory [PDF] [Postscript]
Harini Kulatunga, Visakan Kadirkamanathan
IEEE Workshop on Signal Processing Advances in Wireless Communications
IEEE Signal Processing Society
July, 2006
The Automatic Construction of Isotopy Invariants [PDF]
Volker Sorge, Andreas Meier, Roy McCasland, Simon Colton
Third International Conference on Automated Reasoning
July, 2006
The Deontic Component of Action Language nC+ [PDF]
Marek Sergot, Robert Craven
DEON 2006
Volume 4048, pp.222–237
July, 2006
An Architecture for a Next-Generation Internet based on Web Services and Utility Computing
John Darlington, Jeremy Cohen, William Lee
15th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE '06)
pp.169–174
IEEE Computer Society
June, 2006
An Embedding Framework for Myocardial Velocity Processing with MRI
L. Cong, Su-Lin Lee, Andrew Huntbatch, T. Jiang, Guang-Zhong Yang
Medical Image Computing and Computer Aided Intervention - MICCAI 2006
2006
A tandem network of fluid queues with on-off arrivals [PDF] [GZipped Postscript]
Peter G. Harrison, P. M. Lonsdale
5th Workshop on Process Algebra and Stochastically Timed Activities 2006 (PASTA 2006)
June, 2006
Carotid Artery Segmentation using an Outlier Immune 3D Active Shape Models Framework
Karim Lekadir, Guang-Zhong Yang
Medical Image Computing and Computer Aided Intervention - MICCAI 2006
2006
Comparing and Transforming Between Data Models via an Intermediate Hypergraph Data Model [PDF]
Peter McBrien, Andrew Smith
International Workshop Data Integration and the Semantic Web, Luxembourg
pp.307–321
Presses Universitaires de Namur
June, 2006
Expanding The Boundaries Of Performance Requirement Representation With Performance Trees [PDF]
Tamas Suto
PASTA'06, 5th Workshop on Process Algebra and Stochastically Timed Activities
Imperial College London, Department of Computing
June, 2006
Fully automatic facial action unit detection and temporal analysis [PDF]
Michel Valstar, Maja Pantic
IEEE Int'l Conf. on Computer Vision and Pattern Recognition 2006
Volume 3
IEEE
June, 2006
Functional Performance Specification with Stochastic Probes [PDF] [GZipped Postscript]
Ashok Argent-Katwala, Jeremy T. Bradley
EPEW'06, 3rd European Performance Evaluation Workshop
Volume 4054, pp.31–46
Lecture Notes in Computer Science, Springer
June, 2006
Hierarchical statistical shape analysis and prediction of sub-cortical brain structures
Anil Rao, TF Cootes, Daniel Rueckert
2006 Conference on Computer Vision and Pattern Recognition Workshop (CVPRW'06)
p.75
IEEE Computer Society
June, 2006
HMM Assessment of Quality of Movement Trajectory in Laparoscopic Surgery
J. Leong, M. Nicolaou, Louis Atallah, George Mylonas, Ara Darzi, Guang-Zhong Yang
Medical Image Computing and Computer Aided Intervention - MICCAI 2006
2006
Kernel-based recognition of human actions using spatiotemporal salient points [PDF]
Antonios Oikonomopoulos, Ioannis Patras, Maja Pantic
IEEE Int'l Conf. on Computer Vision and Pattern Recognition 2006
Volume 3
IEEE
June, 2006
List-mode Affine Rebinning for Respiratory Motion Correction in PET Cardiac Imaging
Adrian Chung, P.G. Camici, Guang-Zhong Yang
Medical Image Computing and Computer Aided Intervention - MICCAI 2006
2006
Modelling along the DNA template in the Sanger method: inhibition through competition and form [PDF]
David Thornley
Process Algebra and Stochastically Timed Activities 2006
June, 2006
Motion-Compensated MR Valve Imaging with COMB Tag Tracking and Super-Resolution Enhancement
Andrew Dowsey, J. Keegan, Mirna Lerotic, Simon A. McG. Thom, D.N. Firmin, Guang-Zhong Yang
Medical Image Computing and Computer Aided Intervention - MICCAI 2006
2006
Non-Rigid 2D-3D Registration with Catheter Tip EM Tracking for Patient Specific Bronchoscope Simulation
Fani Deligianni, Adrian Chung, Guang-Zhong Yang
Medical Image Computing and Computer Aided Intervention - MICCAI 2006
2006
Observing Internet Worm and Virus Attacks with a Small Network Telescope [PDF] [GZipped Postscript]
Uli Harder, Matthew Johnson, Jeremy T. Bradley, William J. Knottenbelt
PASM 2005, 2nd International Workshop on the Practical Application of Stochastic Modelling
Volume 151, Issue 3, pp.47–59
Electronic Notes in Theoretical Computer Science, Elsevier
June, 2006
Optical Mapping of the Frontal Cortex During a Surgical Knot-Tying Task: A Feasibility Study
D. Leff, P.H. Koh, Rajesh Aggarwal, J. Leong, Philip Leong, Fani Deligianni, C. Elwell, D.T. Delpy, Ara Darzi, Guang-Zhong Yang
Medical Image Computing and Computer Aided Intervention - MICCAI 2006
Issue 4091, pp.141–148
Lecture Notes in Computer Science
2006
Optimal Sensor Placement for Predictive Cardiac Motion Modeling
Adrian Chung, Qian Wu, Guang-Zhong Yang
Medical Image Computing and Computer Aided Intervention - MICCAI 2006
2006
Performance Optimization of a Tandem Router Network Using a Fluid Model
Nalan Gulpinar, Peter G. Harrison, Berc Rustem, Pau
International MultiConference of Engineers and Computer Scientists 2006, (IMECS'06), June 20-22, 2006, Hong Kong
p.986
Lecture Notes in Engineering and Computer Science
June, 2006
Process algebraic non-product-forms [PDF]
Peter G. Harrison
Practical Aspects of Stochastic Modelling (PASM'05), Newcastle, July 2005
Volume 151, Issue 3, pp.61–76
Electronic Notes in Theoretical Computer Science, Elsevier
June, 2006
Robust Active Shape Models: A Robust, Generic and Simple Automatic Segmentation Tool
Julien Abi Nahed, Marie-Pierre Jolly, Guang-Zhong Yang
Medical Image Computing and Computer Aided Intervention - MICCAI 2006
2006
Simultaneous Stereoscope Localization and Soft-Tissue Mapping for Minimal Invasive Surgery
Peter Mountney, Danail Stoyanov, Andrew Davison, Guang-Zhong Yang
Medical Image Computing and Computer Aided Intervention - MICCAI 2006
2006
Stochastic simulation methods applied to a secure electronic voting model [PDF] [GZipped Postscript]
Jeremy T. Bradley, Stephen Gilmore
PASM 2005, 2nd International Workshop on the Practical Application of Stochastic Modelling
Volume 151, Issue 3, pp.5–25
Electronic Notes in Theoretical Computer Science, Elsevier
June, 2006
The Effect of Depth Perception on Visual-Motor Compensation in Minimal Invasive Surgery
M. Nicolaou, Louis Atallah, Andrew James, J. Leong, Ara Darzi, Guang-Zhong Yang
Medical Image Computing and Computer Aided Intervention - MICCAI 2006
2006
The Use of Super Resolution in Robotic Assisted Minimally Invasive Surgery
Mirna Lerotic, Guang-Zhong Yang
Medical Image Computing and Computer Aided Intervention - MICCAI 2006
2006
Tissue Characterization using Dimensionality Reduction and Fluorescence Imaging
Karim Lekadir, D.S. Elson, J. Requejo-Isidro, C. Dunsby, J. McGinty, N. Galletly, G. Stamp, P.M.W. French, Guang-Zhong Yang
Medical Image Computing and Computer Aided Intervention - MICCAI 2006
2006
Visualising Dynamic Memory Allocators [PDF]
Andrew Cheadle, A. J. Field, J.W. Ayres, N. Dunn, Richard Hayden, J. Nystrom-Persson
ISMM'06, ACM International Symposium on Memory Management
pp.115–125
ACM Press
June, 2006
Accelerating the Development of Hardware Accelerators
Lee Howes, Oliver Pell, Oskar Mencer, Olav Beckmann
Workshop on Edge Computing, North Carolina, USA, May 2006
2006
Active control for single camera SLAM [PDF]
Teresa Vidal-Calleja, Andrew Davison, Juan Andrade-Cetto, David W Murray
IEEE International Conference on Robotics and Automation
IEEE
May, 2006
Adding Instruments and Workflow support to existing Grid Architectures [PDF]
David Colling, Luke Dickens, T Ferrari, Youssef Hassoun, C Kotsokalis, Marko Krznaric, Janusz Martyniak, Stephen McGough, E Ronchieri
May, 2006
A visual compass based on SLAM [PDF]
Jose M M Montiel, Andrew Davison
IEEE Internation Conference on Robotics and Automation
IEEE
May, 2006
Contract Related Authors [PDF]
John Knottenbelt, Keith Clark
Computational Logic in Multi-agent Systems
Springer
2006
Evaluation of BPEL for Scientific Workflows
Asif Akram, Rob Allan, David Meredith
6th IEEE International Symposium on Cluster Computing and the Grid, CCGrid 2006 (CCGrid 2006), Singapore
May, 2006
Inferring Operational Requirements from Scenarios and Goal Models Using Inductive Learning (2006) [PDF]
Dalal Alrajeh, Alessandra Russo, Sebastian Uchitel
International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools at the 29th IEEE/ACM International Conference on Software Engineering (ICSE). Shanghai, China, 2003.
May, 2006
Inter Model Data Exchange of Type Information via a Common Type Hierarchy [PDF]
Andrew Smith, Peter McBrien
DISWeb06
pp.307–321
Presses Universitaires de Namur
May, 2006
iXPeer: Implementing layers of abstraction in P2P Schema Mapping using AutoMed [PDF]
Peter McBrien, Nikolaos Rizopoulos, Charalambos Lazanitis, Zohra
2nd Workshop on Innovations in Web Infrastructure, Edinburgh, UK
May, 2006
Multi-threaded communicating agents in Qu-Prolog [PDF]
Keith Clark, Peter Robinson, Silvana Zappacosta Amboldi
Computatational Logic in Multi-agent Systems
Springer
2006
Quantification of growth and motion using non-rigid registration
Daniel Rueckert, Raghavendra Chandrashekara, Paul Aljabar, Kanwal Bhatia, JP Boardman, L Srinivasan, MA Rutherford, L Dyet, AD Edwards, JV Hajnal, RH Mohiaddin
2nd International Workshop on Computer Vision Approaches to Medical Image Analysis (CVAMIA 2006)
May, 2006
Querying Distributed Data in a Super-Peer Based Architecture [PDF]
Zohra Bellahsene, Charalambos Lazanitis, Peter McBrien, Nikolaos Rizopoulos
IWI2006
May, 2006
Typed Event Structures and the Pi-Calculus
Daniele Valacca, Nobuko Yoshida
Twenty-second Conference on the Mathematical Foundations of Programming Semantics
Volume 158, pp.373–398
Elsevier
May, 2006
WS-Engineer: A Tool for Model-Based Verification of Web Service Compositions and Choreography [PDF]
Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer
IEEE International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 2006.
May, 2006
Analysis of Growth in the Developing Brain Using Non-Rigid Registration
Paul Aljabar, Kanwal Bhatia, JV Hajnal, JP Boardman, L Srinivasan, MA Rutherford, L Dyet, AD Edwards, Daniel Rueckert
IEEE International Symposium on Biomedical Imaging
pp.201–204
IEEE
April, 2006
An SoC with Reconfigurable Debug Infrastructure
Jacob Bower, Wayne Luk, Oskar Mencer, Miron Abramovici
IEEE Symposium on Low-Power and High-Speed Chips, COOL Chips IX
IEEE Computer Society Press
April, 2006
ASC-based acceleration using software-only skills
E Fiksman, Y Birk, Oskar Mencer
The Fourteenth Annual IEEE Symposium on Field-Programmable Custom Computing Machines
pp.271–272
IEEE Computer Society Press
April, 2006
A Spatio-Temporal Architecture for Context-Aware Sensing
Surapa Thiemjarus, Benny Lo, Guang-Zhong Yang
International Workshop on Wearable and Implantable Body Sensor Networks 2006
pp.191–194
April, 2006
Automatic Extraction and Matching of Neonatal Cerebral Vasculature
Hui Xue, C Malamateniou, J Allsop, L Srinivasan, JV Hajnal, Daniel Rueckert
IEEE International Symposium on Biomedical Imaging
pp.125–128
IEEE
April, 2006
Ballroom etiquette: a case study for norm-governed multi-agent systems [PDF]
Dorian Gaertner, Keith Clark, Marek Sergot
Coordination, Organization, Institutions and Norms in Agent Systems
International Conference on Autonomous agents multi-agent systems
April, 2006
Dynamic Policy Analysis and Conflict Resolution for DiffServ Quality of Service Management [PDF]
Marinos Charalambides, Paris Flegkas, George Pavlou, Arosha Bandara, Naranker Dulay, Emil Lupu, Javier Rubio-Loyola, Alessandra Russo, Morris Sloman
IFIP/IEEE Network Operations and Management Symposium (NOMS 2006)
IEEE Computer Society
April, 2006
Explicit Alpha Conversion and Garbage Collection for X [PDF]
Steffen van Bakel, Jayshan Raghunandan
International Workshop on Term Graph Rewriting (TermGraph'06), Vienna, Austria
April, 2006
FPGAs, GPUs and the PS2 - A Single Programming Methodology
Lee Howes, P Price, Oskar Mencer, Olav Beckmann
FCCM'06, 14th Annual IEEE Symposium on Field-Programmable Custom Computing Machines Napa Valley, CA. April 24-26 2006
pp.313–314
IEEE Communications Society
April, 2006
Investment Functions and the Profitability Gap
Colin Richardson
Scottish Economic Society Conference, Ramada Jarvis Hotel, Perth, Scotland
April, 2006
Performance analysis of Stochastic Process Algebra models using Stochastic Simulation [PDF] [GZipped Postscript]
Jeremy T. Bradley, Stephen Gilmore, Nigel Thomas
PMEO-PDS'06, Proceedings of Performance Modelling, Evaluation and Optimization of Parallel and Distributed Systems
p.321
IEEE Computer Society Press
April, 2006
Performance Optimization of Mean Response Time in a Tandem Router Network with Batch Arrivals
Nalan Gulpinar, Peter G. Harrison, Berc Rustem, Pau
10th IEEE/IFIP Network Operations and Management Symposium, 2006 (NOMS 2006)
April, 2006
Pervasive Body Sensor Network: An Approach to Monitoring the Post-operative Surgical Patient
Omer Aziz, Benny Lo, Rachel King, Guang-Zhong Yang, Ara Darzi
International Workshop on Wearable and Implantable Body Sensor Networks 2006
pp.13–18
April, 2006
Source Recovery for Body Sensor Network
Fani Deligianni, Benny Lo, Guang-Zhong Yang
International Workshop on Wearable and Implantable Body Sensor Networks 2006
pp.199–202
April, 2006
Three Approaches to GO-Tagging Biomedical Abstracts
Neil Davis, Henk Harkema, Rob Gaizauskas, Yikun Guo, Moustafa Ghanem, Tom Barnwell, Yike Guo, Jonathan Ratcliffe
CEUR Workshop Proceedings
April, 2006
Accelerating a C++ Image Processing Library with a GPU
Jay Cornwall, Olav Beckmann, Paul Kelly
POHLL 2006: Workshop on Performance Optimization for High-Level Languages and Libraries (colocated with IPDPS06, Rhodes).
IEEE Press
2006
Approaches to Polymorphism in Classical Sequent Calculus [PDF]
Alexander Summers, Steffen van Bakel
ESOP 2006
Springer Verlag
March, 2006
Denotational Semantics of Hybrid Automata [Postscript]
Abbas Edalat, Dirk Pattinson
Foundations of Software Science and Computation Structures: 9th International Conference, FOSSACS 2006
Volume 3921, pp.231–245
Lecture Notes in Computer Science
March, 2006
Model-Based Analysis of Obligations in Web Service Choreography
Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer
IEEE International Conference on Internet & Web Applications and Services 2006, Guadeloupe, FC.
2006
On Reversible Combinatory Logic [PDF]
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
First International Workshop on Developments in Computational Models (DCM 2005)
Volume 135, Issue 3, pp.25–35
Electronic Notes in Theoretical Computer Science, Elsevier
March, 2006
Reversing algebraic process calculi
Iain Phillips, Irek Ulidowski
Foundations of Software Science and Computation Structures: 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006
Volume 3921, pp.246–260
Lecture Notes in Computer Science, Springer-Verlag
2006
A Whole Brain Morphometric Analysis of Changes Associated with Preterm Birth [PDF]
Carlos Thomaz, JP Boardman, SJ Counsell, DLG Hill, JV Hajnal, AD Edwards, MA Rutherford, Duncan Gillies, Daniel Rueckert
SPIE Medical Imaging 2006: Image Processing
Volume 6144, pp.1903–1910
SPIE
February, 2006
A Service-oriented Utility Grid Architecture Utilising Pay-per-use Resources
Jeremy Cohen, William Lee, John Darlington, Stephen McGough
First International Conference on Communication System Software and Middleware (COMSWARE 2006)
IEEE Computer Society
January, 2006
Parallel Visualization using the Domain-Specific Interpreter Pattern [PDF]
Karen Osmond, Olav Beckmann, A. J. Field, Paul Kelly
CPC 2006. Workshop on Compilers for Parallel Computers
January, 2006
Specifying the Semantics of Interaction Protocols
Jim Cunningham
InterSymp-2005, Multi-agent Systems Symposium, Baden August 2005
2006
Abduction and induction for modelling inhibition in metabolic networks [PDF]
Alireza Tamaddoni-Nezhad, Stephen Muggleton
Proceedings of the Fourth International Conference on Machine Learning and Applications
IEEE Computer Society
December, 2005
A distributed and probabilistic concurrent constraint programming language
Luca Bortolussi, Herbert Wiklicky
21st International Conference on Logic Programming, 2-5 October 2005, Sitges, Spain
Volume 3668, pp.143–158
Lecture Notes in Computer Science, Springer-Verlag
2005
DIADEM Firewall: Web Server Overload Attack Detection and Response [PDF]
G , A Fessi, G. Carle, O. Paul, D. Gabrijelcic, Y. Carlinet, Sherif Yusuf, Morris Sloman, P. Sagmeister, G. Dittmann, J. van Lunteren
Broadband Europe (BBEurope), Bordeaux, France
December, 2005
Dynamic Voltage Scaling for Commercial FPGAs [PDF]
Philip Leong, Wayne Luk
International Conference on Field Programmable Technology (FPT)
pp.215–222
December, 2005
Affective Multimodal Human-Computer Interaction [PDF]
Maja Pantic, Nicu Sebe, Jeffrey F. Cohn, Thomas Huang
ACM Int'l Conf. on Multimedia 2005
pp.669–676
ACM
November, 2005
A Model of Dynamic Binding in .NET [PDF]
Alex Buckley
Component Deployment 2005
November, 2005
A novel refinement approach for text categorization
Songbo Tan, Xueqi Cheng, Moustafa Ghanem, Bin Wang, Hongbo Xu
CIKM'05: 14th ACM international conference on Information and knowledge management.
pp.469–476
November, 2005
A Workflow Portal Supporting Multi-Language Interoperation and Optimisation
L Huang, Asif Akram, Rob Allan, Y Huang, Omer Rana, David Walker
SuperComputing 2005 Grid Computing Environments Workshop: Grid Computing Environments (GCE05), Seattle, USA
November, 2005
Bridging the Macro and Micro: A Computing Intensive Earthquake Study Using Discovery Net
Yike Guo, Jian Guo Liu, Moustafa Ghanem, Kyran Mish, Vasa Curcin, Christian Haselwimmer, Dimosthenis Sotiriou, K. K. Muraleetharan, L. Taylor
2005 ACM/IEEE conference on Supercomputing
pp.68–71
IEEE Computer Society Press
November, 2005
Building of a Grid Portal Infrastructure
Dharmesh Chohan, Asif Akram, Rob Allan
3rd International Workshop on Middleware for Grid Computing (MGC 2005), Grenoble
November, 2005
Conducting Agile Negotiation Processes Involved in BPEL4WS Models On a Multi-Agent Platform
Li Guo, Dave Robertson
China Association for Information Systems Conference 2005
November, 2005
Introduction to doctoral symposium [PDF]
Sebastian Uchitel, Steve Easterbrook
20th IEEE/ACM International Conference on Automated Software, Engineering (ASE 2005), November 7-11, 2005, Long Beach, CA, USA
ACM
November, 2005
Virtual Peer Communities and the Community Coordinator
Asif Akram, Rob Allan, Omer Rana
1st International Conference on Semantics, Knowledge and Grid
November, 2005
Active search for real-time vision [PDF]
Andrew Davison
IEEE International Conference on Computer Vision
Volume 1, pp.66–73
IEEE Computer Society
October, 2005
A Domain-Specific Interpreter for Parallelizing a Large Mixed-Language Visualisation Application [PDF]
Karen Osmond, Olav Beckmann, A. J. Field, Paul Kelly
LCPC 2005, 18th International Workshop on Languages and Compilers for Parallel Computing
Volume 4339, pp.347–361
Lecture Notes in Computer Science, Springer Verlag
October, 2005
A Novel Approach For Enacting Distributed Business Workflow on the Peer-to-Peer Platform
Li Guo, Yun-Heh Chen-Burger, Dave Robertson
2005 IEEE International Conference on e-Business Engineering
IEEE Systems Sciences, IEEE Computer Society
October, 2005
ANS: A Look Under the Hood
Asher Hoskins, Gawesh Jawaheer, Julie McCann
Institute of Electrical Engineers Interface Event: Perspectives in Pervasive Computing
IEE
October, 2005
Architecture for Body Sensor Networks
Benny Lo, Guang-Zhong Yang
Perspective in Pervasive Computing
pp.23–28
October, 2005
Context Aware Sensing - What's the Significance?
Surapa Thiemjarus, Benny Lo, Guang-Zhong Yang
Perspective in Pervasive Computing
pp.163–170
October, 2005
Detecting facial actions and their temporal segments in nearly frontal-view face image sequences [PDF]
Maja Pantic, Ioannis Patras
IEEE Int'l Conf. on Systems, Man and Cybernetics 2005
pp.3358–3363
IEEE
October, 2005
Enhancing the Alloy Analyzer with Patterns of Analysis (2005)
Will Heaven, Alessandra Russo
15th International Workshop on Logic-based methods in Programming Environments (WLPE'05)
pp.14–30
October, 2005
Formalising Java RMI with Explicit Code Mobility
Alexander Ahern, Nobuko Yoshida
OOPSLA'05, the 20th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
pp.403–422
ACM Press
October, 2005
Fully automatic facial feature point detection using Gabor feature based boosted classifiers [PDF]
Danijela Vukadinovic, Maja Pantic
IEEE Int'l Conf. on Systems, Man and Cybernetics 2005
pp.1692–1698
IEEE
October, 2005
Generalised overlap measures for assessment of pairwise and groupwise image registration and segmentation
WR Crum, O Camara, Daniel Rueckert, Kanwal Bhatia, M Jenkinson, DLG Hill
8th International Conference on Medical Image Computing and Computer-Assisted Intervention (Miccai 2005), 26 - 29 October 2005, Palm Springs, CA
Volume 3749, pp.99–106
Springer-Verlag
October, 2005
Interpolation artefacts in non-rigid registration
Paul Aljabar, JV Hajnal, RG Boyes, Daniel Rueckert
8th International Conference on Medical Image Computing and Computer-Assisted Intervention (Miccai 2005), 26 - 29 October 2005, Palm Springs, CA
Volume 3750, pp.247–254
Springer-Verlag
2005
Pervasive Healthcare: Clinical Drive, Technological Innovations, and Socio-Economic Benefits
Omer Aziz, Benny Lo, Guang-Zhong Yang, Ara Darzi
Institute of Electrical Engineers Interface Event: Perspectives in Pervasive Computing
pp.127–132
IEE
October, 2005
Probabilistic Linda-based coordination languages
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
3rd International Symposium on Formal Methods for Components and Objects, 02 - 05 November 2004, Leiden, Netherlands
Volume 3657, pp.120–140
Springer Verlag
October, 2005
Schema Integration based on Uncertain Semantic Mappings [PDF]
Nikolaos Rizopoulos, Peter McBrien, Matteo Magnani, Danilo Montesi
Lecture Notes in Computer Science
Volume 3716, pp.31–46
Lecture Notes in Computer Science, Springer-Verlag
October, 2005
Subtyping object and recursive types logically [PDF]
Steffen van Bakel, Ugo de'Liguoro
9th Italian Conference on Theoretical Computer Science (ICTCS'05), Siena, Italy
Volume 3701, pp.66–80
Lecture Notes in Computer Science, Springer
October, 2005
The language X: circuits, computations and classical logic [PDF]
Steffen van Bakel, Lengrand, Pierre Lescanne
9th Italian Conference on Theoretical Computer Science (ICTCS'05), Siena, Italy
Volume 3701, pp.81–96
Lecture Notes in Computer Science, Springer
October, 2005
Tracking deformable motion [PDF]
Ioannis Patras, Maja Pantic
IEEE Int'l Conf. on Systems, Man and Cybernetics 2005
pp.1066–1071
IEEE
October, 2005
Adaptation of Dynamic Web Pages on the Edge
Gawesh Jawaheer, Julie McCann
International WWW/Internet Conference, Portugal
2005
A Generic Multi-agent System Platform For Business Workflows Using Web Services Composition
Li Guo, Dave Robertson, Yun-Heh Chen-Burger
IEEE Intelligent Agent Technology Conference 2005
pp.301–308
IEEE Systems Sciences, IEEE Computer Society
September, 2005
A Generic Multi-agent System Platform For Business Workflows Using Web Services Composition
Li Guo, Yun-Heh Chen-Burger, Dave Robertson
2005 IEEE Intelligent Agent Technology Conference
pp.301–308
IEEE Systems Sciences, IEEE Computer Society
September, 2005
A Logical Analysis of Aliasing in Imperative Higher-Order Functions
Martin Berger, Kohei Honda, Nobuko Yoshida
ICFP'05, Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming
pp.280–293
ACM Press
September, 2005
A Service oriented architecture for portals using portlets
Asif Akram, Rob Allan, Dharmesh Chohan, Xiaobo Yang
Uk e-Science All Hands Conference 2005
September, 2005
Automating Custom-Precision Function Evaluation for Embedded Processors
Chak Chung Ray Cheung, Dong-U Lee, Oskar Mencer, Peter Cheung, Wayne Luk
CASES'05, ACM/IEEE International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, San Francisco.
pp.22–31
ACM Press
September, 2005
Autonomic Management for Ubiquitous e-Health Systems [PDF]
Naranker Dulay, Steven Heeps, Emil Lupu, O Sharma, Morris Sloman, Joe Sventek
UK e-Science Programme All Hands Meeting 2005 (AHM2005)
September, 2005
Delay Analysis of Priority Queues with Modulated Traffic [PDF]
Peter G. Harrison, Yu Zhang
MASCOTS 2005, IEEE International Symposium on Modelling, Analysis, and Simulation of Computer and Telecommunication Systems
pp.280–287
IEEE Computer Society Press
September, 2005
Enacting the Distributed Business Workflows Using BPEL4WS on the Multi-Agent Platform
Li Guo, Yun-Heh Chen-Burger, Dave Robertson
The Third German conference on Multi-Agent System TEchnologieS
LNAI, Springer
September, 2005
Enacting the Distributed BusinessWorkflows Using BPEL4WS on the Multi-Agent Platform
"Li Guo, Dr. Dave Robertson, Dr. Yun-Heh Chen-Burger"
The Third German conference on Multi-Agent System Technologies 2005
pp.35–46
LNAI, Springer
September, 2005
Fluent Temporal Logic for Discrete-Time Event-Based Models [PDF]
Sebastian Uchitel
Joint Meeting of the 10th European Software Engineering Conference and the 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, Lisbon, Portugal, 2005.
2005
GoTag: A case study in using a shared UK e-Science infrastructure
Moustafa Ghanem, Vasa Curcin, Yike Guo, Neil Davis, Rob Gaizauskas, Yikun Guo, Henk Harkema, Ian Roberts, Jonathan Ratcliffe
4th UK e-Science All Hands Meeting 2005
September, 2005
GRAIL: Grid-Enabled Performance Analysis Using Stochastic Logics [PDF]
Tamas Suto
PASTA'05, 4th Workshop on Process Algebra and Stochastically Timed Activities
University of Edinburgh
September, 2005
Hypergraph Partitioning for Faster Parallel PageRank Computation [PDF] [GZipped Postscript]
Jeremy T. Bradley, Douglas de Jager, William J. Knottenbelt, Aleksandar Trifunovic
EPEW'05, Proceedings of the 2nd European Performance Evaluation Workshop
Volume 3670, pp.155–171
Lecture Notes in Computer Science, Springer-Verlag
September, 2005
KenyaEclipse: Learning to Program in Eclipse [PDF]
Robert Chatley, Thomas Timbul
ESEC/FSE 2005
pp.245–248
ACM Press
September, 2005
Learning spatiotemporal models of facial expressions [PDF]
Maja Pantic, Ioannis Patras, Michel Valstar
Int'l Conf. Measuring Behaviour 2005
pp.7–10
September, 2005
Lightweight Solution for Protein Annotation
Shikta Das, Stephen McGough, Jeremy Cohen, John Darlington
UK e-Science All Hands Meeting 2005
September, 2005
Minimizing Associativity Conflicts in Morton Layout
Olav Beckmann, Thiyagalingam Jeyarajan, Paul Kelly
PPAM 2005 Workshop on HPC Linear Algebra Libraries for Computers with Multilevel Memories
Volume 3911
Lecture Notes in Computer Science, Springer
September, 2005
Payment and Negotiation for the Next Generation Grid
Jeremy Cohen, William Lee, John Darlington
UK e-Science All Hands Meeting 2005
September, 2005
Performance Engineering and Stochastic Modelling
Peter G. Harrison
European Performance Engineering Workshop (EPEW 2005) and International Workshop on Web Services and Formal Methods (WS-FM 2005), Versailles, France, September 1-3, 2005
Volume 3670, pp.1–14
Lecture Notes in Computer Science, Springer
September, 2005
Scalable clustering on the Data Grid
Patrick Wendel, Moustafa Ghanem, Yike Guo
4th UK e-Science All Hands Meeting 2005
September, 2005
Self-Managed Cells for Ubiquitous Systems [PDF]
Naranker Dulay, Emil Lupu, Morris Sloman, Joe Sventek, Nagwa Badr, Steven Heeps
3rd International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, 25 - 27 September 2005, St.Petersburg, Russia
Volume 3685, pp.1–6
Springer-Verlag
September, 2005
Trust and Security in Virtual Organisations
Alvaro Arenas, Ivan Djordjevic, Joris Claessens, Theo Dimitrakos, Christian Geuer-Pollmann, Leonid Titkov, Emil Lupu, Nilufer Tuptuk, Lutz Schubert, Stephan Wesner
6th IFIP Working Conference on Virtual Enterprises (PRO-VE 2005)
September, 2005
Using Text Mining for Understanding Insulin Signalling
Moustafa Ghanem, Jonathan Ratcliffe, Vasa Curcin, Xinzhong Li, Roger Tattoud, James Scott, Yike Guo
4th UK e-Science All Hands Meeting 2005
September, 2005
Gaze-contingent soft tissue deformation tracking for minimally invasive robotic surgery
George Mylonas, Danail Stoyanov, Fani Deligianni, Ara Darzi, Guang-Zhong Yang
Medical Image Computing and Computer Assisted Intervention (MICCAI05)
pp.843–850
2005
Invisible shadow for navigation and planning in minimal invasive surgery
M. Nicolaou, Andrew James, Benny Lo, Ara Darzi, Guang-Zhong Yang
Medical Image Computing and Computer Assisted Intervention (MICCAI05)
pp.25–32
2005
Laparoscope self-calibration for robotic assisted minimally invasive surgery
Danail Stoyanov, Ara Darzi, Guang-Zhong Yang
Medical Image Computing and Computer Assisted Intervention (MICCAI05)
pp.114–121
2005
Photo-realistic tissue reflectance modelling for minimally invasive surgical simulation
Mohammed Elhelw, S. Atkins, M. Nicolaou, Adrian Chung, Guang-Zhong Yang
Medical Image Computing and Computer Assisted Intervention (MICCAI05)
pp.868–875
2005
Predictive camera tracking for bronchoscope simulation with CONDensation
Fani Deligianni, Adrian Chung, Guang-Zhong Yang
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2005: 8th International Conference
pp.910–917
2005
Soft-tissue motion tracking and structure estimation for robotic assisted MIS procedures
Danail Stoyanov, George Mylonas, Fani Deligianni, Ara Darzi, Guang-Zhong Yang
Medical Image Computing and Computer Assisted Intervention (MICCAI05)
pp.139–146
2005
Subject specific finite element modelling of the levator ani
Su-Lin Lee, Ara Darzi, Guang-Zhong Yang
Medical Image Computing and Computer Assisted Intervention (MICCAI05)
pp.360–367
2005
Using dragpushing to refine centroid text classifiers.
Songbo Tan, Xueqi Cheng, Bin Wang, Hongbo Xu, Moustafa Ghanem, Yike Guo
SIGIR '05: 28th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval
pp.653–654
August, 2005
Abstract policy evaluation for reactive agents [PDF]
Krysia Broda, Christopher Hogger
6th International Symposium on Abstraction, Reformulation and Approximation (SARA 2005), Airth Castle, Scotland, July 26-29, 2005
Volume 3607, pp.44–59
Lecture Notes in Computer Science, Springer-Verlag
July, 2005
Aspects of Trusted and Secure Business-Oriented VO Management in Service Oriented Architectures
Adomas Svirskas, Michael Wilson, Alvaro Arenas, Emil Lupu, Nilufer Tuptuk, David Chadwick, Pablo Giambiagi, Theo Dimitrakos, Bob Roberts
First IEEE International Workshop on Service oriented Solutions for Cooperative Organizations (SoS4CO '05), Munich, Germany
July, 2005
Chai: Typed Traits in Java [PDF]
Charles Smith, Sophia Drossopoulou
European Conference for Object-Oriented Programming
pp.543–576
Springer Verlag
July, 2005
Evaluating Atlas Segmentation of Multiple Structures Using Generalised Measures of Region Overlap
WR Crum, O Camara, Daniel Rueckert, M Jenkinson, DLG Hill
Medical Image Understanding and Analysis (MIUA 2005), University of Bristol, 19-20 July 2005
BMVA
July, 2005
Evaluation of 3D face recognition using registration and PCA
Theodore Papatheodorou, Daniel Rueckert
5th international conference on audio- and video-based biometric person authentication (AVBPA 2005)
Volume 3546, pp.997–1009
Springer
2005
Extraction and Registration of Neonatal Cerebral Vasculature for Preterm and Term Infants
Hui Xue, C Malamateniou, SJ Counsell, MA Rutherford, Daniel Rueckert, JV Hajnal
Medical Image Understanding and Analysis (MIUA 2005)
BMVA
July, 2005
MiniBit: Bit-width optimization via affine arithmetic
Dong-U Lee, Altaf Abdul Gaffar, Wayne Luk, Oskar Mencer
DAC'05, Design Automation Conference
pp.837–840
July, 2005
Propagating labels on brain MR images based on non-rigid registration: An evaluation
R. A. Heckemann, JV Hajnal, Daniel Rueckert, DLG Hill, A. Hammers
Medical Image Understanding and Analysis (MIUA 2005), University of Bristol, 19-20 July 2005
BMVA
July, 2005
Refinements of the CIFF Procedure
Ulrich Endriss, Markos Hatzitaskos, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni
12th Workshop on Automated Reasoning, Bridging the Gap between Theory and Practice (ARW 2005)
July, 2005
Robust Active Shape Models
Julien Abi Nahed, Marie-Pierre Jolly, Guang-Zhong Yang
Medical Image Understanding and Analysis
pp.115–118
July, 2005
Spatiotemporal saliency for human action recognition [PDF]
Antonios Oikonomopoulos, Ioannis Patras, Maja Pantic
IEEE Int'l Conf. on Multimedia and Expo 2005
pp.430–433
IEEE
July, 2005
Specifying the Semantics of Agent Interaction Protocols
Shamimabi Paurobally, Jim Cunningham, Nicholas R. Jennings
Fourth International Joint Conference on Autonomous agents and Multi-Agent Systems (AAMAS'05)
July, 2005
Teaching Ad-hoc Networks using a Simple Agent Framework [PDF]
Maja Pantic, Robbert-Jan Grootjans, Reinier Zwitserloot
IEEE Int'l Conf. Information Technology Based Higher Education and Training 2005
pp.6–11
IEEE
July, 2005
Towards Type Inference for JavaScript [PDF]
Christopher Anderson, Sophia Drossopoulou, Paola Giannini
19th European Conference on Object-Oriented Programming (ECOOP 2005), Glasgow, Scotland
pp.428–452
July, 2005
Web-based database for facial expression analysis [PDF]
Maja Pantic, Michel Valstar, Ron Rademaker, Ludo Maat
IEEE Int'l Conf. on Multimedia and Expo 2005
pp.317–321
IEEE
July, 2005
Abduction and induction for learning models of inhibition in metabolic networks
Alireza Tamaddoni Nezhad, Raphael Chaleil, Antonis Kakas, Stephen Muggleton
Proceedings of the International Conference on Machine Learning and Applications (ICMLA'05)
pp.233–238
IEEE Computer Society
2005
A General Approach to the Generation of Conceptual Model Transformations [PDF]
Peter McBrien, Nikolaos Rizopoulos
Lecture Notes in Computer Science
Volume 3520, pp.326–341
Lecture Notes in Computer Science, Springer-Verlag
June, 2005
An Observationally Complete Program Logic for Imperative Higher-Order Functions
Kohei Honda, Martin Berger, Nobuko Yoshida
20th IEEE Symposium on Logic in Computer Science
pp.270–279
IEEE
June, 2005
CCLRC Portal infrastructure to support research facilities
Asif Akram, Rob Allan, Dharmesh Chohan, David Meredith
Global Grid Forum 14 (GGF 14), USA
June, 2005
Combined Hadware-Software Architecture for Network Flow [PDF]
Wayne Luk, Sherif Yusuf, Morris Sloman, Ashley Brown, Emil Lupu, Naranker Dulay
Intl Conf on Engineering of Reconfigurable Systems and Algorithms (ERSA)
pp.149–155
June, 2005
Comparison of cardiac motion fields from tagged and untagged MR images using nonrigid registration
Raghavendra Chandrashekara, RH Mohiaddin, Daniel Rueckert
3rd International Workshop, FIMH 2005, Barcelona, Spain, June 2-4, 2005
Volume 3504, pp.425–433
Lecture Notes in Computer Science, Springer
June, 2005
Computability in Computational Geometry [PDF]
Abbas Edalat, Ali Khanban, Lieutier
New Computational Paradigms: First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands
Volume 3526, pp.117–127
Lecture Notes in Computer Science, Springer
June, 2005
Detecting and comparing the onset of myocardial activation and regional motion changes in tagged MR for XMR-guided RF ablation
Gerardo Sanchez-Ortiz, M Sermesant, KS Rhode, Raghavendra Chandrashekara, R Razavi, DLG Hill, Daniel Rueckert
3rd International Workshop, FIMH 2005, Barcelona, Spain, June 2-4, 2005
Volume 3504, pp.348–358
Lecture Notes in Computer Science, Springer
June, 2005
Facial Action Unit Detection using Probabilistic Actively Learned Support Vector Machines on Tracked Facial Point Data [PDF]
Michel Valstar, Ioannis Patras, Maja Pantic
IEEE Int'l Conf. on Computer Vision and Pattern Recognition 2005
Volume 3, pp.76–84
IEEE
June, 2005
Fast spatio-temporal free-form registration of cardiac MR image sequences
Dimitrios Perperidis, RH Mohiaddin, Daniel Rueckert
3rd International Workshop, FIMH 2005, Barcelona, Spain, June 2-4, 2005
Volume 3504, pp.414–424
Lecture Notes in Computer Science, Springer
June, 2005
Integrating Unnormalised Semi-Structured Data Sources [PDF]
Sasivimol Kittivoravitkul, Peter McBrien
Lecture Notes in Computer Science
pp.460–474
Lecture Notes in Computer Science, Springer-Verlag
June, 2005
Interleaving belief revision and reasoning: preliminary report [PDF]
Fariba Sadri, Francesca Toni
Convegno Italiano di Logica Computazionale (CILC 2005)
June, 2005
Inverse and Implicit Functions in Domain Theory [Postscript]
Abbas Edalat, Dirk Pattinson
IEEE Symposium on Logic in Computer Science(2005)
pp.417–426
IEEE Computer Society
June, 2005
Learning Stochastic Logical Automaton [PDF]
Stephen Muggleton, Hiroaki Watanabe
19th Annual Conferences of JSAI
Springer Verlag
June, 2005
Machine Learning for Systems Biology [PDF]
Stephen Muggleton
15th International Conference on Inductive Logic Programming
Springer-Verlag
June, 2005
Model checking vs. generalized model checking: semantic minimization for temporal logics [PDF]
Patrice Godefroid, Michael Huth
IEEE Annual Symposium on Logic in Computer Science
pp.158–167
IEEE Computer Society Press
June, 2005
Normative KGP Agents: A Preliminary Report
Fariba Sadri, Kostas Stathis, Francesca Toni
1st international symposium on normative multi-agent systems, 2005 AISB convention
2005
Policy Conflict Analysis for Quality of Service Management (2005) [PDF]
Marinos Charalambides, Paris Flegkas, George Pavlou, Arosha Bandara, Emil Lupu, Alessandra Russo, Naranker Dulay, Morris Sloman, Javier Rubio-Loyola
6th IEEE Workshop on Policies for Distributed Systems and Networks (Policy 2005)
June, 2005
Policy Conflict Analysis Using Tableaux for On Demand VPN Framework [PDF]
Hiroaki Kamoda, Masaki Yamaoka, Akihiro Hayakawa, S Matsuda, Krysia Broda, Morris Sloman
First International Workshop on Trust, Security and Privacy for Ubiquitous Computing
pp.565–569
June, 2005
Policy issues for pervasive systems [PDF]
Morris Sloman
8th international workshop on feature interactions in telecommunications and software systems, 28 - 30 June 2005, Leicester, ENGLAND
I O S Press
June, 2005
Profiles of behaviour for Logic-based agents [PDF]
Fariba Sadri, Francesca Toni
6th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA VI)
pp.184–200
June, 2005
Robust Multiuser Detection in Flat Fading Non-Gaussian Channels [PDF] [Postscript]
Harini Kulatunga, Visakan Kadirkamanathan
IEEE SPAWC 2005
June, 2005
Self-Managed Cells and their Federation
Joe Sventek, Nagwa Badr, Naranker Dulay, Steven Heeps, Emil Lupu, Morris Sloman
Intl. Workshop on Adaptive and Self-Managing Enterprise Applications (ASEA 05)
June, 2005
Statistical analysis of pharmacokinetic models in dynamic contrast-enhanced magnetic resonance imaging
V.J. Schmid, B.J. Whitcher, Guang-Zhong Yang, N.J. Taylor, A.R. Padhani
Medical Image Computing and Computer Assisted Intervention (MICCAI05)
Volume 8, Issue 2, pp.886–893
2005
Support Vector Inductive Logic Programming [PDF]
Ataollah Amini , Huma Lodhi, Stephen Muggleton, Michael Sternberg
8th International Conference on Discovery Science
Springer Verlag
June, 2005
The KGP model of Agency for Decision Making in e-Negotiation [PDF]
Kostas Stathis, Francesca Toni
Joint-Workshop on Decision Support Systems, Experimental Economics & E-Participation
June, 2005
Towards Chemical Universal Turing Machines [PDF]
Stephen Muggleton
21st National Conference on Artificial Intelligence
June, 2005
VIS-a-VE: Visual Augmentation for Virtual Environments in Surgical Training
Adrian Chung, Fani Deligianni, P. Shah, A. Wells, Guang-Zhong Yang
7th Joint Visualization Symposium of the Eurographics Association and the Visualization and Computer Graphics Technical Committee (VGTC)
pp.101–108
IEEE Computer Society Press
June, 2005
Continuous-Time Probabilistic KLAIM [PDF]
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo 2004)
Volume 128, Issue 5, pp.27–38
Electronic Notes in Theoretical Computer Science, Elsevier
May, 2005
Enhanced ICMP Traceback with Cumulative Path [PDF]
Vrizlynn Thing, Morris Sloman, Henry Lee, Jianying Zhou
61st IEEE Vehicular Technology Conference, Stockholm, Sweden
May, 2005
Fluent-based web animation: exploring goals for requirements validation
Robert Chatley, Sebastian Uchitel, Jeff Kramer, Jeff Magee
27th IEEE/ACM International Conference on Software Engineering (ICSE), St. Louis, 2005.
May, 2005
Monitoring and Control in Scenario-Based Requirements Analysis
Jeff Kramer, Jeff Magee, Sebastian Uchitel
27th IEEE/ACM International Conference on Software Engineering (ICSE), St. Louis, 2005.
2005
Policy Conflict Analysis Using free Variable Tableaux for Access Control in Web Services Environments [PDF]
Hiroaki Kamoda, Masaki Yamaoka, S Matsuda, Krysia Broda, Morris Sloman
Policy Management for the Web, WWW2005 Workshop 14th International World Wide Web Conference
pp.5–12
May, 2005
Policy Refinement for DiffServ Quality of Service Management (2005) [PDF]
Arosha Bandara, Emil Lupu, Alessandra Russo, Naranker Dulay, Morris Sloman, Paris Flegkas, Marinos Charalambides, George Pavlou
9th IFIP/IEEE Intl. Symp. on Integrated Management (IM 2005)
May, 2005
Sensitivity Analysis for a Scenario-Based Reliability Prediction Model
Sebastian Uchitel
4th Workshop on Architecting Dependable Systems (WADS) at the 27th IEEE/ACM International Conference on Software Engineering, St. Louis, USA, 2005.
2005
Traffic redirection attack protection system (TRAPS) [PDF]
Vrizlynn Thing, Henry Lee, Morris Sloman
20th IFIP International Information Security Conference (SEC), Makuhari-Messe, Chiba, Japan,
pp.309–325
Kluwer Academic Publishers
May, 2005
A Distributed Object-Oriented language with Session types [PDF]
Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Alexander Ahern, Sophia Drossopoulou
International Symposium of Trustworthy Global Computing
April, 2005
An Efficient Access Control Model for Mobile Ad-hoc Communities [PDF]
Sye Keoh, Emil Lupu
2nd International Conference on Security in Pervasive Computing, Boppard, Germany, 6 - 8 April 2005
Springer-Verlag Berlin
April, 2005
Calibration of a Queueing Model of RAID Systems [PDF] [Postscript]
Peter G. Harrison, Soraya Zertal
PASM 2004, 1st International Workshop on Practical Applications of Stochastic Modelling
Volume 128, Issue 4, pp.145–164
Electronic Notes in Theoretical Computer Science, Elsevier
April, 2005
Flexible Bytecode for Linking in .NET [PDF]
Alex Buckley, Michelle Murray, Susan Eisenbach, Sophia Drossopoulou
ETAPS Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2005)
2005
Leader Election in Rings of Ambient Processes
Iain Phillips, Maria Vigliotti
Electronic Notes in Theoretical Computer Science
Volume 128, Issue 2, pp.185–199
Elsevier
April, 2005
Optimization of a Tandem M/GI/1 Router Network with Batch Arrivals
Nalan Gulpinar, Peter G. Harrison, Berc Rustem, Pau
PMEO-PDS 2005, 4th International Workshop on Performance Modelling, Evaluation, and Optimization of Parallel and Distributed Systems
p.270
IEEE Computer Society Press
April, 2005
Extracting reusable knowledge from portal activity
Christopher Hogger, Frank Kriwaczek
4th International Conference on Artificial Intelligence, Knowledge Engineering and Databases (AIKED-2005), Salzburg, Austria, February 13-15, 2005
p.492
World Science and Engineering Academy and Society
February, 2005
A Grid Infrastructure for Mixed Bioinformatics Data and Text Mining
Moustafa Ghanem, Yike Guo, Anthony Rowe, Jonathan Ratcliffe
3rd ACS/IEEE International Conference on Computer Systems and Application
pp.41–45
IEEE Computer Society Press
January, 2005
A learning model for trustworthiness of context-awareness services
Markus Huebscher, Julie McCann
3rd IEEE international conference on pervasive computing and communications, Kauai Isl, HI, 8 - 12 March 2005
IEEE Computer Soc
2005
A Shape Model of the Human Mandible [PDF]
Yee Lam, DD Boswell, Duncan Gillies, Philip Edwards, Daniel Rueckert, Peter Charters, P Groom
British Journal of Anaesthesia
Volume 94, Issue 3, p.401
Oxford University Press
2005
Connectionless Probabilistic (CoP) routing: an efficient protocol for mobile wireless ad-hoc sensor networks [PDF]
Julie McCann, A Navarra, Aris Papadopoulos
24th IEEE international performance, computing and communications conference, Phoenix, AZ, 7 - 9 April 2005
IEEE Computer Soc
2005
Construction of a 4D statistical atlas of the cardiac anatomy and its use in classification
Dimitrios Perperidis, RH Mohiaddin, Daniel Rueckert
8th International Conference on Medical Image Computing and Computer-Assisted Intervention (Miccai 2005), 26 - 29 October 2005, Palm Springs, CA
Volume 3750, pp.402–410
Springer-Verlag
2005
Lambda-calculus and quantitative program analysis
Chris Hankin, Herbert Wiklicky
2nd Workshop on Quantitative Aspects of Programming Languages (QAPL 2004)
Volume 112, pp.5–18
Electronic Notes in Theoretical Computer Science, Elsevier
January, 2005
Leveraging Eclipse for Integrated Model-Based Engineering of Web Service Compositions
Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer
ETX2005 Workshop at OOPSLA05, San Diego, CA, October 2005.
2005
Localization of abnormal conduction pathways for treatment of tachyarrhythmia using tagged MRI
Gerardo Sanchez-Ortiz, M Sermesant, KS Rhode, Raghavendra Chandrashekara, R Razavi, DLG Hill, Daniel Rueckert
8th International Conference on Medical Image Computing and Computer-Assisted Intervention (Miccai 2005), 26 - 29 October 2005, Palm Springs, CA
pp.425–433
Springer
2005
Optimising Parallel Pattern-matching by Source-level Program Transformation [PDF]
R. Lyndon While, A. J. Field
ACSC'05, 28th Australasian Computer Science Conference
Volume 38, pp.239–248
ACM International Conference Proceedings, Australian Computer Society
January, 2005
Polymorphic Bytecode: Compositional Compilation for Java-like Languages [PDF]
Davide Ancona, Ferruccio Damiani, Sophia Drossopoulou, Elena Zucca
32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2005)
January, 2005
Reliability prediction in model-driven development
Sebastian Uchitel
8th International Conference on Model Driven Engineering Languages and Systems, 2 - 7 October 2005, Montego Bay, Jamaica
Volume 3713
Springer-Verlag
2005
Tool support for model-based engineering of web service compositions
Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer
IEEE international conference on services computing. Orlando, FL, 11 - 15 July 2005
IEEE Computer Society
2005
Uncertainty in Semantic Schema Integration [PDF]
Nikolaos Rizopoulos, Matteo Magnani, Peter McBrien, Danilo Montesi
BNCOD05
Volume 2, pp.13–16
Univ. Sunderland Press
2005
Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study
Howard Foster, Jeff Kramer, Jeff Magee, Sebastian Uchitel
IEEE International Conference on Services Computing (SCC), Orlando, USA, 2005.
2005
Using real-time dependability in adaptive service selection
Markus Huebscher, Julie McCann
joint international conference on automomics and autonomous systems/international conferenc on networking and services (icas/icns) OCT 23-28, 2005 Papeete, FRANCE
IEEE
2005
Using scenarios to predict the reliability of concurrent component-based software systems [PDF]
Sebastian Uchitel
8th international conference on fundamental approaches to software engineering, Edinburgh, Scotland, 4 - 8 April 2005
Springer-Verlag Berlin
2005
Web Service Compositions: From XML Syntax to Service Models
Sebastian Uchitel
IDEAlliance XML Conference, Atlanta, 2005
2005
A Componentized Approach to Grid Enabling Seismic Wave Modeling Application
Dheeraj Bhardwaj, Jeremy Cohen, Stephen McGough, Steven Newhouse
Parallel and Distributed Computing: Applications and Technologies
Volume 3320, pp.94–97
Lecture Notes in Computer Science, Springer-Verlag, LNCS
December, 2004
Fleeble Agent Framework for teaching an introductory course in AI [PDF]
Maja Pantic, Robbert-Jan Grootjans, Reinier Zwitserloot
IADIS/IEEE International Conference on Cognition and Exploratory Learning in Digital Age 2004
pp.525–530
IADIS
December, 2004
Hybrid systems approach to adaptive multi-user detection in MIMO CDMA channels
Harini Kulatunga, Visakan Kadirkamanathan
The IMA Conference on Mathematics in Signal Processing VI
December, 2004
PEACE: Policy-based Establishement of Ad-Hoc Communities [PDF]
Sye Keoh, Emil Lupu, Morris Sloman
20th IEEE Annual Computer Security Applications Conference (ACSAC), Tucson, Arizona, USA
December, 2004
Robust equalization using multiple H-infinity filters
Harini Kulatunga, Visakan Kadirkamanathan
The IMA Conference on Mathematics in Signal Processing VI
December, 2004
From Sensor Networks to Behaviour Profiling: A Homecare Perspective of Intelligent Building
Guang-Zhong Yang, Benny Lo, Liang (Jeffrey) Wang, Michael Rans, Surapa Thiemjarus, Jason Ng, Paul Garner, Steve Brown, Basim Majeed, Ian Neid
IEE Seminar for Intelligent Buildings
November, 2004
Merging Partial Behavioural Models [PDF]
Sebastian Uchitel
ACM International Symposium on Foundations of Software Engineering (FSE), Newport Beach, 2004.
November, 2004
System architecture: the context for scenario-based model synthesis [PDF]
Sebastian Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee
ACM SIGSOFT 12th international symposium on the foundations of software engineering (FSE-12), Newport Beach, California, 31 October - 5 November 2004
ACM
2004
Adaptive Middleware For Context-Aware Applications In Smart-Homes [PDF]
Markus Huebscher, Julie McCann
2nd International Workshop on Middleware for Pervasive and Ad-Hoc Computing, Middleware 2004, Canada
October, 2004
An optimisation model for a two-node router network [PDF]
Nalan Gulpinar, Peter G. Harrison, Berc Rustem, Pau
12th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems (MASCOTS 2004), Volendam, Netherlands
pp.147–156
IEEE Computer Soc
October, 2004
Experimental Evaluation of the UML Profile for Schedulability, Performance and Time [PDF]
Andrew Bennett, A. J. Field, Murray Woodside
UML 2004, 7th International Conference on the Unified Modeling Language
Volume 3273, pp.143–157
Lecture Notes in Computer Science, Springer
October, 2004
Exploring the Barrier to Entry - Incremental Generational Garbage Collection for Haskell [PDF]
Andrew Cheadle, A. J. Field, Simon Marlow, Simon Peyton Jones, R. Lyndon While
ISSM'04, ACM SIGPLAN International Symposium on Memory Management
pp.163–174
ACM Press
October, 2004
How Synchronisation Strategy Approximation in PEPA Implementations affects Passage Time Performance Results [PDF] [GZipped Postscript]
Jeremy T. Bradley, Stephen Gilmore, Nigel Thomas
EPEW'04, European Performance Evaluation Workshop
Volume 3236, pp.128–142
Lecture Notes in Computer Science, Springer-Verlag
October, 2004
Implementing X [PDF]
Steffen van Bakel, Jayshan Raghunandan
2nd International Workshop on Term Graph Rewriting (TermGraph'04), Rome, Italy
Volume 127, Issues 5–171, p.195
Electronic Notes in Theoretical Computer Science, Elsevier
October, 2004
MEProf: Modular Extensible Profiling for Eclipse
Olav Beckmann, Marc Hull, Paul Kelly
Eclipse Technology eXchange (eTX) Workshop at OOPSLA, October 2004
pp.32–36
ACM Press
October, 2004
Motion history for facial action detection in video [PDF]
Michel Valstar, Maja Pantic, Ioannis Patras
IEEE Int'l Conf. on Systems, Man and Cybernetics 2004
pp.635–640
IEEE
October, 2004
Overcoming Barriers to Restructuring in a Modular Visualisation Environment [PDF]
Olav Beckmann, A. J. Field, Gerard Gorman, Andrew Huff, Marc Hull, Paul Kelly
LCR 2004. Proceedings of the 7th workshop on Workshop on Languages, Compilers, and Run-time Support for Scalable Systems
Volume 81, pp.110–116
ACM International Conference Proceedings, ACM Press
October, 2004
Parkway 2.0: A Parallel Multilevel Hypergraph Partitioning Tool [PDF]
Aleksandar Trifunovic, William J. Knottenbelt
19th International Symposium on Computer and Information Sciences (ISCIS 2004)
Volume 3280, pp.789–800
Lecture Notes in Computer Science, Springer-Verlag
October, 2004
Performance Engineering with the UML Profile for Schedulability, Performance and Time: a Case Study [PDF]
Andrew Bennett, A. J. Field
12th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems (MASCOTS'04)
pp.67–75
IEEE Communications Society
October, 2004
Reasoning about Requirements Evolution using Cluster Belief Revision
Odinaldo Rodrigues, Artur dAvila Garcez, Alessandra Russo
Brazilian Symposium on Artificial Intelligence
Volume 3171
Springer-Verlag Berlin
October, 2004
Semantic Web Meets Autonomic Ubicomp
R Belecheanu, Asher Hoskins, Gawesh Jawaheer, Julie McCann, T Payne
workshop on Semantic Web Technology for Mobile and Ubiquitous Computing in the 3rd International Semantic Web Conference (ISWC' 04).
October, 2004
Abductive logic programming with CIFF: system description
Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni
Logics in artificial intelligence: 9th European conference, JELIA 2004, Lisbon, Portugal, 27 - 30 September 2004
pp.680–684
Springer Verlag
2004
A Standard Based Approach to Job Submission Through Web Services
William Lee, Stephen McGough, Steven Newhouse, John Darlington
UK e-Science All-Hands Meeting (AHM 2004), Nottingham, UK, September 2004
pp.901–905
EPSRC
September, 2004
Business Process Model Based Multi-agent System Development
Li Guo, Yun-Heh Chen-Burger, Dave Robertson
The Second Workshop On Collaboration Agents: Autonomous Agents for Collaborative Environments
pp.11–19
September, 2004
Construction of 3D Dynamic Statistical Deformable Models for Complex Topological Shapes
Paramate Horkaew, Guang-Zhong Yang
7th International Conference on Medical Image Computing and Computer-Assisted Intervention (MICCAI 2004), Saint-Malo, France, September 26-29, 2004
Volume 3216, pp.217–224
Lecture Notes in Computer Science, Springer
September, 2004
Declarative agent control [PDF]
Antonis Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni
5th workshop on computational logic in multi-agent systems (CLIMA V), 29 - 30 September 2004
pp.212–226
September, 2004
Designing and simulating individual teleo-reactive agents [PDF]
Krysia Broda, Christopher Hogger
27th German Conference on Artificial Intelligence, Ulm, September 2004
pp.1–15
Oberer Eselsberg
September, 2004
DESO-MayaVi: Tiling Visualisation Pipelines for Large Unstructured Datasets
Olav Beckmann, Paul Kelly, A. J. Field
7th Workshop on Languages, Compilers, and Run-time Support for Scalable Systems, September 2004
September, 2004
Discovery processes in Discovery Net
Jameel Syed, Moustafa Ghanem, Yike Guo
Proceedings of the 3rd UK e-Science All-hands Conference AHM 2004,
September, 2004
Facial Action Unit Recognition using Temporal Templates [PDF]
Michel Valstar, Ioannis Patras, Maja Pantic
IEEE Int'l Workshop on Human-Robot Interaction 2004
pp.253–258
IEEE
September, 2004
Generalised Kernel Set for Inverse Entailment
Oliver Ray, Krysia Broda, Alessandra Russo
International Conference on Logic Programming
Volume 3132, pp.165–179
Springer Verlag
September, 2004
Grid analysis of air pollution data
Moustafa Ghanem, Yike Guo, John Hassard, Michelle Osmond, Mark Richards
Proceedings of the EAML 2004: Fourth European Conference on Ecological Modelling/Fourth International Workshop on Environmental Applications of Data Mining.
September, 2004
InfoGrid: Information resource integration
Nikolaos Giannadakis, Moustafa Ghanem, Yike Guo
Proceedings of the 3rd UK e-Science All-hands Conference AHM 2004, Nottingham, UK
September, 2004
Integrated data and text mining in support of bioinformatics
Moustafa Ghanem, Yike Guo, Anthony Rowe
Proceedings of the 3rd UK e-Science All-hands Conference AHM 2004, Nottingham, UK
September, 2004
IT Service Infrastructure for Integrative Systems Biology
Vasa Curcin, Moustafa Ghanem, Yike Guo, Anthony Rowe, Wayne He, Qiang Lu, Hao Pei, Yuanyuan Li
SCC '04: Proceedings of the 2004 IEEE International Conference on Services Computing
IEEE Computer Society
September, 2004
mapping a business process model to a web services model
International Conference on Web Services 2004
pp.746–749
IEEE Systems Sciences, IEEE Computer Society Press
2004
Mapping of Scientific Workflow within the E-Protein Project to Distributed Resources
Angela O'Brien, Steven Newhouse, John Darlington
UK e-science all-hands meeting, AHM 2004, Nottingham, UK, September 2004
pp.404–409
EPSRC
September, 2004
Performance Architecture within ICENI
Stephen McGough, Laurie Young, Ali Afzal, Steven Newhouse, John Darlington
UK e-science all-hands meeting, AHM 2004, (September 2004),Nottingham, UK
pp.906–911
EPSRC
September, 2004
Performance guided Scheduling in GENIE through ICENI
Murtaza Gulamali, Stephen McGough, D.M. Edwards, B Cox, Steven Newhouse, John Darlington
UK e-science all-hands meeting, AHM 2004, Nottingham, UK, September 2004
pp.792–799
EPSRC
September, 2004
Planning partially for situated agents
Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni
5th workshop on computational logic in multi-agent systems (CLIMA V), 29 - 30 September 2004
pp.132–149
2004
Policies for cloned teleo-reactive robots
Krysia Broda, Christopher Hogger
2nd German Conference on Multiagent System Technologies (MATES 2004), Erfurt, Germany, September 29-30, 2004
Volume 3187, pp.328–340
Lecture Notes in Computer Science, Springer-Verlag
September, 2004
RealityGrid: An Integrated Approach to Middleware through ICENI
Jeremy Cohen, Nathalie Furmento, Gary Kong, Anthony Mayer, Steven Newhouse, John Darlington
UK e-science all-hands meeting, AHM 2004 (September 2004), Nottingham, UK
pp.451–456
EPSRC
September, 2004
SARS analysis on the Grid
Vasa Curcin, Moustafa Ghanem, Yike Guo
Proceedings of the 3rd UK e-Science All-hands Conference AHM 2004, Nottingham, UK
September, 2004
Sensor Grid for air pollution monitoring
Moustafa Ghanem, Yike Guo, John Hassard, Michelle Osmond, Mark Richards
3rd UK e-Science All-hands Conference AHM 2004, Nottingham, UK
September, 2004
Sensor Grids for air pollution monitoring
Moustafa Ghanem, Yike Guo, John Hassard, Michelle Osmond, Mark Richards
Proceedings of the 3rd UK e-Science All-hands Conference AHM 2004
September, 2004
Sojourn time distributions in modulated G-queues with batch processing [PDF] [GZipped Postscript]
Peter G. Harrison, Harf Zatschler
1st International Conference on Quantitative Evaluation of Systems (QEST) 2004, University of Twente
September, 2004
Statistical Shape Modelling of the Levator Ani with Thickness Variation
Su-Lin Lee, Paramate Horkaew, Ara Darzi, Guang-Zhong Yang
7th International Conference on Medical Image Computing and Computer-Assisted Intervention (MICCAI 2004), Saint-Malo, France, September 26-29, 2004
Volume 3216, pp.258–265
Lecture Notes in Computer Science, Springer
September, 2004
The CIFF proof procedure for abductive logic programming with constraints [PDF]
Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni
9th European conference on logics in artificial intelligence (JELIA 04), Lisbon, Portugal
pp.31–43
Springer Verlag
September, 2004
The ipc/HYDRA Tool Chain for the Analysis of PEPA Models [PDF] [GZipped Postscript]
Jeremy T. Bradley, William J. Knottenbelt
QEST'04, 1st IEEE International Conference on the Quantitative Evaluation of Systems
pp.334–335
IEEE Computer Society Press
September, 2004
Towards Reasoning About Context in the Presence of Uncertainty [PDF]
Daniel Chalmers, Naranker Dulay, Morris Sloman
1st international workshop on advanced context modelling, reasoning and management, Nottingham, UK, September 2004
2004
Using the VOM Portal to Manage Policy within Globus Toolkit, Community Authorisation Service & ICENI Resources [PDF]
Asif Saleem, Marko Krznaric, Jeremy Cohen, Steven Newhouse, John Darlington
UK e-Science All-Hands Meeting (AHM2004), September 2004, Nottingham, UK
pp.418–423
EPSRC
September, 2004
Why Grid-based data mining matters? Fighting natural disasters on the Grid: From SARS to land slides [PDF]
Peter Au, Vasa Curcin, Moustafa Ghanem, Nikolaos Giannadakis, Yike Guo, Mohammad Jafri, Michelle Osmond, Anthony Rowe, Jameel Syed, Patrick Wendel, Yong Zhang
Proceedings of the 3rd UK e-Science All-hands Conference AHM 2004
September, 2004
Workflow Enactment in ICENI
Stephen McGough, Laurie Young, Ali Afzal, Steven Newhouse, John Darlington
UK e-science all-hands meeting, AHM 2004, (September 2004), Nottingham, UK
pp.894–900
EPSRC
September, 2004
Automatic Generation of Classification Theorems for Finite Algebras [PDF]
Simon Colton, Andreas Meier, Volker Sorge, Roy McCasland
Second International Joint Conference on Automated Reasoning
August, 2004
Modelling Lakatos's Philosophy of Mathematics [PDF]
Alison Pease, Simon Colton, Alan Smaill, John Lee
Computing and Philosophy
August, 2004
A logic based approach to reasoning with beliefs about trust
Fariba Sadri, Francesca Toni
Workshop on automated reasoning for security protocols analysis, affiliated to IJCAR 04, Cork, 4 July 2004
2004
A Parallel Algorithm for Multilevel k-way Hypergraph Partitioning [PDF] [Postscript]
Aleksandar Trifunovic, William J. Knottenbelt
ISPDC 2004, 3rd International Symposium on Parallel and Distributed Computing
pp.114–121
IEEE Computer Society
July, 2004
Beyond image-finiteness: labelled transition systems as a Stone space [PDF]
Michael Huth
IEEE Annual Symposium on Logic in Computer Science
pp.222–231
IEEE Computer Soc
July, 2004
Facial action detection from dual-view static face images [PDF]
Maja Pantic, Leon Rothkrantz
IEEE Int'l Conf. on Fuzzy Systems 2004
Volume 1, pp.39–44
IEEE
July, 2004
Intersection and Union Types for X [PDF]
Steffen van Bakel
3nd International Workshop on Intersection Types and Related Systems (ITRS'04), Turku, Finland
Volume 136, pp.203–227
Electronic Notes in Theoretical Computer Science, Elsevier
July, 2004
Mapping a Business Process Model to a Semantic Web Service Model.
"Li Guo, Dr. Yun-Heh Chen-Burger Dr. Dave Roberston"
International Conference of Web Services 2004
pp.746–749
IEEE Systems Sciences, IEEE Computer Society
July, 2004
Mapping a Business Process Model to a Web Services Model.
Li Guo, Yun-Heh Chen-Burger, Dave Robertson
Third IEEE International Conference on Web Services 2004
pp.746–749
IEEE Systems Sciences
July, 2004
Web Service programming for biomedical text mining
Moustafa Ghanem, Alexandros Chortaras, Yike Guo
SIGIR Workshop on Search and Discovery in Bioinformatics held in conjunction with the 27th Annual International ACM SIGIR Conference, Sheffield, UK
July, 2004
Abductive logic programming with CIFF: implementation and applications [PDF]
Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni
Convegno Italiano di logica computazionale (CILC-2004)
Universita di Parma
June, 2004
A goal-based approach to policy refinement (2004) [PDF]
Arosha Bandara, Emil Lupu, Jonathan Moffett, Alessandra Russo
5th IEEE international workshop on policies for distributed systems and networks (POLICY 2004), IBM T J Watson Res Lab, Yorktown Heights, NY
IEEE Computer Soc
June, 2004
AutoMed: A BAV Data Integration System for Heterogeneous Data Sources [PDF]
Michael Boyd, Sasivimol Kittivoravitkul, Charalambos Lazanitis, Peter McBrien, Nikolaos Rizopoulos
Lecture Notes in Computer Science
Volume 3084, pp.82–97
Lecture Notes in Computer Science, Springer-Verlag
June, 2004
Case-based reasoning for user-profiled recognition of emotions from face images [PDF]
Maja Pantic, Leon Rothkrantz
IEEE Int'l Conf. on Multimedia and Expo 2004
Volume 1, pp.391–394
IEEE
June, 2004
Efficient Field-sensitive Pointer Analysis for C
David Pearce, Paul Kelly, Chris Hankin
ACM workshop on Program Analysis for Software Tools and Engineering (PASTE))
Kluwer
2004
Even More Principal Typings for Java-like Languages [PDF]
Davide Ancona, Ferruccio Damiani, Sophia Drossopoulou, Elena Zucca
ECOOP Workshop on Formal Techniques for Java Programs (FTfJP 2004)
June, 2004
Flexible Dynamic Linking [PDF]
Alex Buckley, Sophia Drossopoulou
ECOOP Workshop on Formal Techniques for Java Programs (FTfJP 2004)
June, 2004
Flexible, source level, dynamic linking and re-linking [PDF]
Sophia Drossopoulou, Susan Eisenbach
Formal techniques for Java-like languages, 2003
2004
InfoGrid: Information resource integration
Nikolaos Giannadakis, Moustafa Ghanem, Yike Guo
Proceedings of International Conference on Semantics of a Networked World: Semantics for Grid Databases
Volume 3226
Lecture Notes in Computer Science
June, 2004
Keeping control of reusable components [PDF]
Susan Eisenbach, Chris Sadler, Dilek Kayhan
2nd international working conference on component deployment, e-science Institute, Edinburgh, Scotland, 2004
Springer-Verlag
2004
Making the Grid Pay - Economic Web Services
Jeremy Cohen, William Lee, Anthony Mayer, Steven Newhouse
Building Service Based Grids Workshop, Global Grid Forum (GGF) 11
June, 2004
Modelling inhibition in metabolic pathways through Abduction and Induction
Antonis Kakas, Alireza Tamaddoni Nezhad, Stephen Muggleton, F Pazos
14th International Conference on Inductive Logic Programming
pp.305–322
2004
On the Computational Strength of Pure Ambient Calculi
Sergio Maffeis, Iain Phillips
Electronic Notes in Theoretical Computer Science
Volume 96, pp.29–49
Elsevier
June, 2004
Piracy and Innovation: Does Piracy Restore Competition? [PDF]
Thierry Rayna
DRUID Summer Conference 2004: Industrial Dynamics, Innovation and Development
June, 2004
Predictable Workflow Deployment Services
Stephen McGough, Ali Afzal, Anthony Mayer, Steven Newhouse, Laurie Young
Global Grid Forum 11, Honolulu, Hawaii
June, 2004
Preface to DIWeb 2004 [PDF]
Zohra Bellahsene, Peter McBrien
CAiSE Workshop Proceedings
Volume 3, pp.3–4
Riga Technical University
June, 2004
Simple Dependent Types: Concord [PDF]
Sophia Drossopoulou, Paul Jolly, Christopher Anderson, Klaus Ostermann
ECOOP Workshop on Formal Techniques for Java-like Programs (FTfJP 2004)
June, 2004
Temporal modeling of facial actions from face profile image sequences [PDF]
Maja Pantic, Ioannis Patras
IEEE Int'l Conf. on Multimedia and Expo 2004
Volume 1, pp.49–52
IEEE
June, 2004
Towards a Semi-Automated Approach to Intermodel Transformation [PDF]
Michael Boyd, Peter McBrien
CAiSE Workshop Proceedings
Volume 1, pp.175–188
Riga Technical University
June, 2004
View generation and optimisation in the AutoMed data integration framework [PDF]
Peter McBrien, Ngar Tong, Alexandra Poulovassilis, Edgar Jasper
6th International Baltic Conference on Databases and Information Systems (DBIS'04), Riga, Latvia
Volume 972, pp.13–30
Scientific Papers of the University of Latvia, University of Latvia
June, 2004
Particle Filtering with Factorized Likelihoods for Tracking Facial Features [PDF]
Ioannis Patras, Maja Pantic
IEEE Int'l Conf. on Automatic Face and Gesture Recognition 2004
pp.97–102
IEEE
May, 2004
Sufficiently Secure Peer-to-Peer Networks [PDF]
Rupert Gatti, Stephen Lewis, Andy Ozment, Thierry Rayna, Andrey Serjantov
Third Workshop on Economics and Information Security (WEIS)
Workshop on Economics and Information Security
May, 2004
Constraint-guided enterprise portals
Christopher Hogger, Frank Kriwaczek
ICEIS 2004, Proceedings of the 6th International Conference on Enterprise Information Systems, Porto, Portugal, April 14-17, 2004
pp.411–418
ISTICC Press
April, 2004
PONDER policy implementation and validation in a CIM and differentiated services framework [PDF]
Leonidas Lymberopoulos, Emil Lupu, Morris Sloman
9th IEEE/IFIP network operations and management symposium (NOMS 2004), Seoul, South Korea
pp.31–44
IEEE
April, 2004
The Corn-Credit Economy
Colin Richardson
Scottish Economic Society Conference, Ramada Jarvis Hotel, Perth, Scotland
April, 2004
Towards a Parallel Disk-Based Algorithm for Multilevel k-way Hypergraph Partitioning [PDF] [Postscript]
Aleksandar Trifunovic, William J. Knottenbelt
5th Workshop on Parallel and Distributed Scientific and Engineering Computing
2004
Abductive logic programming with CIFF (Extended abstract)
Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni
11th workshop on automated reasoning, bridging the gap between theory and practice, University of Leeds, March 2004
2004
Using ICENI to run Parameter sweep Applications across Multiple Grid Resources
Murtaza Gulamali, Stephen McGough, Steven Newhouse, John Darlington
Global grid forum 10, Case studies on grid applications workshop, (March 2004), Berlin, Germany
March, 2004
A Data Clustering and Streamline Reduction Method for 3D MR Flow Vector Field Simplification
Bernardo Silva Carmo, Pauline Ng, Adam Prugel-Bennett, Guang-Zhong Yang
Medical Image Computing and Computer-Assisted Intervention 2004
pp.451–458
2004
A distributed abstract machine for boxed ambient calculi [PDF]
Andrew Phillips, Nobuko Yoshida, Susan Eisenbach
13th European symposium on programming (ESOP 2004), Barcelona, Spain
Springer-Verlag
2004
A domain theoretic account of Picard's theorem [Postscript]
Abbas Edalat, Dirk Pattinson
31st international colloquium on automata, languages and programming (ICALP 2004), Turku University, Maths Department, Turku, Finland
Volume 3142, pp.494–505
Lecture Notes in Computer Science, Springer-Verlag
2004
A dynamic algorithm for topologically sorting directed acyclic graphs
David Pearce, Paul Kelly
3rd international workshop on experimental and efficient algorithms, Angra dos Reis, Brazil
Springer-Verlag
2004
ANS (autonomic networked system): a position paper [PDF]
Julie McCann
1st UK-UbiNet workshop, 25 - 26 September 2003
2004
A Study of Saccade Transition for Attention Segregation and Task Strategy in Laparoscopic Surgery
M. Nicolaou, Adam James, Ara Darzi, Guang-Zhong Yang
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2004: 7th International Conference
pp.97–104
2004
Building Ambient Intelligence into a Ubiquitous Computing Management System [PDF]
Eduardo Alonso, P Kristofferson, Julie McCann
International Symposium of Santa Caterina on Challenges in the Internet and Interdisciplinary Research. SSCCII-2004, Amalfi, Italy
January, 2004
Building a self-adaptive content distribution network [PDF]
Gawesh Jawaheer, Julie McCann
15th international workshop on database and expert systems applications, Zaragoza, Spain
IEEE Computer Soc
2004
Channel dependent types for higher-order mobile processes
Nobuko Yoshida
31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004
pp.147–160
ACM Press
January, 2004
Combined CFD/MRI Analysis of Left Ventricular Flow
Robert Merrifield, Q. Long, X.Y. Xu, P.J. Kilner, D.N. Firmin, Guang-Zhong Yang
MIAR 2003
pp.229–236
2004
Compatibility verification for web service choreography
Howard Foster, Jeff Kramer, Jeff Magee, Sebastian Uchitel
IEEE international conference on web services (ICWS 2004), San Diego, CA
IEEE Computer Soc
2004
Cross-component restructuring in the MayaVi visualisation pipeline
Olav Beckmann, A. J. Field, Paul Kelly
Compilers for parallel computing (CPC2004), July 2004
2004
Decoupling of respiratory motion with wavelet and principal component analysis
Fani Deligianni, Adrian Chung, Guang-Zhong Yang
Medical Image Understanding and Analysis (MIUA04)
pp.13–16
2004
Dense 3D Depth Recovery for Soft Tissue Deformation During Robotically Assisted Laparoscopic Surgery
Danail Stoyanov, Ara Darzi, Guang-Zhong Yang
Medical Image Computing and Computer Assisted Interventions (MICCAI 2004)
pp.41–48
2004
Dynamic instrumentation for Java using a virtual JVM
Kwok Yeung, Paul Kelly, Sarah Bennett
Workshop on performance analysis and distributed computing, Dagstuhl, Germany, 2002
Kluwer Academic Publ
2004
Efficient Approximation of Response Time Densities and Quantiles in Stochastic Models [PDF] [Postscript]
Susanna Wau Men Au-Yeung, Nicholas J. Dingle, William J. Knottenbelt
4th ACM Workshop on Software and Performance (WOSP 2004), Redwood City, California, USA, January 2004, pp. 151-155.
January, 2004
Electoral systems in ambient calculi
Iain Phillips, Maria Vigliotti
7th International Conference on Foundations of Software Science and Computation Structures, Barcelona, Spain
Volume 2987, pp.408–422
Lecture Notes in Computer Science, Springer-Verlag
2004
Enhancement of Visual Realism with BRDF for Patient Specific Bronchoscopy Simulation
Adrian Chung, Fani Deligianni, P. Shah, A. Wells, Guang-Zhong Yang
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2004: 7th International Conference
pp.486–493
2004
Evaluation issues in autonomic computing [PDF]
Markus Huebscher, Julie McCann
3rd international conference on grid and cooperative computing (GCC 2004), Wuhan, Peoples Republic of China
p.597
USENIX Association
2004
Expressing Performance Requirements using Regular Expressions to specify Stochastic Probes over Process Algebra Models [PDF] [GZipped Postscript]
Ashok Argent-Katwala, Jeremy T. Bradley, Nicholas J. Dingle
WOSP'04, 4th International Workshop on Software and Performance
Volume 29, Issue 1, pp.49–58
ACM SIGSOFT Software Engineering Notes, ACM
January, 2004
Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios [PDF]
Sebastian Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee
IEEE International Conference on Requirements Engineering (RE'04), Kyoto, Japan, 2004
Springer
2004
Freehand Cocalibration of Optical and Electromagnetic Trackers for Navigated Bronchoscopy
Adrian Chung, Philip Edwards, Fani Deligianni, Guang-Zhong Yang
Medical Imaging and Augmented Reality (MIAR 2004): Second International Workshop
pp.311–319
2004
Gaze Contingent Depth Recovery and Motion Stabilisation for Minimally Invasive Robotic Surgery
George Mylonas, Ara Darzi, Guang-Zhong Yang
MIAR 2004
pp.311–319
2004
Implementations of a Service-Oriented Architecture on Top of Jini, JXTA and OGSA
Nathalie Furmento, Jeffrey Hau, Dong Lee, Steven Newhouse, John Darlington
UK e-science all hands meeting, Nottingham, (September 2003), UK
pp.703–710
January, 2004
Implementations of a Service-Oriented Architecture on Top of Jini, JXTA and OGSI
Nathalie Furmento, Jeffrey Hau, Dong Lee, Steven Newhouse, John Darlington
Grid computing: second European AcrossGrids conference, AxGrids 2004, Nicosia, Cyprus, 28 - 30 January 2004
pp.90–99
January, 2004
Improving the performance of morton layout by array alignment and loop unrolling - reducing the price of naivety
Olav Beckmann, Paul Kelly
16th international workshop on languages and compilers for parallel computing (LCPC 2003), Coll Stn, TX
Springer-Verlag
2004
MagicBeans: a platform for deploying plugin components [PDF]
Robert Chatley, Susan Eisenbach, Jeff Magee
2nd international working conference on component deployment, e-Science Institute, Edinburgh, Scotland, 2004
Springer-Verlag
2004
Meta Data to Support Context Aware Mobile Applications [PDF]
Daniel Chalmers, Naranker Dulay, Morris Sloman
IEEE international conference on mobile data management, Berkeley, CA, 2004
IEEE Computer Soc
2004
Photorealistic Rendering of Large Tissue Deformation for Surgical Simulation
Mohammed Elhelw, Benny Lo, Adrian Chung, Ara Darzi, Guang-Zhong Yang
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2004: 7th International Conference
pp.355–362
2004
Predictable dynamic plugin systems [PDF]
Robert Chatley, Susan Eisenbach, Jeff Kramer, Jeff Magee, Sebastian Uchitel
7th international conference on fundamental approaches to software engineering, Barcelona, SPAIN
Springer-Verlag
2004
Probabilistic KLAIM
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
6th international conference on coordination models and languages (COORDINATION 2004), Pisa Univ, Comp Sci Dept, Pisa, ITALY
Volume 2949, pp.119–134
Springer Verlag
2004
Real-Time Photo-Realistic Rendering for Surgical Simulations with Graphics Hardware
Mohammed Elhelw, Benny Lo, Ara Darzi, Guang-Zhong Yang
Medical Imaging and Augmented Reality (MIAR 2004): Second International Workshop
pp.346–352
2004
Simulation model for self-adaptive applications in pervasive computing [PDF]
Markus Huebscher, Julie McCann
15th international workshop on database and expert systems applications, Zaragoza, Spain
IEEE Computer Soc
2004
The KGP model of agency
Antonis Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni
ECAI04, general european conference on artificial intelligence, 2004
pp.33–37
IOS Press
2004
Towards the design of an energy-efficient, location-aware routing protocol for mobile, ad-hoc sensor networks [PDF]
Julie McCann, Aris Papadopoulos
15th international workshop on database and expert systems applications, Zaragoza, Spain
IEEE Computer Soc
2004
Unsupervised classification of late gadolinium enhancement cardiovascular MR
Marcus Ellington, Xiaopeng Hu, Anna John, D.J. Pennell, Guang-Zhong Yang
Medical Image Understanding and Analysis (MIUA04)
pp.45–48
2004
Multiple models for blind multiuser detection in MIMO DS/CDMA systems
Harini Kulatunga, Visakan Kadirkamanathan
The IEEE Global Communications Conference
Volume 22, Issue 1, pp.2453–2457
IEEE Communications Society
December, 2003
Organizing Service Oriented Peers Collaboration
Asif Akram, Omer Rana
The First International Conference on Service Oriented Computing, Italy
December, 2003
A flexible constraint-based portal architecture
Mohd.Sharifuddin Ahmad, Christopher Hogger, Frank Kriwaczek
16th International Conference on Computer Applications in Industry and Engineering (CAINE 2003), Las Vegas, Nevada. November 11-13, 2003
pp.1–6
International Society for Computers and Their Applications
November, 2003
Managing the evolution of .NET programs [PDF]
Susan Eisenbach, Chris Sadler, Vladimir Jurisic
6th international conference on formal methods for open object-based distributed systems, Paris, France, 2003
Springer-Verlag
2003
Derivation of Passage-time Densities in PEPA Models using ipc: the Imperial PEPA Compiler [PDF] [GZipped Postscript]
Jeremy T. Bradley, Nicholas J. Dingle, Stephen Gilmore, William J. Knottenbelt
MASCOTS'03, 11th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems
pp.344–351
IEEE Computer Society Press
October, 2003
Hybrid abductive inductive learning: a generalisation of Progol
Krysia Broda, Alessandra Russo
13th international conference on inductive logic programming, Szeged, Hungary
Volume 2835, pp.311–328
Springer-Verlag
2003
Logical Semantics for the First Order Sigma Calculus [PDF]
Ugo de'Liguoro, Steffen van Bakel
8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003
Volume 2841, pp.202–215
Lecture Notes in Computer Science, Springer
October, 2003
Real-Time Simultaneous Localisation and Mapping with a Single Camera [PDF]
Andrew Davison
IEEE International Conference on Computer Vision
pp.1403–1410
IEEE
October, 2003
Refined Effects for Unanticipated Object Re-classification: Fickle3 (Extended Abstract) [PDF]
Sophia Drossopoulou, Ferruccio Damiani, Paola Giannini
Theoretical Computer Science: 8th Italian Conference (ICTCS'03}
Volume 2841, pp.97–110
Lecture Notes in Computer Science, Springer-Verlag
October, 2003
The role of networks in the piracy of digital goods: A typological approach
Thierry Rayna
Conference of the European Association for Evolutionary Political Economy (EAEPE): The Information Society - Understanding Its Institutions Interdisciplinarily
October, 2003
Using domain mapping to integrate biological and chemical databases
Anthony Rowe, Moustafa Ghanem, Yike Guo
2003 International Chemical Information Conference
Infotronics
2003
Abstracting wizards from portal observations
Christopher Hogger, Frank Kriwaczek
ACM International Workshop on Intelligent Technologies for Software Engineering (WITSE-03), Helsinki, Finland, 1 September, 2003
pp.2–6
City University, London
September, 2003
Adaptive Bayesian Network for Video Processing
Benny Lo, Surapa Thiemjarus, Guang-Zhong Yang
The 2003 International Conference on Image Processing (ICIP 2003)
September, 2003
Adding Performance Evaluation to the LTSA Tool [GZipped Postscript]
Thomas P Ayles, A. J. Field, Jeff Magee, Andrew Bennett
Tool demonstration, 13th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools, September 2003
September, 2003
Automatic generation of software components for real options modelling
Alexandros Chortaras, Moustafa Ghanem, Yike Guo, Oliver Bunnin
Proceedings of the international conference on Computational methods in sciences and engineering
World Scientific
2003
Collaborative Visualisation Over the Access Grid Using the ICENI Grid Middleware
Gary Kong, Steven Newhouse, James Stanton, John Darlington
UK e-Science All Hands Meeting (AHM 2003), Nottingham, UK, September 2003
pp.393–396
September, 2003
Defining Peer-to-Peer Data Integration using Both as View Rules [PDF]
Peter McBrien, Alexandra Poulovassilis
Lecture Notes in Computer Science
Volume 2944, pp.91–107
Lecture Notes in Computer Science, Springer-Verlag
September, 2003
GENIE: Delivering e-Science to the Environmental Scientist [PDF]
P Price, D.M. Edwards, B Cox, Marko Krznaric, Steven Newhouse, John Darlington
UK e-Science All Hands Meeting (AHM2003), September 2003, Nottingham, UK,
pp.145–152
September, 2003
G-networks with Propagating Resets via RCAT
Peter G. Harrison
MAMA 2003, Special issue on the 5th workshop on Mathematical Performance Modeling and Analysis
Volume 31, Issue 2, pp.3–5
ACM SIGMETRICS Performance Evaluation Review, ACM Press
September, 2003
Hybrid Abductive Inductive Learning: A Generalisation of Progol
Oliver Ray, Krysia Broda, Alessandra Russo
13th International Conference on Inductive Logic Programming
Volume 2835, pp.311–328
Springer Verlag
September, 2003
Hypergraph-based Parallel Computation of Passage Time Densities in Large Semi-Markov Models [PDF] [GZipped Postscript]
Jeremy T. Bradley, Nicholas J. Dingle, William J. Knottenbelt, Helen Wilson
NSMC 2003, 4th International Workshop on Numerical Solution of Markov Chains
pp.99–120
September, 2003
ICENI dataflow and workflow: composition and scheduling in space and time
Anthony Mayer, Stephen McGough, Nathalie Furmento, Dong Lee, Steven Newhouse, John Darlington
UK e-science all hands meeting, Nottingham, UK, September 2003
pp.627–634
September, 2003
ICENI Virtual Organisation Management [PDF]
Asif Saleem, Marko Krznaric, Steven Newhouse, John Darlington
UK e-Science All Hands Meeting, Nottingham, UK, September 2003
pp.117–120
September, 2003
Indoor Location Estimation Using Multiple Wireless Technologies [PDF]
Dhruv Pandya, Ravi Jain, Emil Lupu
14th IEEE international symposium on personal, indoor and mobile radio communications, Beijing, Peoples Republic of China, 2003
Publishing House Electronics Industry
September, 2003
Performance Queries on Semi-Markov Stochastic Petri Nets with an Extended Continuous Stochastic Logic [PDF] [GZipped Postscript]
Jeremy T. Bradley, Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt
PNPM 2003, 10th International Workshop on Petri Nets and Performance Models, Urbana IL, USA
pp.62–71
IEEE Computer Society Press
September, 2003
Queueing Models with Maxima of Service Times.
Peter G. Harrison, Soraya Zertal
Lecture Notes in Computer Science
Volume 2794, pp.152–168
September, 2003
Real options modelling using automated software generation
Alexandros Chortaras, Moustafa Ghanem, Yike Guo, Oliver Bunnin
7th Joint Conference on Information Sciences (JCIS). (2003)
September, 2003
Reasoning about Requirements Evolution using Clustered Belief Revision ,
Genaina Rodrigues, Artur dAvila Garcez, Alessandra Russo
ESEC/FSE International Workshop on Intelligent Technologies for Software Engineering
September, 2003
Reversed processses, product forms, non-product forms and a new proof of the BCMP theorem [PDF] [GZipped Postscript]
Peter G. Harrison
International Conference on the Numerical Solution of Markov Chains (NSMC 2003), Urbana IL, USA, September 2-5 2003
pp.289–304
September, 2003
Safe Upgrading Without Restarting [PDF]
Miles Barr, Susan Eisenbach
International conference on software maintenance, Amsterdam, Netherlands, 2003
IEEE Computer Soc
2003
Scheduling Architecture and Algorithms within the ICENI Grid Middleware
Laurie Young, Stephen McGough, Steven Newhouse, John Darlington
UK e-science all hands meeting, (September 2003), Nottingham, UK
pp.5–12
September, 2003
Structuring Peer 2 Peer Communities
Asif Akram, Omer Rana
The Third IEEE International Conference on Peer-to-Peer Computing, Sweden
September, 2003
Test and Deployment of ICENI, An Integrated Grid Middleware on the UK E-Science Grid
Nathalie Furmento, Dong Lee, Steven Newhouse, John Darlington
UK e-science all hands meeting, (September 2003), Nottingham, UK
pp.192–195
September, 2003
Trading Grid Services within the UK E-Science Grid
Steven Newhouse, John Darlington, Anthony Mayer, Dong Lee, B Cox
UK e-science all hands meeting, (September 2003), Nottingham, UK
pp.13–20
September, 2003
ILP for Mathematical Discovery [PDF]
Simon Colton, Stephen Muggleton
13th International Conference on Inductive Logic Programming
August, 2003
Simple Agent Framework: An educational tool introducing the basics of AI programming [PDF]
Maja Pantic, Reinier Zwitserloot, Robbert-Jan Grootjans
IEEE Int'l Conf. on Information Technology: Research and Education 2003
pp.426–430
IEEE
August, 2003
Analysis and enhancement of network solutions using geometrically batched traffic [PDF] [GZipped Postscript]
David Thornley, Harf Zatschler
UKPEW'03
July, 2003
An automated formulation of queues with multiple geometric batch processes [PDF] [GZipped Postscript]
David Thornley, Harf Zatschler, Peter G. Harrison
HETNETS'03
July, 2003
A novel approximated joint activity transition structure in a tandem feedback unreliable server queue [PDF] [GZipped Postscript]
David Thornley, Harf Zatschler, Nigel Thomas
UKPEW'03
July, 2003
A Novel Method for Simulating Soft Tissue Deformation
Mohammed Elhelw, Adrian Chung, Guang-Zhong Yang
Medical Image Understanding and Analysis (MIUA 2003)
July, 2003
Cheaper reasoning with ownership types [PDF]
Matthew Smith, Sophia Drossopoulou
IWACO 2003 - Workshop affilicated to ECOOP 2003
July, 2003
Exact Aggregation Strategies for Semi-Markov Performance Models [PDF] [GZipped Postscript]
Jeremy T. Bradley, Nicholas J. Dingle, William J. Knottenbelt
SPECTS 2003, International Symposium on Performance Evaluation of Computer and Telecommunication Systems, Montreal, Canada, July 20-24 2003
pp.755–762
SCS
July, 2003
Inner classes visit Aliasing [Postscript]
Sophia Drossopoulou, Matthew Smith
ECOOP Workshop on Formal Techniques for Java Programs (FTfJP 2003), Darmstadt, Germany
July, 2003
Obtaining corresponding landmarks of the human mandible
Yee Lam, Duncan Gillies, Daniel Rueckert, Peter Charters, P Groom, S Roughley
British Journal of Anaesthesia
Volume 91, Issue 3, pp.467–468
Oxford University Press
July, 2003
Photorealistic Visualization for Virtual and Augmented Reality in Minimally Invasive Surgery
Danail Stoyanov, Mohammed Elhelw, Benny Lo, Adrian Chung, Fernando Bello, Guang-Zhong Yang
The 7th International Conference on Information Visualisation (IV03)
July, 2003
Statistical Shape Modelling for the Levator Ani
Su-Lin Lee, Paramate Horkaew, Ara Darzi, Guang-Zhong Yang
July, 2003
Synchronized negative customers in an unreliable server queue [PDF]
David Thornley
HETNETS'03
July, 2003
A Bayesian Model for Metabolic Pathways
Alireza Tamaddoni Nezhad, Alireza Tamaddoni-Nezhad, Stephen Muggleton, Jung-Wook Bang
International Joint Conference on Artificial Intelligence (IJCAI03) Workshop on Learning Statistical Models from Relational Data
pp.50–57
2003
A First Order Lagrangian based variational approach for 3D flow vector field restoration
Y.H.P Ng, Bernardo Silva Carmo, Adam Prugel-Bennett, Guang-Zhong Yang
17th International congress and exhibition in Computer Assisted Radiology and Surgery (CARS), London
June, 2003
A genetic algorithms approach to ILP
Alireza Tamaddoni Nezhad, Stephen Muggleton
12th International Conference on Inductive Logic Programming
pp.285–300
2003
Approximate solution of a class of queueing networks with breakdowns [PDF]
Nigel Thomas, David Thornley, Harf Zatschler
European Simulation Multiconference, Nottingham
June, 2003
A Prefix Notation and Unification Algorithm for Encoding Modal Logics
Adrian Williams, Jim Cunningham
DSIC-II/12/03
pp.81–92
Universidad Politechnica de Valencia
June, 2003
Ensuring consistency in the joint beliefs of interacting agents
Shamimabi Paurobally, Jim Cunningham, Nicholas R. Jennings
2nd International Joint Conference on Autonomous Agents and Multi-agent Systems, Melbourne, Australia
pp.662–669
ACM
2003
HYDRA: HYpergraph-based Distributed Response-time Analyser [PDF]
Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt
International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2003)
pp.215–219
June, 2003
Induction of enzyme classes from biological databases
Stephen Muggleton, Alireza Tamaddoni Nezhad, Hiroaki Watanabe
13th International Conference on Inductive Logic Programming
pp.269–280
2003
Optimised Statistical Deformable Surface Models with Manifold Embedding
Paramate Horkaew, Robert Merrifield, Guang-Zhong Yang
17th International congress and exhibition in Computer Assisted Radiology and Surgery (CARS), London
June, 2003
Predictive Cardiac Motion Modelling and Correction
Nicholas Ablitt, Jianxin Gao, J. Keegan, D.N. Firmin, L. Stegger, Guang-Zhong Yang
17th International congress and exhibition in Computer Assisted Radiology and Surgery (CARS), London
pp.1179–1184
June, 2003
Reasoning about requirements evolution using clustered belief revision
Odinaldo Rodrigues, Artur d'Avila Garcez, Alessandra Russo
ESEC/FSE International Workshop on Intelligent Technologies for Software Engineering WITSE03
2003
Role-Based Access Control for Publish/Subscribe Middleware Architectures [PDF]
Andras Belokosztolszki, David Eyers, Peter Pietzuch, Jean Bacon, Ken Moody
2nd international workshop on Distributed event-based systems (DEBS 2003)
June, 2003
Using CIM to realize policy validation within the ponder framework [PDF]
Leonidas Lymberopoulos, Morris Sloman
DMTF global management conference, San-Jose, California
June, 2003
Using Event Calculus to Formalise Policy Speciflcation and Analysis (2003) [PDF]
Arosha Bandara, Emil Lupu, Alessandra Russo
4th IEEE International Workshop on Policies for Distributed Systems and Networks, Lake Como, Italy, 2003
June, 2003
Distributed knowledge representation in neural-symbolic learning systems: a case study
Artur dAvila Garcez, Luis Lamb, Krysia Broda, Dov Gabbay
Florida artificial intelligence research society conference; FLAIRS-03
pp.271–275
AAAI
2003
Trust management tools for internet applications [PDF]
Tyrone Grandison, Morris Sloman
1st international conference on trust management, Iraklion, Greece, 2003
pp.91–107
Springer-Verlag
May, 2003
Distributed Computation of Passage Time Quantiles and Transient State Distributions in Large Semi-Markov Models [PDF] [GZipped Postscript]
Jeremy T. Bradley, Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt
PMEO-PDS 2003, International Workshop on Performance Modelling, Evaluation, and Optimization of Parallel and Distributed Systems
p.281
IEEE Computer Society Press
April, 2003
Flexible Models for Dynamic Linking [PDF]
Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach
Joint European conference on theory and practice of software (ETAPS 2003), Warsaw, Poland
Volume 2618, pp.38–53
Lecture Notes in Computer Science, Springer
April, 2003
Hot Spot Detection Based on Feature Space Representation of Visual Search in Medical Imaging
Q. Long, Robert Merrifield, X.Y. Xu, D.N. Firmin, P.J. Kilner, Guang-Zhong Yang
4th International IEEE EMBS Special Topic Conference on Information Technology Applications in Biomedicine
April, 2003
Intra-ventricular blood flow simulation with patient specific geometry
Q. Long, Robert Merrifield, X.Y. Xu, D.N. Firmin, P.J. Kilner, Guang-Zhong Yang
4th International IEEE EMBS Special Topic Conference on Information Technology Applications in Biomedicine
April, 2003
Reconstruction of 3D deformation from 2D MR velocity data using incompressibility constraints
Jianxin Gao, Shareem Masood, B. Jung, Fani Deligianni, Guang-Zhong Yang
4th International IEEE EMBS Special Topic Conference on Information Technology Applications in Biomedicine
April, 2003
Visual Search in Chest Radiology: Definition of Reference Anatomy for Analysing Visual Search Patterns
Laura Dempere-Marco, Xiaopeng Hu, Guang-Zhong Yang
4th International IEEE EMBS Special Topic Conference on Information Technology Applications in Biomedicine
April, 2003
Visual Scan-Path Analysis with Feature Space Transient Fixation Moments
Laura Dempere-Marco, Xiaopeng Hu, Guang-Zhong Yang
SPIE Medical Imaging 2003 Conference, San Diego, California, USA
February, 2003
An exhaustive evaluation of row-major, column-major and Morton layouts for large two-dimensional arrays [PDF]
Olav Beckmann, Thiyagalingam Jeyarajan, Paul Kelly
UK performance engineering workshop (UKPEW 2003), Warwick, UK, July 2003
Warwick University
2003
Aspects of protocol conformation in inter-agent dialogue
Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni
Autonomous agents and multiagent systems (AAMAS) 03
pp.982–983
ACM
2003
Behaviour model elaboration using partial labelled transition systems [PDF]
Sebastian Uchitel, Jeff Kramer, Jeff Magee
European software engineering conference; (ESEC) & 11th SIGSOFT symposium on the foundations of software engineering (FSE-11)
Volume 28
ACM
2003
Building Optimal Statistical Deformable Surface Models
Paramate Horkaew, Robert Merrifield, Guang-Zhong Yang
4th International IEEE EMBS Special Topic Conference on Information Technology Applications in Biomedicine
2003
Compiling Policy Descriptions into Reconfigurable Firewall Processors
Henry Lee, Sherif Yusuf, Wayne Luk, Morris Sloman, Emil Lupu, Naranker Dulay
11th annual IEEE symposium on field-programmable custom computing machines (FCCM 2003), Napa, California
IEEE Computer Soc
2003
Computing Delaunay triangulation with imprecise input data [PDF] [GZipped Postscript]
Ali Khanban, Abbas Edalat
5th Canadian Conference on Computational Geometry (CCCG'03)
pp.94–97
2003
Data Integration by Bi-Directional Schema Transformation Rules [PDF]
Peter McBrien, Alexandra Poulovassilis
ICDE03
pp.227–238
IEEE
2003
Developing agent interaction protocols using graphical and logical methodologies
Shamimabi Paurobally, Jim Cunningham, Nicholas R. Jennings
1st international workshop on programming multi-agent systems, Melbourne, Australia, 2003
pp.149–168
Springer-Verlag
2003
Irregular Reconfigurable CAM Structures for Firewall Applications [PDF]
Henry Lee, Sherif Yusuf, Wayne Luk, Morris Sloman, Emil Lupu, Naranker Dulay
13th international conference on field-programmable logic and applications (FPL 2003), Lisbon, Portugal
Springer-Verlag
2003
Logic-based agent communication protocols
Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni
International workshop on agent communication languages, Melbourne, Australia, 2003
Springer-Verlag
2003
LTSA-MSC: tool support for behaviour model elaboration using implied scenarios [PDF]
Sebastian Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee
Joint European conference on theory and practice of software (ETAPS 2003), Warsaw, Poland
Springer-Verlag
2003
Measuring the confinement of concurrent probabilistic systems
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Proceedings of WITS'03: workshop on issues in the theory of security. 2003 IFIP WG 1.7, ACM SIGPLAN and GI FoMSESS, Warsaw, Poland, 5 - 6 April 2003
pp.1–10
2003
Minimally intrusive negotiating agents for resource sharing
Fariba Sadri, Francesca Toni, Paulo Torroni
International joint conference on artificial intelligence (IJCAI 03), Acapulco, Mexico, 2003
Volume 18, pp.796–801
Lawrence Erlbaum Associates
2003
Model-based simulation of web applications for usability assessment
Robert Chatley, Jeff Kramer, Jeff Magee, Sebastian Uchitel
International workshop on bridging the gaps between software engineeringand, human-computer interaction, Portland, May 2003
2003
Model-based verification of web service compositions
Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer
18th IEEE international conference on automated software engineering, Montreal, Canada, 2003
IEEE Computer Soc
2003
Modelling a framework for plugins [PDF]
Robert Chatley, Susan Eisenbach, Jeff Magee
Specification and verification of component-based systems, September 2003
2003
Modelling undefined behaviour in scenario synthesis
Sebastian Uchitel, Jeff Kramer, Jeff Magee
2nd international workshop on scenarios and state machines: models, algorithms, and tools (SCESM 03), Portland, May 2003
2003
Online cycle detection and difference propagation for pointer analysis
David Pearce, Paul Kelly, Chris Hankin
3rd IEEE international workshop on source code analysis and manipulation, 2003
IEEE Computer Soc
2003
On optimal outcomes of negotiations over resources
Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni
Autonomous agents and multiagent systems (AAMAS) 03
pp.177–184
ACM
2003
Ontological foundations of natural language communication in multiagent systems
Luc. Schneider, Jim Cunningham
7th international conference on knowledge-based intelligent information and engineering systems (KES 2003), University of Oxford, Oxford, England
pp.1403–1410
Springer-Verlag
2003
Ontological issues in agent ownership (reasoning about agent ownership)
Alexander Yip, Jim Cunningham
Proceedings of the law and electronic agents workshop (LEA'03)
pp.113–126
Norwegian Research cente for Computers and Law
2003
Optimal Deformable Surface Models for 3D Medical Image Analysis
Paramate Horkaew, Guang-Zhong Yang
Information Processing in Medical Imaging, IPMI 2003
pp.13–24
2003
Optimising Java RMI programs by communication restructuring
Kwok Yeung, Paul Kelly
ACM/IFIP/UNSENIX international middeware conference, Rio de Janeiro, Brazil, 2003
Springer-Verlag
2003
Parallel computing for term selection in routing/filtering
A MacFarlane, Julie McCann, SE Robertson
25th European conference on information retrieval research (ECIR 2003), Pisa, Italy
Springer-Verlag
2003
Patia: adaptive distributed webserver (A position paper) [PDF]
Julie McCann, Gawesh Jawaheer, Linxue Sun
6th international symposium on autonomous decentralized systems, Pisa, Italy, 2003
IEEE Computer Soc
2003
Performance prediction of paging workloads using lightweight tracing
Ariel Burton, Paul Kelly
Proceedings of international workshop on performance modeling, evaluation, and optimization of parallel and distributed systems (PMEO-PDS'03)
IEEE Computer Society Press
2003
Protocol conformance for logic-based agents
Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni
International joint conference on artificial intelligence (IJCAI 03), Acapulco, Mexico, 2003
Volume 18, pp.679–684
2003
Quantitative relations and approximate process equivalences
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
14th international conference on concurrency theory, Marseille, France, 2003
Volume 2761, pp.508–522
Springer Verlag
2003
Resource allocation in egalitarian agent societies (Finalist for the best paper award)
Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni
2nd journees francophones sur les modeles formels d'interaction (MFI-2003), Cepadues-Editions, May 2003
pp.101–110
Cepadues-Editions
2003
Runtime code generation in C++ as a foundation for domain-specific optimisation
Olav Beckmann, Alastair Houghton, Michael Mellor, Paul Kelly
International seminar on domain-specific program generation, Dagstuhl, Germany, 2003
Springer-Verlag
2003
Search strategies for Java bottleneck location by dynamic instrumentation
Doug Brear, Thibault Weise, Tim Wiffen, Kwok Yeung, Sarah Bennett, Paul Kelly
UK performance engineering workshop (UKPEW 2003), Warwick, UK, July 2003
2003
Support for mobile location-aware applications in MAGNET
P Kostkova, Julie McCann
2nd annual international workshop on web databases, Erfurt, Germany, 2002
Springer-Verlag
2003
The database machine: old story, new slant?
Julie McCann
Proceedings of the 1st biennial conference on innovative data systems research, VLDB, 5 - 8 January 2003
2003
The patia autonomic webserver: feasibility experimentation [PDF]
Julie McCann, Gawesh Jawaheer
14th international workshop on database and expert systems applications (DEXA 2003), Technical University of Prague, Prague, Czech Republic
IEEE Computer Soc
2003
Visual methods for Web application design
Robert Chatley, Jeff Kramer, Jeff Magee, Sebastian Uchitel
IEEE symposium on human centric computing languages and environments, Auckland, New Zealand, 2003
IEEE Computer Soc
2003
A logic-based approach to modelling interaction among computees [PDF]
Paulo Torroni, Paola Mello, Nicolas Maudet, Marco Alberti, Anna Ciampolini, Evelina Lamma, Fariba Sadri, Francesca Toni
UK Workshop on Multiagent Systems (UKMAS 2002)
December, 2002
ICENI: An Open Grid Service Architecture implemented with Jini
Nathalie Furmento, Dong Lee, Anthony Mayer, Steven Newhouse, John Darlington
Supercomputing '02: proceedings of the 2002 ACM/IEEE conference on supercomputing
pp.1–10
IEEE Computer Society Press
November, 2002
Is software a public good? A study of the piracy of digital goods
Thierry Rayna
Conference of the European Association for Evolutionary Political Economy (EAEPE): Complexity and the Economy, Implications for Economic Policy
November, 2002
Linear embedding for a quantitative comparison of language expressiveness [GZipped Postscript]
Antonio Brogi, Herbert Wiklicky, Alessandra Di Pierro
QAPL'01, Quantitative Aspects of Programming Languages
Volume 59, Issue 3, pp.207–237
Electronic Notes in Theoretical Computer Science, Elsevier
November, 2002
Meaning and Behaviour in Grid Oriented Components
Anthony Mayer, Stephen McGough, Murtaza Gulamali, Laurie Young, James Stanton, Steven Newhouse, John Darlington
3rd international workshop on grid computing, Baltimore, Maryland, 2002
pp.100–111
Springer-Verlag
November, 2002
Ownership, Encapsulation and the Disjointness of Types and Effects [Postscript]
David Clarke, Sophia Drossopoulou
17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (OOPSLA'02)
pp.292–310
ACM Press
November, 2002
Probabilistic constraint handling rules [GZipped Postscript]
Thom , Alessandra Di Pierro, Herbert Wiklicky
WFLP 2002, 11th International Workshop on Functional and (Constraint) Logic Programming
Volume 76, pp.1–16
Electronic Notes in Theoretical Computer Science, Elsevier
November, 2002
Facial gesture recognition in face image sequences: A study on facial gestures typical for speech articulation [PDF]
Maja Pantic, Leon Rothkrantz
IEEE Int'l Conf. on Systems, Man and Cybernetics 2002
Volume 6, p.6
IEEE
October, 2002
Geometrically batched networks [PDF] [GZipped Postscript]
Peter G. Harrison, David Thornley, Harf Zatschler
17th International Symposium On Computer and Information Sciences (ISCIS 2002)
October, 2002
Network Traffic Behaviour in Switched Ethernet Systems [PDF] [Postscript]
A. J. Field, Uli Harder, Peter G. Harrison
MASCOTS 2002, 10th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems
pp.32–42
IEEE Computer Society
October, 2002
Specifying and Analysing Trust for Internet Applications [PDF]
Tyrone Grandison, Morris Sloman
2nd IFIP Conference on e-Commerce, e-Business, e-Government, I3e2002, Lisbon
October, 2002
Stochastic Process Algebra, Reversed Processes and Product-Forms
Peter G. Harrison
17th International Symposium On Computer and Information Sciences (ISCIS 2002)
October, 2002
Studying Sensitivities of an EJB Performance Model [PDF]
Catalina , Johannes , Peter G. Harrison
MASCOTS'02, 10th IEEE International Symposium on Modelling, Analysis, and Simulation of Computer and Telecommunications Systems
pp.277–280
IEEE Computer Society Press
October, 2002
A type preserving translation of Fickle into Java [PDF]
Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca
TOSCA'01
Volume 62
ENTCS, Elsevier
September, 2002
Barbs and congruences for safe mobile ambients
Maria Vigliotti, Iain Phillips
Electronic Notes in Theoretical Computer Science
Volume 66, Issue 3, pp.37–51
Elsevier
September, 2002
Constraint based network adaptation for ubiquitous applications [PDF]
Krish Krishnakumar, Morris Sloman
6th international enterprise distributed object computing, Lausanne, Switzerland, 2002
IEEE Computer Soc
September, 2002
Discovery processes: representation and re-use
Jameel Syed, Moustafa Ghanem, Yike Guo
Proceedings of the First UK e-Science All-hands Conference, Sheffield, UK
September, 2002
Information integration for e-Science
Nikolaos Giannadakis, Moustafa Ghanem, Yike Guo
Proceedings of the First UK e-Science All-hands Conference, Sheffield, UK
September, 2002
An Abductive Approach for Analysing Event-Based Requirements Specifications.
Jeff Kramer
18th International Conference on Logic Programming
Volume 2401
Springer Verlag
2002
An Abductive Approach for Analysing Event-Based Requirements Specifications.
Alessandra Russo, Robert Miller, Jeff Kramer, Bashar Nuseibeh
18th International Conference on Logic Programming
Volume 2401, pp.22–37
Springer Verlag
August, 2002
Discovery net: towards a grid of knowledge discovery
Vasa Curcin, Moustafa Ghanem, Yike Guo, Martin Kohler, Anthony Rowe, Jameel Syed, Patrick Wendel
KDD'02: Proceedings of the eighth ACM SIGKDD international conference on Knowledge discovery and data mining
August, 2002
Facial action recognition in face profile image sequences [PDF]
Maja Pantic, Ioannis Patras, Leon Rothkrantz
IEEE Int'l Conf. on Multimedia and Expo 2002
Volume 1, pp.37–40
IEEE
August, 2002
Facial gesture recognition from static dual-view face images [PDF]
Maja Pantic
Int'l Conf. Measuring Behaviour 2002
pp.195–197
August, 2002
Implementing a Scientific Visualisation Capability within a Grid enabled Component Framework
James Stanton, Steven Newhouse, John Darlington
8th international Euro-Par conference on parallel processing, Paderborn, Germany, 2002
pp.885–888
Springer-Verlag
August, 2002
Optimising shared reduction variables in MPI programs
A. J. Field, Paul Kelly, Thomas Hansen
8th International Euro-Par Conference on Parallel Processing, Paderborn, Germany, 2002
Volume 2400, p.630
Lecture Notes in Computer Science, Springer-Verlag
August, 2002
Boundary Inference for Enforcing Security Policies.
Claudia Braghin, Antonio Cortesi, Riccardo Focardi, Steffen van Bakel
ICTCS'02
July, 2002
Boundary Inference for Enforcing Security Policies in Mobile Ambients
Steffen van Bakel
ICTCS'02
July, 2002
Computability of Partial Delaunay Triangulation and Voronoi Diagram [GZipped Postscript]
Ali Khanban, Abbas Edalat, Lieutier
CCA 2002, Computability and Complexity in Analysis (ICALP 2002 Satellite Workshop)
Volume 66, Issue 1, pp.1–13
Electronic Notes in Theoretical Computer Science, Elsevier
July, 2002
Grid-Based Knowledge Discovery Services for High Throughput Informatics
Moustafa Ghanem, Yike Guo, Anthony Rowe, Patrick Wendel
HPDC '02: Proceedings of the 11th IEEE International Symposium on High Performance Distributed Computing
July, 2002
Possibilistic and probabilistic abstraction-based model checking [PDF]
Michael Huth
Process algebra and probabilistic methods. performance modeling and verification: second joint international workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, 25 - 26 July 2002
Volume 2399, pp.115–134
Springer Verlag
2002
Queues with simultaneous loss on breakdown [PDF] [GZipped Postscript]
David Thornley
Eighteenth Annual UK Performance Engineering Workshop, University of Glasgow (UKPEW 2002)
July, 2002
Rank 2 Type Assignment for Applicative Term Graph Rewriting [PDF]
Steffen van Bakel
Workshop on Types in Programming (TIP'02), Dagstuhl, Germany
Volume 75, pp.1–20
Electronic Notes in Theoretical Computer Science, Elsevier
July, 2002
Response Time Densities in Generalised Stochastic Petri Net Models. [PDF]
Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt
3rd International Workshop on Software and Performance (WOSP 2002), Rome, Italy, July 24-26 2002
pp.46–54
July, 2002
Strongly Normalising Cut-Elimination with Strict Intersection Types [PDF]
Steffen van Bakel
2nd International Workshop on Intersection Types and Related Systems (ITRS'02), Copenhagen, Denmark
Volume 70, Issue 1, pp.1–18
Electronic Notes in Theoretical Computer Science, Elsevier
July, 2002
An Adaptive Policy Based Management Framework for Differentiated Services Networks [PDF]
Leonidas Lymberopoulos, Emil Lupu, Morris Sloman
3rd IEEE Workshop on Policies for Distributed Systems and Networks, Monterery, California, 2002
IEEE Computer Soc
June, 2002
delta an imperative object based calculus [PDF]
Christopher Anderson, Sophia Drossopoulou
USE 2002
2002
Evolution of Distributed Java Programs [PDF]
Susan Eisenbach, Chris Sadler, Shakil Shaikh
IFIP/ACM working conference on component deployment, Berlin, Germany, 2002
Springer-Verlag
2002
From process algebra to Java code [PDF]
Andrew Phillips, Susan Eisenbach, Daniel Lister
Proceedings of formal techniques for Java-like programs (FTfJP'02), affiliated with ECOOP'02, Malaga, June 2002
June, 2002
Manifestations of Dynamic Linking [PDF]
Sophia Drossopoulou, Susan Eisenbach
June, 2002
Passage Time Distributions in Large Markov Chains [PDF] [GZipped Postscript]
Peter G. Harrison, William J. Knottenbelt
SIGMETRICS'02, ACM SIGMETRICS conference on Measurement and Modeling of Computer Systems
Volume 30, Issue 1, pp.77–85
ACM SIGMETRICS Performance Evaluation Review, ACM Press
June, 2002
Schema Evolution in Heterogeneous Database Architectures, A Schema Transformation Approach [PDF]
Peter McBrien, Alexandra Poulovassilis
The Fourteenth International Conference on Advanced Information Systems Engineering, Toronto, Canada
Volume 2348, pp.484–499
Lecture Notes in Computer Science, Springer-Verlag, LNCS
May, 2002
A Passage-time Preserving Equivalence for Semi-Markov Processes [PDF] [GZipped Postscript]
Jeremy T. Bradley
TOOLS 2002, Computer Performance Evaluation: Modelling Techniques and Tools
Volume 2324, pp.178–187
Lecture Notes in Computer Science, Springer-Verlag
April, 2002
GILK: A Dynamic Instrumentation Tool for the Linux Kernel [PDF] [Postscript]
David Pearce, Paul Kelly, A. J. Field, Uli Harder
TOOLS 2002, 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
Volume 2324, pp.220–226
Lecture Notes in Computer Science, Springer-Verlag
April, 2002
Laying the Foundations for the Semantic Grid
Steven Newhouse, Anthony Mayer, Nathalie Furmento, Stephen McGough, James Stanton, John Darlington
AISB'02 symposium AL and GRID computing, (April 2002)
April, 2002
Tools for Domain-Based Policy Management of Distributed Systems [PDF]
Nicholas Damianou, Naranker Dulay, Emil Lupu, Morris Sloman, Toshio Tonouchi
8th IEEE/IFIP network operations and management symposium (NOMS 2002), Florence, Italy
pp.203–218
IEEE
April, 2002
Characterising Strong Normalisation for Explicit Substitutions. [PDF]
Mariangiola Dezani-Ciancaglini, Steffen van Bakel
LATIN'02
Volume 2286, pp.356–370
March, 2002
Labelled natural deduction for first order conditional logic
Luis Lamb, Krysia Broda, Dov Gabbay
Proceedings of logic colloquim 2001, Vienna
Volume 8, Issue 8, pp.167–168
Association for Symbolic Logic
March, 2002
A multi-stage negotiation architecture for sharing resources amongst logic-based agents
Fariba Sadri, Francesca Toni, Paulo Torroni
UKMAS, 2002
2002
Analysing approximate confinement under uniform attacks
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
9th international static analysis symposium, Madrid, Spain, 2002
Volume 2477, pp.310–325
Springer Verlag
2002
A Policy Language for the Management of Distributed Agents
Naranker Dulay, Nicholas Damianou, Emil Lupu, Morris Sloman
Agent-oriented software engineering, AOSE 2001
Volume 2222, pp.85–102
Lecture Notes in Computer Science, Springer
2002
Approximate non-interference
Chris Hankin, Herbert Wiklicky, Alessandra Di Pierro
15th IEEE computer security foundations workshop (CSFW-15), 2002
pp.3–17
IEEE Computer Soc
2002
A review of data placement optimisation for data-parallel component composition [PDF]
Olav Beckmann, Thiyagalingam Jeyarajan, Paul Kelly
2nd international workshop on constructive methods for parallel programming, Pont de Lima, Portugal
Nova Science Publishers, Inc
2002
Communication protocols for logic-based agents (Extended abstract)
Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni
5th UK workshop on multiagent systems (UKMAS-2002), December 2002
2002
Conditions for optimal outcomes of negotiations over resources
Ulrich Endriss, Nicolas Maudet, Fariba Sadri, Francesca Toni
Proceedings of UKMAS, 2002
2002
Decidable and undecidable fragments of first-order branching temporal logics [PDF]
Ian Hodkinson, Frank Wolter, Michael Zakharyaschev
Logic in computer science (LICS)
pp.393–402
IEEE Computer Society
2002
Delayed evaluation, self-optimising software components as a programming model
Olav Beckmann, Paul Kelly, Peter Liniker
8th international Euro-Par conference on parallel processing, Paderborn, Germany, 2002
Springer-Verlag
2002
Development Framework for Firewall Processors [PDF]
Henry Lee, Sherif Yusuf, Wayne Luk, Morris Sloman, Emil Lupu, Naranker Dulay
IEEE international conference on field-programmable technology (FPT), Chinese University of Hong Kong, New Territories, Peoples Republic of China, 2002
IEEE
2002
Instant-access cycle-stealing for parallel applications requiring interactive response
Paul Kelly, Susanna Pelagatti, Mark Rossiter
8th international Euro-Par conference on parallel processing, Paderborn, Germany, 2002
Springer-Verlag
2002
Is morton layout competitive for large two-dimensional arrays?
Thiyagalingam Jeyarajan, Paul Kelly
8th international Euro-Par conference on parallel processing, Paderborn, Germany, 2002
Springer-Verlag
2002
Model checking modal transition systems using Kripke structures [PDF]
Michael Huth
Verification, model checking, and abstract interpretation: 3rd international workshop, VMCAI 2002, Venice, Italy, 21 - 22 January 2002
Volume 2294, pp.302–316
Lecture Notes in Computer Science, Springer Verlag
2002
Multistage stochastic mean-variance portfolio analysis with transaction costs
Nalan Gulpinar, Berc Rustem, R Settergren
8th international conference on computational economics; computing in economics and finance; innovations in financial and economic networks, France, 2002
Edward Elgar
2002
Negative scenarios for implied scenario elicitation [PDF]
Sebastian Uchitel, Jeff Kramer, Jeff Magee
Foundations of software engineering
Volume 27
ACM
2002
On reduction semantics for the push and pull ambient calculus
Iain Phillips, Maria Vigliotti
2nd IFIP international conference on theoretical computer science (TCS 2002) held in conjunction with the 17th world computer congress, Montreal, Canada, 2002
pp.550–562
Kluwer Academic Publishers
2002
Post tax optimal investments
MA Osorio, R Settergren, Berc Rustem, Nalan Gulpinar
International conference on financial engineering, e-commerce and supply chain, Athens, Greece, 2001
Kluwer Academic Publ
2002
Resource reallocation via negotiation through abductive logic programming
Fariba Sadri, Francesca Toni, Paulo Torroni
Jelia 2002
Volume 2424, pp.419–431
Springer Verlag
2002
The AutoMed Schema Integration Repository [PDF]
Michael Boyd, Peter McBrien, Ngar Tong
BNCOD02
Volume 2405, pp.42–45
Lecture Notes in Computer Science, Springer-Verlag, LNCS
2002
Verification of protocols for automated negotiation
Shamimabi Paurobally, Jim Cunningham
15th European conference on artificial intelligence, Claude Bernard University, Lyon, France, 2002
pp.43–47
I O S Press
2002
Workflow-based Composition of web-services: a business model or a programming paradigm? [PDF]
Emil Lupu
6th International Enterprise Distributed Object Computing, Lausanne, Switzerland, 2002
IEEE Computer Soc
2002
Lexis EXam invigilation system [PDF]
Mike Wyer, Susan Eisenbach
15th systems administration conference, San Diego, CA
USENIX Association
December, 2001
An Analysis-Revision Cycle to Evolve Requirements Specifications.
Artur dAvila Garcez, Alessandra Russo, Jeff Kramer, Bashar Nuseibeh
16th IEEE International Conference on Automated Software Engineering
IEEE
November, 2001
An Integrated Grid Environment for Component Applications
Nathalie Furmento, Anthony Mayer, Stephen McGough, Steven Newhouse, A. J. Field, John Darlington
2nd international workshop on grid computing, (GRID 2001), Denver, CO
pp.26–37
Springer
November, 2001
An Integrated Grid Environment for Component Applications.
Nathalie Furmento, Anthony Mayer, Stephen McGough, Steven Newhouse, A. J. Field, John Darlington
Lecture Notes in Computer Science
Volume 2242, pp.26–37
Springer
November, 2001
Changing Java programs [PDF]
Susan Eisenbach, Chris Sadler
IEEE international conference on software maintenance (ICSM 2001), Florence, Italy
IEEE Computer Soc
2001
Optimisation of component-based applications within a grid environment
Nathalie Furmento, Anthony Mayer, Stephen McGough, Steven Newhouse, A. J. Field, John Darlington
2001 ACM/IEEE conference on Supercomputing, Denver, CO, USA, November 10-16, 2001
p.30
November, 2001
Optimisation of Component-Based Applications within a Grid Environment (Available on CD-ROM)
Nathalie Furmento, Anthony Mayer, Stephen McGough, Steven Newhouse, A. J. Field, John Darlington
Supercomputing '01: proceedings of the 2001 ACM/IEEE conference on Supercomputing
p.30
ACM Press
November, 2001
A hybrid approach to mouth features detection [PDF]
Maja Pantic, Milan Tomc, Leon Rothkrantz
IEEE Int'l Conf. on Systems, Man and Cybernetics 2001
pp.1188–1193
IEEE
October, 2001
An Effective Translation of Fickle into Java [Postscript]
Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca
7th Italian Conference on Theoretical Computer Science, ICTCS 2001, Torino, Italy, October 4-6, 2001
Volume 2202, pp.215–234
Lecture Notes in Computer Science, Springer
October, 2001
Belief Revision in Non-Classical Logics.
Odinaldo Rodrigues, Alessandra Russo, Dov Gabbay
IJCAI01 Workshop on Inconsistency in Data and Knowledge
Workshop Proceedings
September, 2001
Constraint-Based Configuration of Proxylets for Programmable Networks [PDF]
Krish Krishnakumar, Morris Sloman
8th International Workshop on Interactive Distributed Multimedia Systems (IDMS'2001), Lancaster, UK
pp.245–256
Springer LNCS 2158
September, 2001
Abstraction-based model checking using modal transition systems [PDF]
Patrice Godefroid, Michael Huth, Radha Jagadeesan
CONCUR 2001 - concurrency theory: 12th international conference, Aalborg, Denmark, 20 - 25 August 2001
Volume 2154, pp.426–440
Lecture Notes in Computer Science, Springer
2001
A Component Framework for HPC Applications [PDF]
Nathalie Furmento, Anthony Mayer, Stephen McGough, John Darlington, Steven Newhouse
7th International Euro-Par Conference
pp.540–548
Springer
August, 2001
Building computational communities from federated resources
Nathalie Furmento, Steven Newhouse, John Darlington
7th international Euro-Par conference, (August 2001), Manchester, UK,
Volume 2150, pp.855–863
August, 2001
Implementing a collaborative agent system using Prolog
Mohd.Sharifuddin Ahmad, Christopher Hogger, Frank Kriwaczek
International Conference on Information Technology and Multimedia, (ICIMu-2001), Kuala Lumpur, August 13-15, 2001
pp.55–62
Universiti Tenaga Nasional
August, 2001
Affect-sensitive Multimodal Monitoring in Ubiquitous Computing: Advances and Challenges [PDF]
Maja Pantic, Leon Rothkrantz
AAAI/IEEE Int'l Conf. on Enterprise Information Systems 2001
Volume 1, pp.466–474
ICEIS
July, 2001
Two Solution Methods for Models of Parallel Queues [PDF]
Nigel Thomas, Jeremy T. Bradley
ESM'01, Fifteenth European Simulation Multiconference
pp.741–745
SCS
July, 2001
A Semantic Approach to Integrating XML and Structured Data Sources [PDF]
Peter McBrien, Alexandra Poulovassilis
13th International Conference on Advanced Information System Engineering (CAiSE 2001), Interlaken, Switzerland
Volume 2068, pp.330–345
Lecture Notes in Computer Science, Springer-Verlag, LNCS
June, 2001
Fickle: Dynamic Object Re-classification [Postscript]
Sophia Drossopoulou, Ferruccio Damiani, Mariangiola Dezani-Ciancaglini, Paola Giannini
Eurepean Conference for Object-Oriented Programming
pp.130–149
Springer Verlag
June, 2001
Interval parameters for capturing uncertainties in an EJB performance model [GZipped Postscript]
Catalina , Johannes
SIGMETRICS/Performance 2001, Joint International Conference on Measurement and Modeling of Computer Systems
pp.291–300
ACM Press
June, 2001
Putting Quality of Service into a Network by making the Traffic Markovian [PDF] [GZipped Postscript]
Jeremy T. Bradley, Nigel Thomas
ESM'01, Fifteenth European Simulation Multiconference
pp.746–750
SCS
June, 2001
Using Genetic Algorithms for Learning Clauses in First-Order Logic
Alireza Tamaddoni Nezhad, Stephen Muggleton
Proceedings of the Genetic and Evolutionary Computation Conference, GECCO-2001
pp.639–646
Morgan Kaufmann Publishers
2001
A Policy Deployment Model for the Ponder Language [PDF]
Naranker Dulay, Emil Lupu, Morris Sloman, Nicholas Damianou
Integrated network management: 2001 IEEE/IFIP integrated management strategies for the new millennium, Seattle
pp.529–544
IEEE
May, 2001
A workbench for synthesising behaviour models from scenarios [PDF]
Sebastian Uchitel, Jeff Kramer
23rd international conference on software engineering (ICSE 2001), Toronto, Canada
IEEE Computer Soc
May, 2001
Modal transition systems: a foundation for three-valued program analysis [PDF]
Michael Huth, Radha Jagadeesan, S Schmidt
Programming languages and systems, proceedings
Volume 2028, pp.155–169
Lecture Notes in Computer Science, Springer Verlag
2001
Pilchard - A Reconfigurable Computing Platform with Memory Slot Interface [PDF]
Philip Leong
IEEE Symposium on Field-Programmable Custom Computing Machines
pp.170–179
IEEE Computer Soc
April, 2001
CCS with priority guards
Iain Phillips
CONCUR 2001 - Concurrency Theory: 12th International Conference, Aalborg, Denmark, August 20-25, 2001
Volume 2154, pp.305–320
Lecture Notes in Computer Science, Springer
2001
Context-Based Specifications for Data Mediation to Support Mobile Systems [PDF]
Daniel Chalmers, Naranker Dulay, Morris Sloman
CaberNet workshop, Pisa, October 2001
2001
Detecting implied scenarios in message sequence chart specifications [PDF]
Sebastian Uchitel, Jeff Kramer, Jeff Magee
European software engineering conference
Volume 26
ACM
2001
Dialogues for negotiation: agent varieties and dialogue sequences
Fariba Sadri, Francesca Toni, Paulo Torroni
8th international workshop on agent theories, architectures, and language (ATAL 2001), Seattle, Washington, 2001
Volume 2333, pp.405–421
Springer-Verlag
2001
Efficiency improvements for interactions of web-agents
Luke Boro, Julie McCann, M Schroeder
Autonomous agents
ACM Press
2001
From sequence diagrams to behaviour models
Sebastian Uchitel, Jeff Kramer, Jeff Magee
Workshop on transformations in UML, European conferences on therory and practice of software, Genoa, 2001
2001
Logic agents, dialogues and negotiation: an abductive approach
Fariba Sadri, Francesca Toni, Paulo Torroni
AISB Symposium on information agents for electronic commerce, York
The Society for the Study of Artificial Intelligence and the Simulation of Behaviour
2001
Map Adaptation for Mobile Systems
Daniel Chalmers, Morris Sloman, Naranker Dulay
10th international world-wide conference (WWW10), Hong Kong, May 2001
2001
Measuring the precision of abstract interpretations
Alessandra Di Pierro, Herbert Wiklicky
10th international workshop on logic based program synthesis and transformation, London, England
Volume 2042, pp.147–164
Springer Verlag
2001
Overloading and Inheritance [Postscript]
Davide Ancona, Sophia Drossopoulou, Elena Zucca
8th International Workshop on Foundations for Object Oriented Languages (FOOL 2001)
January, 2001
Policy-Driven Management of Agent Systems
Antonio Corradi, Naranker Dulay, Rebecca Montanari, Cesare Stefanelli
International workshop on policies for distributed systems and networks (POLICY 2001), Hewlett-Packard Lab, Bristrol, England
Springer-Verlag
2001
Proving deadlock freedom in component-based programming [PDF]
Sebastian Uchitel
Fundamental approaches to software engineering; FASE 2001
Springer
2001
Specifying the processes and states of negotiation
Shamimabi Paurobally, Jim Cunningham
Frank Dignum, Charles Sierra (Eds) Agent Mediated Electronic Commerce: The European Agentlink Perspective
Volume 1991, pp.61–77
Springer
2001
The Ponder Policy Specification Language [PDF]
Nicholas Damianou, Naranker Dulay, Emil Lupu, Morris Sloman
International workshop on policies for distributed systems and networks (POLICY 2001), Hewlett-Packard Lab, Bristrol, England
Volume 1995, pp.18–39
Springer-Verlag
2001
Trading without explicit ontologies
Julie McCann, M Schroeder, D Haynes
Agent-mediated electronic commerce; agent-mediated electronic commerce III, current issues in agent-based electronic commerce systems
Springer
2001
Logic in Computer Science: tool-based modeling and reasoning about systems [PDF]
Michael Huth
International Conference on Frontiers in Education 2000 in Kansas City, Missouri
Volume 1
IEEE Education Society
2000
Non-stop Haskell [GZipped Postscript]
Andrew Cheadle, A. J. Field, Simon Marlow, Simon Peyton Jones, R. Lyndon While
ICFP'00, 5th ACM SIGPLAN International Conference on Functional Programming
pp.257–267
ACM Press
September, 2000
Performance evaluation of an enterprise JavaBean server implementation [PDF]
Catalina , Peter G. Harrison
WOSP 2000, 2nd International Workshop on Software and Performance
pp.180–188
ACM Press
September, 2000
Ponder: Realising Enterprise Viewpoint Concepts [PDF]
Emil Lupu, Morris Sloman, Naranker Dulay, Nicholas Damianou
4th International Enterprise Distributed Object Computing Conference (EDOC2000), Makuhari, Japan
September, 2000
Adaptive Proxies: handling widely-shared data in shared-memory multiprocessors
Sarah Bennett, Paul Kelly
Euro-Par 2000
Volume 1900
Lecture Notes in Computer Science, Springer
August, 2000
A Software Architecture for HPC Grid Applications
Anthony Mayer, Steven Newhouse, John Darlington
6th International Euro-Par Conference
pp.686–689
Springer
2000
A Matrix-based Method for Analysing Stochastic Process Algebras [PDF] [GZipped Postscript]
Jeremy T. Bradley, Neil Davies
PAPM'00, 8th International Workshop on Process Algebra and Performance Modelling. ICALP Workshops
pp.579–590
Carleton Scientific
July, 2000
Approximating variance in non-product form decomposed models [PDF] [GZipped Postscript]
Nigel Thomas, Jeremy T. Bradley
PAPM'00, 8th International Workshop on Process Algebra and Performance Modelling. ICALP Workshops.
pp.607–619
Carleton Scientific
July, 2000
Decomposing Models of Parallel Queues [PDF] [GZipped Postscript]
Nigel Thomas, Jeremy T. Bradley
QNETS'00, Fourth International Workshop on Queueing Networks with Finite Capacity
pp.381–388
July, 2000
Searching the Subsumption Lattice by a Genetic Algorithm
Alireza Tamaddoni Nezhad, Stephen Muggleton
10th International Conference on Inductive Logic Programming
pp.243–252
2000
An Abductive Approach for Handling Inconsistencies in SCR Specifications
Alessandra Russo, Robert Miller, Bashar Nuseibeh, Jeff Kramer
3rd (ICSE) International Workshop on Intelligent Software Engineering (WISE-3)
pp.80–89
2000
Enhancing Architectural Mismatch Detection with Assumptions [PDF]
Sebastian Uchitel, Daniel Yankelevich
IEEE International Conference on the Engineering of Computer Based Systems (ECBS 2000), Scotland, UK
April, 2000
Performance Evaluation of a Distributed Enterprise Data Mining System
Peter G. Harrison, Catalina
TOOLS 2000, 11th International Conference for Computer Performance Evaluation. Modelling Techniques and Tools
Volume 1786, pp.117–131
Springer-Verlag
March, 2000
26-bit Selectors on IA32 for Component-Based Protection [PDF]
G Law, Julie McCann
ECOOP'2000, Workshop on Object Orientation and Operating Systems
2000
A Linear Algebra Formulation for Optimising Replication in Data Parallel Programs
Olav Beckmann, Paul Kelly
Languages and Compilers for Parallel Computing, 12th International Workshop, LCPC'99, La Jolla/San Diego, CA, USA, August 4-6, 1999
Volume 1863, p.100
Lecture Notes in Computer Science, Springer
2000
A New Protection Model for Component-Based Operating Systems [Postscript]
G Law, Julie McCann
IEEE Conference on Computing and Communications, Phoenix, Arizona
IEEE
2000
Decomposition of Pre-emptive Scheduling in the Go! Component-Based Operating System
G Law, Julie McCann
ACM SIGOPS European Workshop
2000
Managing Security in Object-Based Systems Using Ponder
Nicholas Damianou, Naranker Dulay, Emil Lupu, Morris Sloman
6th EUNICE Open European Summer School, Enschede, The Netherlands
2000
Parallel search on Partitioned Inverted Files
A MacFarlane, Julie McCann, SE Robertson
Proceedings of SPIRE 2000: the 7th International Symposium on String Processing and Information Retrieval, La Coruna, Spain
2000
Pliers at TREC8
A MacFarlane, Julie McCann, SE Robertson
Proceedings of the Eighth Text Retrieval Conference (TREC-8)
2000
Ponder: An Object-oriented Language for Specifying Security and Management Policies
Nicholas Damianou, Naranker Dulay, Emil Lupu, Morris Sloman
10th Workshop for PhD Students in Object-Oriented Systems (PhDOOS'2000), Sophia Antipolis, France
2000
Rough traders and intelligent clients
Julie McCann, M Schroeder, D Haynes
Proceedings of Autonomous Agents. Barcelona, Spain
2000
Run-time fusion of MPI calls in a parallel C++ library [GZipped Postscript]
A. J. Field, Thomas Hansen, Paul Kelly
LCPC2000, The 13th International Workshop on Languages and Compilers for High-Performance Computing, Yorktown Heights
2000
Towards a Runtime Object Model for the Ponder Policy Language
Naranker Dulay, Emil Lupu, Morris Sloman, Nicholas Damianou
7th Workshop of the Open View University Association (OVUA 2000), Santorini, Greece
2000
A Unifying Framework for Model Checking Labeled Kripke Structures, Modal Transition Systems, and Interval Transition Systems [PDF]
Michael Huth
19th International Conference on the Foundations of Software Technology & Theoretical Computer Science
Volume 1738, pp.369–380
Lecture Notes in Computer Science, Springer Verlag
1999
Ephemeral Java Source Code [PDF]
Susan Eisenbach, Chris Sadler
IEEE Workshop on Future Trends in Distributed Computing Systems, Cape Town
1999
The interval domain as a semantic foundation for reasoning about uncertainty and vagueness [PDF]
Michael Huth
International Symposium of Domain Theory 1999 at the Normal University of Shanghai, China
October, 1999
Assume-Guarantee Model Checking of Software: A Comparative Case Study [PDF]
Corina Pasareanu, Matthew B. Dwyer, Michael Huth
6th International SPIN Workshop on Practical Aspects of Model Checking
Volume 1680, pp.168–183
Lecture Notes in Computer Science, Springer Verlag
1999
Distributed Disk-based Solution Techniques for Large Markov Models [PDF] [GZipped Postscript]
William J. Knottenbelt, Peter G. Harrison
NSMC'99, 3rd International Workshop on the Numerical Solution of Markov Chains
pp.58–75
September, 1999
MAGNET: An Architecture for Dynamic Resource Allocation
Julie McCann, P Kostkova
International Workshop on Data Engineering for Wireless and Mobile Access
pp.77–83
ACM
August, 1999
Use of Roles and Policies for Specifying and Managing a Virtual Enterprise, [PDF]
Emil Lupu, Morris Sloman, Zoran Milosevic
9th International Workshop on Research Issues on Data Engineering: Information Technology for Virtual Enterprises - RIDE - VE '99, Sydney Australia
August, 1999
Reproducing Inter-process Synchronization for Performance Prediction using Lightweight System Call Tracing
Ariel Burton, Paul Kelly
UKPEW 1999
University of Bristol
July, 1999
A Compiled Labelled Deductive System for Propositional Intuitionistic Logic
Krysia Broda, Dov Gabbay
Tableaux 99, Saratoga Springs USA
Volume 1617, pp.66–81
Springer-Verlag
June, 1999
Policy Specification for Programmable Networks [PDF]
Emil Lupu, Morris Sloman
First International Working Conference on Active Networks (IWAN'99), Berlin
pp.73–84
Lecture Notes in Computer Science, Springer Verlag
June, 1999
Parallel Simulation of Plankton Ecology [GZipped Postscript]
Samir Al-Battran, A. J. Field, Roger Wiley, John Woods
IASTED 1999 International Conference on Modelling and Simulation
pp.259–263
May, 1999
Towards a Periodic Table of Connectors [PDF]
Dan Hirsch, Sebastian Uchitel, Daniel Yankelevich
COORDINATION'99: Third Int. Conference on Coordination Models and Languages, The Netherlands
Springer-Verlag
April, 1999
A Fragment Calculus - towards a model of separate compilation, linking and binary compatibility, [PDF]
Sophia Drossopoulou, Susan Eisenbach, David Wragg
Logic in Computer Science (LICS), Trento
1999
Architectural Support for Managing Nomadic Applications and Services
Naranker Dulay, Nathaniel Pryce
HP OUVA Workshop, Bologna, Italy
1999
A Uniform Approach to Inter-Model Transformations [Postscript]
Peter McBrien, Alexandra Poulovassilis
Advanced Information Systems Engineering, 11th International Conference CAiSE'99
Volume 1626, pp.333–348
Lecture Notes in Computer Science, Springer-Verlag, LNCS
1999
Automatic migration and wrapping of database applications - a schema transformation approach [Postscript]
Peter McBrien, Alexandra Poulovassilis
ER99
Lecture Notes in Computer Science, Springer-Verlag, LNCS
1999
Can Corba save a Fringe Language from Becoming Obsolete? [PDF]
Susan Eisenbach, Emil Lupu, Karen Meidl, Hani Rizkhallah
DAIS'99 Second IFIP WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems, Helsinki
1999
Dynamic Architectures and Architectural Styles for Distributed Programs
Nathaniel Pryce, Naranker Dulay
IEEE Workshop on Future Trends in Distributed Computing Systems (FTDCS), South Africa
1999
Modelling for mere Mortals
Jeff Kramer, Jeff Magee
Fifth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS '99), Amsterdam
1999
Semantics of Threads and Main Memory
Vishnu Kotrajaras, Susan Eisenbach
Formal Techniques for Java Programs: ECOOP' 99 Workshop, Lisbon
1999
Server, Network and User Adaptivity in Multimedia Networks
Julie McCann, M Schroeder, Dowling Geoff, Natawut Nupairoj, Yoshikuni Onozato, Andrew Tuson, Ushio Yamamoto
International Symposium on Non-linear Theory and its Applications (NOLTA'99)
pp.815–818
1999
PLIERS at VLC2
Julie McCann, A MacFarlane, SE Robertson
7th Text Retrieval Conference, ed D.K.Harman, USA
pp.271–280
November, 1998
Response times in G-nets
Peter G. Harrison
13th International Symposium on Computer and Information Sciences (ISCIS 1998)
pp.9–16
October, 1998
What is Java Binary Compatibility? [PDF]
Sophia Drossopoulou, David Wragg, Susan Eisenbach
OOPSLA 1998
pp.341–361
October, 1998
Component Coordination in Middleware Systems [PDF]
Susan Eisenbach, Matthias Radestock
IFIP International Conference on Distributed Systems Platforms and OpenDistributed Processing (Middleware'98)
p.240
Springer Verlag
September, 1998
Probability, Parallelism and the State Space Exploration Problem [PDF]
William J. Knottenbelt, Mark Mestern, Peter G. Harrison, Pieter Kritzinger
TOOLS'98, 10th International Conference on Modelling, Techniques and Tools
Volume 1469, pp.165–179
Lecture Notes in Computer Science, Springer Verlag
September, 1998
Response Times in Client-Server Systems [PDF]
A. J. Field, Peter G. Harrison, Andrew Parry
TOOLS'98, 10th International Conference on Modelling, Techniques and Tools. Palma de Mallorca, Spain, September 1998
Volume 1469, pp.75–92
Lecture Notes in Computer Science, Springer
September, 1998
Restructuring Requirements Specifications for Managing Inconsistencies and Change: A Case Study
Alessandra Russo, Bashar Nuseibeh, Jeff Kramer
3rd International Conference on Requirements Engineering (ICRE'98)
pp.51–60
IEEE Computer Society Press
1998
Component DBMS Architecture for Nomadic Computing [PDF]
Julie McCann, Steven Crane
16th British National Conference on Database BNCOD 16 Cardiff, Wales, July 6-8, 1998
Volume 1405, pp.175–176
Lecture Notes in Computer Science, Springer-Verlag
July, 1998
Comparing CTL and PCTL on Labeled Markov Chains
Michael Huth, Marta Z. Kwiatkowska
IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods 1998, June 2-6, Shelter Island, New York
pp.244–262
Chapman & Hall
1998
Font Decoration by Automatic Mesh Fitting [PDF]
Cameron Browne
Electronic Publishing, Artistic Imaging, and Digital Typography, R. D. Hersch, J. Andre and H. Brown (eds)
Volume 1375, pp.23–43
LNCS, Springer
June, 1998
On the Consequences of Acting in the Presence of Inconsistencies [Postscript]
Alessandra Russo, Bashar Nuseibeh
9th International Workshop on Software Specification and Design (IWSSD-9)
pp.156–158
IEEE Computer Society Press
1998
An approach to continuous minimax, the basic algorithm
Berc Rustem, M Howe
Computation in Economics, Finance and Engineering-Economic Systems
1998
A Software Architecture of Deploying High Performance Solutions on the Internet
Jaturon Chattratichat, John Darlington, Yike Guo, Stefan Hedvall, Martin , Asif Saleem, Janjao Sutiwaraphun, Dan Yang
HPCN Europe 1998, Amsterdam, The Netherlands
pp.345–355
Lecture Notes in Computer Science, Springer Verlag
1998
Efficient Interprocedural Data Placement Optimisation in a Parallel Library
Olav Beckmann, Paul Kelly
LCR'98
1998
Kendra: Internet Distribution & Delivery System an introductory paper
Julie McCann, Steven Crane
SCS EuroMedia Conference, Leicester, UK, Ed. Verbraeck A., Al-Akaidi M., Society for Computer Simulation International
pp.134–140
January, 1998
Learning in Multiple objective decision making
Berc Rustem
Apprentisage, des Principe Naturels aux Modeles Artificiels, Paris
pp.205–218
1998
Lightweight system call tracing and re-execution
Ariel Burton, Paul Kelly
IEEE International Performance, Computing and Communications Conference, IPCCC'98
1998
Parallelisation of a nonlinear robust optimization algorithm
BA Tanyi, Berc Rustem, John Darlington
Parallel Computing: Fundamentals, Applications and New Directions
Elsevier Science Bv
1998
Stable Performance for cc-NUMA using First Touch Page Placement and Reactive Proxies
Sarah Bennett, Paul Kelly
HPCS'98
Kluwer
1998
Tool to Evaluate Performance in Distributed Heterogeneous Processing
Julie McCann, Keith Manning
6th Euromicro Workshop on Parallel and Distributed Processing, Spain,
pp.180–185
IEEE Computer Society
January, 1998
A Formal Framework for ER Schema Transformation [Postscript]
Peter McBrien, Alexandra Poulovassilis
16th International Conference on Conceptual Modeling (ER'97), Los Angeles, California, USA
Lecture Notes in Computer Science, Springer-Verlag, LNCS
November, 1997
Reconciling Role Based Management and Role Based Access Control [PDF]
Emil Lupu, Morris Sloman
Second Role Based Access Control Workshop (RBAC'97), George Mason University, Virginia, USA
pp.135–141
November, 1997
A Policy Based Role Object Model [PDF]
Morris Sloman, Emil Lupu
First International Enterprise Distributed Object Computing Workshop (EDOC'97), Gold Coast, Queensland, Australia
pp.36–47
October, 1997
Interactive Configuration Management For Distributed Object Systems [PDF]
Hal Fossa, Morris Sloman
First International Enterprise Distributed Object Computing Workshop (EDOC'97), Gold Coast, Queensland, AustraliaFirst International Enterprise Distributed Object Computing Workshop (EDOC'97), Gold Coast, Queensland, Australia
pp.118–128
IEEE
October, 1997
Performance in Distributed Heterogeneous Processing Survey Findings
Julie McCann
Armenian Conference on Computer Science and Information Technologies
pp.304–306
Academy of Sciences of Armenia
September, 1997
Performance models for co-ordinating parallel data classification
John Darlington, Moustafa Ghanem, Yike Guo, Hing Wing To
Proceedings of PCW'97, the Sixth International Parallel Computing Workshop, Canberra, Australia
September, 1997
Large Scale Data Mining: Challenges and Responses
Jaturon Chattratichat, John Darlington, Moustafa Ghanem, Yike Guo, Harald Huning, Martin Kohler, Janjao Sutiwaraphun, Hing Wing To, Dan Yang
KDD 1997: The Third ACM SIGKDD International Conference of Knowledge Discovery and Data Mining
ACM Press
August, 1997
Design of Distributed Applications based on the OSI Model [Postscript]
Peter McBrien
The 9th Conference on Advanced Information Systems Engineering (CAiSE'97), Barcelona, Spain
Volume 1250, pp.361–373
Lecture Notes in Computer Science, Springer-Verlag, LNCS
June, 1997
Quantitative Analysis and Model Checking
Michael Huth, Marta Z. Kwiatkowska
IEEE Annual Symposium on Logic in Computer Science
pp.111–122
IEEE Computer Society Press
June, 1997
The Java Type System is Sound - Probably [PDF]
Sophia Drossopoulou, Susan Eisenbach
European Conference of Object Oriented programming, Jyvaskyla, Finland
Springer-Verlag
1997
Concurrency Control for Perceivedly Instantaneous Transactions in Valid-Time Databases [Postscript]
Peter McBrien, Marcelo Finger
4th Workshop on Temporal Representation and Reasoning (TIME'97), Daytona Beach, USA
IEEE
May, 1997
Conflict Analysis for Management Policies [PDF]
Morris Sloman, Emil Lupu
Fifth IFIP/IEEE International Symposium on Integrated Network Management IM'97, San-Diego
pp.430–443
Chapman & Hall
May, 1997
Linear Domains and Linear Maps
Michael Huth
9th International Conference on Mathematical Foundations of Programming Semantics
Volume 802, pp.438–453
Lecture Notes in Computer Science, Springer Verlag
1997
Performance Management Tool for Interoperable Environments
Julie McCann, Keith Manning
4th Annual Conference of the British Computer Society Client/Server Group, CSG '97, Cambridge
pp.60–70
British Computer Society Client/Server Specialist Group
April, 1997
Backwards-compatible bounds checking for arrays and pointers in C programs
Richard W M Jones, Paul Kelly
Third International Workshop on Automated Debugging
Linkoping University Electronic Press
1997
Data abstraction for parallel adaptive computation
Qiang Wu, A. J. Field, Paul Kelly
Proceedings of the 1996 Workshop on Abstract Machine Models for Parallel and Distributed Computing.
pp.105–118
I O S Press
1997
Experiments with Parallelising Numerical Applications via DESO Libraries
Olav Beckmann, Paul Kelly
Proceedings Sixth Parallel Computing Workshop (PCW'97), Parallel Computing Research Centre, Fujitsu Laboratories Ltd, Kawasaki, Japan
1997
Is the Java Type System Sound? [PDF]
Sophia Drossopoulou, Susan Eisenbach
FOOL 4( Foundations of Object Oriented Languages), Paris
1997
M-Tree: A Parallel Abstract Data Type for Block-Irregular Adaptive Applications
A. J. Field, Paul Kelly, Qian Wu
EuroPar'97
Springer
1997
Parallel Simulation of Complex Plankton Ecosystems [GZipped Postscript]
A. J. Field, Hing Wing To, Stephen Warren, John Woods
Fujitsu Parallel Computing Workshop, Canberra, Australia, 1997
1997
Restructuring Requirements Specifications for Inconsistency Analysis: A Case Study [Postscript]
Alessandra Russo, Bashar Nuseibeh, Jeff Kramer
ICSE-97 Workshop on "Living with Inconsistency", Boston
University of Oregon
1997
Runtime Interprocedural Data Placement Optimisation for Lazy Parallel Libraries
Olav Beckmann, Paul Kelly
EuroPar'97
Springer
1997
Exploiting vector and heterogeneous systems [PDF]
Peter Au, John Darlington, Moustafa Ghanem, Hing Wing To
Proceedings of PCW'96, the Fifth Parallel Computing Workshop, Kawasaki, Japan
November, 1996
Profess: A portable System for prototyping the performance of parallel programs
John Darlington, Moustafa Ghanem, Shamimabi Paurobally
Proceedings of PCW'96, the Fifth Parallel Computing Workshop, Kawasaki, Japan
November, 1996
Robust optimisation of nonlinear systems under parametric uncertainty
BA Tanyi, John Darlington, CC Pantelides, Berc Rustem
Proceedings of Operations Research
pp.43–54
Springer
1996
Generalising Propositional Modal Logics using Labelled Deductive Systems
Alessandra Russo
1st International Workshop on Frontiers of Combining Systems
Volume 3, pp.57–73
Kluwer Academic Publishers
1996
Implementation of a Management Agent for Interpreting Obligation Policy [Postscript]
Morris Sloman, Damian Marriott
IEEE/IFIP Workshop on Distributed Systems Operations and Management (DSOM '96), Laquila, Italy
October, 1996
On the Semantics of `Current-Time' In Temporal Databases [Postscript]
Peter McBrien, Marcelo Finger
pp.324–337
October, 1996
Co-ordinating Heterogeneous Parallel Computation [PDF]
Peter Au, John Darlington, Moustafa Ghanem, Yike Guo, Hing Wing To, Jin Yang
Proceedings of the Second International Euro-Par Conference on Parallel Processing - Volume I
Volume 1123, pp.601–614
Lecture Notes in Computer Science
August, 1996
A Common Data Model for Meta-Data in Interoperable Environments
Julie McCann, A MacFarlane, Heather Liddell
Second International Baltic Workshop on Databases and Information Systems, Eds Haave H-M., Thalheim B., Institute of Cybernetics, Tallinn
Volume 1, pp.75–86
June, 1996
Role-Based Security for Distributed Object Systems [PDF]
Nicholas Yialelis, Emil Lupu, Morris Sloman
Workshop on Enabling Technologies, Infrastructure for Collaborative Enterprises (WET-ICE'96), June 19-21, 1996, Stanford, CA, USA
IEEE Computer Society
June, 1996
A Configurable Event Service for Distributed Systems
Massoud Mansouri-Samani, Morris Sloman
Third IEEE Int. Conference on Configurable Distributed Systems, Annapolis
May, 1996
Implementing Interactive Configuration Management for Distributed Systems [Postscript]
Hal Fossa, Morris Sloman
Third IEEE Int. Conference on Configurable Distributed Systems, Annapolis
pp.44–51
IEEE
May, 1996
Finite but Unbounded Delay in Synchronous CCS
Michael Huth, Marta Z. Kwiatkowska
Third Imperial College Workshop
pp.312–323
Imperial College Press
1996
On Concurrency Control in Information retrieval Systems
Julie McCann, A MacFarlane, SE Robertson
18th BCS IRSG Colloquium on Information Retrieval, Manchester Metropolitan University. Ed..Johnson F.C., British Computer Society Information Retrieval Specialist Group
pp.67–79
March, 1996
A Security Framework Supporting Domain Based Access Control in Distributed Systems [Postscript]
Nicholas Yialelis, Morris Sloman
Internet Society Symposium on Network and Distributed System Security (NDSS96), San Diego, USA
IEEE
February, 1996
Agent-based Configuration Management [PDF]
Matthias Radestock, Susan Eisenbach
7th IFIP/IEEE International Workshop on Distributed Systems: Operation and Management
1996
Cautious, Machine-Independent Performance Tuning for Shared-Memory Multiprocessors
Sarah Bennett, Paul Kelly
EuroPar'96, Lyon
Springer Verlag
1996
Coordination in Evolving Systems [PDF]
Matthias Radestock, Susan Eisenbach
International Workshop on Trends in Distributed Systems
1996
Distributed Modal Theorem Proving with the system KE
Jeremy Pitt, Jim Cunningham
Fifth International Workshop on Theorem Proving with Semantic Tableaux and Related Methods, Palermo
pp.3–540
1996
Formalizing System Structure [PDF]
Matthias Radestock, Susan Eisenbach
IWSSD-8
IEEE Computer Society Press, Paderborn Germany
1996
Performance Modelling and Verification of Cache Coherency Protocols using Stochastic Process Algebra
K. Kanani, A. J. Field, Peter G. Harrison
4th Workshop on Process Algebras and Performance Modelling, 1996.
1996
Robust optimization of nonlinear systems under parametric uncertainty
BA Tanyi, John Darlington, CC Pantelides, Berc Rustem
Proceedings of Operations Research
Springer Verlag
1996
Semantics of a Higher-Order Coordination Language [PDF]
Matthias Radestock, Susan Eisenbach
COORDINATION'96 Cesena, Italy
1996
Tool Support for Informal Deduction
Krysia Broda, Susan Eisenbach
ACSE'96, Sydney, Australia
1996
Tool Support for Natural Deduction
Krysia Broda, Susan Eisenbach, Lloyd Kamara
Proceedings of ACSE96, CACM
1996
Using Proxies to Reduce Controller Contention in Large Shared-Memory Multiprocessors
Andrew Bennet, Sarah Bennett, Paul Kelly, Jakob Refstrup
EuroPar'96, Lyon
Springer Verlag
1996
A Policy Based Role Framework for Access Control [PDF]
Emil Lupu, Morris Sloman
First ACM/NIST Role Based Access Control Workshop (USA)
ACM Press
1995
A pilot study in using co-ordination forms for combined vector and scalar parallel computation on the AP1000
Peter Au, John Darlington, Moustafa Ghanem, Yike Guo, Remi Sik, Jin Yang
In Proceedings of PCW'95, the Fourth Parallel Computing Workshop, London, UK
September, 1995
Predicting the performance of software components on the AP1000
Moustafa Ghanem
Proceedings of PCW'95, the Fourth Parallel Computing Workshop, London, UK
September, 1995
An Analytical Model of the Standard Coherent Interface "SCI".
A. J. Field, Peter G. Harrison
1995 International Conference on Parallel Processing, August 14-18, 1995, Urbana-Champain, Illinois, USA
pp.173–177
August, 1995
Interaction Orders as Games
Michael Huth
Second Imperial College Department of Computing Workshop on Theory and Formal Methods
pp.21–40
Imperial College Press
1995
Management Issues for Distributed Services [Postscript]
Morris Sloman
Proc. IEEE Second International Workshop on Services in Distributed and Networked Environments (SDNE 95), Whistler, British Columbia, Canada
pp.52–59
IEEE Computer Society Press
June, 1995
A discrete min-max algorithm: risk management with rival scenarios
Berc Rustem
Modelling and Control of National and Regional Economies
Pergamon Press
1995
Configuration Management for Distributed Software Services [PDF]
Steven Crane, Naranker Dulay, Hal Fossa, Jeff Kramer, Jeff Magee, Morris Sloman, Kevin Twidle
Proceedings of IFIP/ IEEE International Symposium on Integrated Network Management (ISINM 95), Santa Barbara
Chapman Hall
1995
Coupling Process Models and Business Rules [Postscript]
Peter McBrien, Anne Helga Seltveit
Proceedings of the IFIP WG8.1 Working Conference: Information System Development for Decentralised Organisations, Trondheim, Norway
Chapman Hall
1995
Dynamic File Migration to Support Parallel Database Systems
Julie McCann, Peter Osmon, Nicholas Williams
IEEE/ACM Workshop in Modelling, Analysis and Simulation of Computer and Telecommunication Systems, ed Dowd P., Gelenbe E.
pp.352–357
IEEE Computer Society Press
January, 1995
Specifying Distributed Software Architectures [PDF]
Jeff Magee, Naranker Dulay, Susan Eisenbach, Jeff Kramer
Fifth European Software Engineering Conference, ESEC '95 , Barcelona
1995
System Structuring: A Convergence of Theory and Practice? [PDF]
Jeff Magee, Jeff Kramer, Susan Eisenbach
Dagstuhl Workshop on Theory and Practice in Distributed Systems
Lecture Notes in Computer Science, Springer-Verlag
1995
The System Architect's Assistant - A Visual Environment for
Keng Ng
Distributed Programming, Proceedings of 28th HICSS, Hawaii
1995
The System Architect's Assistant - A Visual Environment for Distributed Programming
Keng Ng, Jeff Kramer, Jeff Magee, Naranker Dulay
Proceedings of the 28th Hawaii International Conference on System Sciences (HICSS-28)
1995
Rule Based Specification of Information Systems [Postscript]
Peter McBrien, Anne Helga Seltveit, Benkt Wangler
International Conference on Information Systems and Management of Data (CISMOD 94), Madras, India
October, 1994
A Uniform Memory Access Model of a Distributed Coherent Cache System
A. J. Field, Peter G. Harrison
U.K. Performance Engineering Workshop, September 1994
September, 1994
Reduction as Deduction [PDF]
John Darlington, Yike Guo, Martin
6th International Workshop on Implementation of Functional Languages, Norwich, UK
September, 1994
Linear Types, Approximation, and Topology
Michael Huth, Achim Jung, Klaus Keimel
IEEE Annual Symposium on Logic in Computer Science
pp.110–114
IEEE Computer Society Press
July, 1994
A Constructive Development Environment for Parallel and Distributed Programs
Jeff Magee, Naranker Dulay, Jeff Kramer
Proceedings 2nd IEEE International Workshop on Configurable Distributed Systems (IWCDS-2)
IEEE Computer Society Press
1994
A Discrete min-max algorithm for inequality constraints
Berc Rustem
Operations Research '93
1994
Angel: Resource Unification in a 64-bit Micro-Kernel
Paul Kelly, Kevin Murray, Tom Stiemerling, Tim Wilkinson
Proceedings of 27th Hawaii International Conference on Systems Science
1994
An Object Model for Multiparadigm Programming [PDF]
Diomidis Spinellis, Sophia Drossopoulou, Susan Eisenbach
OOPSLA Workshop on Multi-Language Object Models
1994
Derivation and Performance of a Pipelined Transaction Processor
Sarah Bennett, Paul Kelly, Ross Paterson
IEEE Symposium on Parallel and Distributed Processing, Dallas
IEEE Press
1994
Eliminating Invalidation in Coherent-Cache Parallel Graph Reduction
Sarah Bennett, Paul Kelly
PARLE 94 - Parallel Architectures and Languages Europe, Athens
Springer Verlag
1994
Modelling Darwin in the Pi-calculus
Jeff Magee, Susan Eisenbach, Jeff Kramer
International Workshop on Theory and Practice in Distributed Systems
Springer-Verlag
1994
Specifying the Concurrent Programming System Regis in the Pi-Calculus [PDF]
Susan Eisenbach, Jeff Kramer, Jeff Magee
Proceedings IEEE 2nd Int. Workshop on Configurable Distributed Systems (IWCDS-2), Pittsburgh
1994
Teaching Program Reasoning in the First Year
Krysia Broda, Susan Eisenbach
NSF Teaching Formal Methods Workshop, New York
1994
Towards a Minimal Object-Oriented Language for Distributed and Concurrent Programming [PDF]
Matthias Radestock, Susan Eisenbach
PODC, Los Angeles
1994
What do you get from a pi-calculus semantics? [PDF]
Matthias Radestock, Susan Eisenbach
PARLE, Athens
1994
Structured Parallel Programming
John Darlington, Moustafa Ghanem, Hing Wing To
Programming Models for Massively Parallel Computers
pp.160–169
IEEE Computer Society Press
September, 1993
Transmission Times in Buffered Full-Crossbar Communication Networks with Cyclic Arbitration
A. J. Field, Peter G. Harrison
ICPP'93, IEEE/ACM International Conference on Parallel Processing. 16-20 August 1993, Syracuse University, NY
Volume 1, pp.189–196
IEEE Computer Society
August, 1993
PRIMA: A Parallel Relational Database Machine Architecture
Julie McCann, David Bolton, Peter Osmon, X Zhao, Nicholas Williams, Anthony Valsamidis
11th British National Conference on Databases, Keele University, UK
July, 1993
Principles of Implementing Historical Databases in RDBMS [Postscript]
Peter McBrien
The Eleventh British National Conference on Databases (BNCOD11), Keele University, UK
pp.220–237
Lecture Notes in Computer Science, Springer-Verlag, LNCS
July, 1993
Parallel Programming Using Skeleton Functions [PDF]
John Darlington, A. J. Field, Peter G. Harrison, Paul Kelly, D W N Sharp, Qiang Wu, R. Lyndon While
PARLE'93, 5th International PARLE Conference on Parallel Architectures and Languages Europe
Volume 694, pp.146–160
Lecture Notes in Computer Science, Springer
June, 1993
Domain Management and Accounting in an International Cellular Network [Postscript]
Morris Sloman, Heinz Gerd Hegering, Yechiam Yemini
IFIP Third International Symposium on Integrated Network Management, San Francisco
pp.193–206
North-Holland
April, 1993
On the equivalence of state-transition systems [PDF]
Michael Huth
Workshops in Computing
pp.171–182
Springer Verlag
1993
Process Algebra for Discrete Event Simulation [PDF] [Postscript]
Peter G. Harrison, Ben Strulo
QMIPS'93, Qualitative Methods in Parallel Systems, Erlangen
pp.115–142
March, 1993
Distributed Memory Multi-processor Architecture for Relational Database Systems
Julie McCann, David Bolton, Peter Osmon, X Zhao, Nicholas Williams, Anthony Valsamidis
Very Large Databases 1993, Dublin, Eire
1993
Pi-calculus semantics for the concurrent configuration language Darwin [PDF]
Susan Eisenbach, Ross Paterson
26th Hawaii International Conference on System Sciences
Volume 2, pp.456–462
January, 1993
Simulating Performance of Parallel Database Systems
Julie McCann
European Simulation Symposium, Netherlands. Eds. Verbraek A., Kerckhoffs E.J.H.
pp.506–511
1993
Incremental Garbage Collection for the Spineless Tagless G-machine [PDF] [Postscript]
R. Lyndon While, A. J. Field
Massey Functional Programming Workshop, Massey, New Zealand, September 1992
September, 1992
A General Framework for Discrete-event Simulation using Functional Languages [PDF]
A. J. Field, R. Lyndon While
Sixth International Conference on Modelling Techniques and Tools for Performance Evaluation, Edinburgh, September 1992
pp.409–414
August, 1992
Transmission Times in Unbuffered Crossbars with Cyclic Arbitration
A. J. Field, Peter G. Harrison
ICPP'92, IEEE/ACM International Conference on Parallel Processing. An Arbor, Michigan, August 17-21, 1992
Volume 1, pp.132–137
August, 1992
An Entity-Relationship Model Extended to Describe Historical Information [Postscript]
Peter McBrien, Anne Helga Seltveit, Benkt Wangler
International Conference on Information Systems and Management of Data (CISMOD 92), Bangalore, India
pp.244–260
July, 1992
A Flexible Benchmarking Tool for Parallel Database Systems
Julie McCann, David Bell, Mary Shapcot
National Physical Laboratory conference on Parallel Processors - Benchmarking and Assessment
1992
Blocking in asynchronous, buffered Banyan networks
Peter G. Harrison, Afonso de C. Pinto
IFIP Trans. C-Commun. Syst.
Volume 5, pp.169–188
North-Holland
September, 1991
A projection model of types
David J Lillie, Peter G. Harrison
5th ACM conference on Functional programming languages and computer architecture
Volume 523, pp.259–288
Lecture Notes in Computer Science, Springer
August, 1991
Asynchronous Packet-switched Banyan Networks with Blocking
Peter G. Harrison, Afonso de C. Pinto
7th UK Computer and Telecommunications Performance Engineering Workshop
pp.146–149
Workshops in Computing, Springer
July, 1991
A Rule Language to Capture and Model Business Policy Specifications [Postscript]
Peter McBrien, Anne Helga Seltveit, Marc , Dimitrios Pantazis, Ulf Sundin, Babis Theodoulidis, Gregoris Tziallas, Rolf Wohed
CAiSE'91, Trondheim, Norway
Volume 498, pp.307–318
Lecture Notes in Computer Science, Springer-Verlag, LNCS
May, 1991
Information Systems Development Using a Combination of Process and Rule Based Approaches
Peter McBrien, Richard Owens, Anne Helga Seltveit, John Krogstie
CAiSE'91, Trondheim, Norway
Volume 498, pp.319–335
Lecture Notes in Computer Science, Springer-Verlag
May, 1991
Cartesian closed categories of domains and the space Proj(D) [PDF]
Michael Huth
Seventh International Conference on Mathematical Foundations of Programming Semantics
Volume 598, pp.259–271
Lecture Notes in Computer Science, Springer Verlag
1991
Temporal Logic & Historical Databases [Postscript]
Peter McBrien, Dov Gabbay
17th Conference on VLDB, Barcelona
pp.423–430
1991
TEMPORA - Integrating Database Technology, Rule-based Systems and Temporal Reasoning for Effective Software
Peter McBrien, Peri Loucopoulos, F Schumacker, Ulf Persson, P Vasey
ESPRIT Conference, Brussels
pp.388–411
Kluwer Academic Publishers
November, 1990
TEMPORA: A Temporal Database Transaction System
Peter McBrien, Dov Gabbay, Richard Owens, Marc , Pierre Wolper
IEE Colloquium on Temporal Reasoning
IEE
January, 1990
Robust optimal policy methods for nonlinear models
Berc Rustem
28th IEEE Conference on Decision and Control
Volume 3, pp.2050–2055
IEEE
1989
A Functional Programming Environment Supporting Execution, Partial Execution and Transformation
John Darlington, Peter G. Harrison, Hessam Khoshnevisan, Lee McLoughlin, Nigel Perry, Helen Pull, Mike Reeve, Keith Sephton, R. Lyndon While, Sue Wright
PARLE'89 Parallel Architectures and Languages Europe. Volume I. Eindhoven, The Netherlands, June 12-16
Volume 365, pp.286–305
Lecture Notes in Computer Science, Springer
June, 1989
An Assessment of the Victorian State Economic Strategy
John McCombie, Colin Richardson
13th Australian Regional Science Association Conference, Brisbane, Queensland, Australia
November, 1988
On Hot-spot Contention in Interconnection Networks
Naresh M. Patel, Peter G. Harrison
SIGMETRICS'88, ACM SIGMETRICS conference on Measurement and Modeling of Computer Systems
Volume 16, Issue 1, pp.114–123
ACM SIGMETRICS Performance Evaluation Review, ACM Press
May, 1988
The Representation of Switching Networks in Queueing Models of Parallel Systems
Peter G. Harrison, Naresh M. Patel
Performance'87, 12th International Symposium on Computer Performance Modelling, Measurement and Evaluation
pp.497–512
North-Holland
December, 1987
The Parallel Graph Reduction Machine, ALICE
Peter G. Harrison, Mike Reeve
Proceedings of a Workshop on Graph Reduction
Volume 279, pp.181–202
Lecture Notes in Computer Science, Springer
October, 1986
The State Economic Strategy for Victoria
Colin Richardson
15th Australian Conference of Economists, Melbourne
September, 1986
Efficient compilation of linear recursive functions into object level loops
Peter G. Harrison, Hessam Khoshnevisan
SIGPLAN Symposium on Compiler Construction 1986, Palo Alto, June
pp.207–218
ACM Press
June, 1986
Performance modelling of parallel computer architectures [PDF]
Peter G. Harrison, A. J. Field
SIGMETRICS'86, Joint International Conference on Computer Performance Modelling, Measurement and Evaluation
Volume 14, Issue 1, pp.18–27
ACM SIGMETRICS Performance Evaluation Review, ACM Press
May, 1986
Self-Clocking Networks
Martin Cripps, A. J. Field
1985 IEEE/ACM International Conference on Parallel Processing, St. Charles, Illinois
pp.384–387
August, 1985
A State Economic Strategy for Sustainable Growth
Colin Richardson
13th Australian Conference of Economists
August, 1984
An exact analysis of the distribution of cycle times in a class of queueing networks
Peter G. Harrison
SIGMETRICS'83, ACM SIGMETRICS conference on Measurement and Modeling of Computer Systems
pp.224–242
ACM
August, 1983
An attribute grammar for Ada
Sophia Drossopoulou, Juergen Uhl, Guido Persch, Gerhard Goos, Manfred Dausmann, Georg Winterstein
Symposium on Compiler Construction
ACM
June, 1982
Approximate Analysis and Prediction of Time Delay Distributions in Networks of Queues
Peter G. Harrison
7th International Computer Measurement Group Conference, New Orleans, December 1-4, 1981
pp.70–80
Computer Measurement Group
December, 1981
A Separate Compilation System for Ada
Manfred Dausmann, Guido Persch, Sophia Drossopoulou, Georg Winterstein
Volume 43, pp.197–213
Informatik Fachberichte
April, 1981
The Tasking Facility of Ada
Manfred Dausmann, Sophia Drossopoulou, Guido Persch, Georg Winterstein
Implementierungssprachen fuer nichtsequentielle Programmsysteme, -- Tagung I/1981 des German Chapter of the ACM, Kaiserslautern
pp.95–118
Teubner
February, 1981
Hidden Electricity Cross-Subsidies: Alcoa's Aluminium Smelter at Portland, Victoria
Colin Richardson
9th Australian Conference of Economists, Brisbane
September, 1980
Keynesian versus Neoclassical Approaches to Economic Modelling
Colin Richardson
7th Australian Conference of Economists, Melbourne
August, 1978

Proceedings Edited

Constant Power Reconfigurable Computing
Adrien Le Masle, Chun Tak (Gary) Chow, Wayne Luk
2011 International Conference on Field-Programmable Technology (FPT)
December, 2011
Parametrized Hardware Architectures for the Lucas Primality Test
Adrien Le Masle, Wayne Luk, Csaba Andras Moritz
2011 International Conference on Embedded Computer Systems (SAMOS)
July, 2011
An Environment for the Specification and Evaluation of Betting Strategies
Polyvios Tsirimpas, William J. Knottenbelt
3rd IMA International Conference on Mathematics in Sport
June, 2011
Design Space Exploration of Parametric Pipelined Designs
Adrien Le Masle, Wayne Luk
21st IEEE International Conference on Application-specific Systems Architectures and Processors (ASAP)
August, 2010
Parametric Encryption Hardware Design
Adrien Le Masle, Wayne Luk, Jared Eldredge, Kris Carver
6th International Symposium on Applied Reconfigurable Computing (ARC '10)
2010
Practical Applications of Stochastic Modelling 2009
Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt, Nicholas J. Dingle, Uli Harder
PASM 2009, Practical Applications of Stochastic Modelling, Imperial College London
Volume 261, pp.1–4
Electronic Notes in Theoretical Computer Science, Elsevier
February, 2010
A general result for deriving product-form solutions in Markovian models
1st International Conference WOSP/SIPEW 2010
ACM International Conference Proceedings, ACM Press
2010
Proceedings of MASCOTS 2009, 17th Annual Meeting of the IEEE/ACM International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems
Jeremy T. Bradley, James Conrad, Uli Harder, William J. Knottenbelt, George Riley, A. J. Field
MASCOTS 2009, International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems, Imperial College London
IEEE Computer Society Press
September, 2009
Proceedings of EPEW 2009, Computer Performance Engineering. 6th European Workshop Performance Engineering Modelling
Jeremy T. Bradley
EPEW 2009. Computer Performance Engineering. Imperial College London, 9-10 July 2009
Volume 5652
Lecture Notes in Computer Science, Springer Verlag
July, 2009
Proceedings of PASM 2008, 3rd International Workshop on the Practical Application of Stochastic Modelling
Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt
Volume 232, pp.1–178
Electronic Notes in Theoretical Computer Science, Elsevier
March, 2009
Proceedings of UKPEW 2008, 24th Annual UK Performance Engineering Workshop [PDF]
Ashok Argent-Katwala, Nicholas J. Dingle, Uli Harder
UKPEW 2008, UK Performance Engineering Workshop. 3-4 July 2008, Imperial College London
UKPEW
July, 2008
13th International Workshop on Expressiveness in Concurrency (EXPRESS'06)
Roberto Amadio, Iain Phillips
Volume 175, Issue 3
Electronic Notes in Theoretical Computer Science, Elsevier
June, 2007
Proceedings of the 16th International Conference on Inductive Logic Programming
Stephen Muggleton, R. Otero, Alireza Tamaddoni Nezhad
LNAI 4455, Springer Verlag
2007
Post-Proceedings of the 7th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA VII)
Katsumi Inoue, Ken Satoh, Francesca Toni
Volume 4371
Springer Verlag
January, 2007
Accelerating Scientific Computations using FPGAs
Oliver Pell, Lee Howes, Kubilay Atasu, Oskar Mencer, Olav Beckmann
Advanced Maui Optical and Space Surveillance Technologies Conference, Sept. 2006
2006
12th International Workshop on Expressiveness in Concurrency (EXPRESS'05)
Jos Baeten, Iain Phillips
Electronic Notes in Theoretical Computer Science
Volume 154, Issue 3
Elsevier
July, 2006
Coordination Models and Languages, Proceedings of the 8th International Conference (COORDINATION 2006)
Paolo Ciancarini, Herbert Wiklicky
Volume 4038
Springer Verlag
June, 2006
Post-Proceedings of the 6th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA VI)
Francesca Toni, Paulo Torroni
Volume 3900
Lecture Notes in Computer Science, Springer-Verlag
2006
Proceedings of the 7th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA VII)
Katsumi Inoue, Ken Satoh, Francesca Toni
May, 2006
Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages (QAPL 2005)
Antonio Cerone, Herbert Wiklicky
Volume 153, Issue 2
Elsevier
May, 2006
Component Deployment
Alan Dearle, Susan Eisenbach
Component Deployment Third International Working Conference, CD 2005
Volume 3798
Lecture Notes in Computer Science, Springer
November, 2005
Proceedings of the 6th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA VI)
Francesca Toni, Paulo Torroni
June, 2005
Type Checking for JavaScript [PDF]
Christopher Anderson, Paola Giannini
WOOD 2004
Issue 138, pp.37–58
Elsevier
2005
Proceedings of PASM 2004, 1st International Workshop on Practical Applications of Stochastic Modelling
Jeremy T. Bradley, William J. Knottenbelt
PASM 2004, Practical Applications of Stochastic Modelling
Volume 128, Issue 4, pp.1–164
Electronic Notes in Theoretical Computer Science, Elsevier
April, 2005
Practical Applications of Stochastic Modelling 2004 [GZipped Postscript]
Jeremy T. Bradley, William J. Knottenbelt
PASM 2004, Practical Applications of Stochastic Modelling, Imperial College London
September, 2004
Proceedings of TOOLS 2002, 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
A. J. Field, Peter G. Harrison, Jeremy T. Bradley, Uli Harder
Volume 2324
Lecture Notes in Computer Science, Springer-Verlag
April, 2002
Proceedings of the First Workshop on Quantitative Aspects of Programming Languages (QAPL 2001)
Alessandra Di Pierro, Herbert Wiklicky
Volume 59, Issue 3
Elsevier
2001
Computing a RequiredAbsolute Precision from a Stream of Linear Fractional Transformations [Postscript]
Marko Krznaric
Volume 2064, pp.169–186
Lecture Notes in Computer Science
2001
Proceedings of the NMR 2000 Special Session on Abductive Reasoning, affiliated with NMR 2000, the 8th International Workshop on Non-Monotonic Reasoning
Marc Denecker, Antonis Kakas, Francesca Toni
April, 2000
Management Tools for Distributed Interoperable Environments
Julie McCann, A MacFarlane, Heather Liddell
High Performance Computing and Networking (HPCN), Belgium
pp.689–695
Lecture Notes in Computer Science, Springer-Verlag
April, 1996

National Workshop Papers

Sliding Hidden Markov Model for Evaluating Discrete Data [PDF]
Tiberiu Chis, Peter G. Harrison
29th UK Performance Engineering Workshop (UKPEW '13)
July, 2013
Energy Consumption in The Office [PDF]
Anton Stefanek, Uli Harder, Jeremy T. Bradley
28th UK Performance Engineering Workshop (UKPEW 2012)
July, 2012
PCTMC models of Wireless Sensor Network protocols [PDF]
Marcel C. Guenther, Jeremy T. Bradley
UKPEW'12, 28th UK Performance Engineering Workshop
2012
Mean-field models for interacting battery-powered devices [PDF]
Richard Hayden
Imperial College Energy and Performance Colloquium (ICEP)
May, 2012
Using Fluid Queues to Model Energy Storage and Distribution [PDF]
Gareth Jones, Peter G. Harrison
Imperial College Energy and Performance Colloquium (ICEP)
May, 2012
MASSPA-Modeller: A Spatial Stochastic Process Algebra modelling tool [PDF]
Marcel C. Guenther, Jeremy T. Bradley
Imperial College Computing Student Workshop (ICCSW)
September, 2011
Normal and inhomogeneous moment closures for stochastic process algebras [PDF]
Anton Stefanek, Marcel C. Guenther, Jeremy T. Bradley
10th Workshop on Process Algebra and Stochastically Timed Activities 2011 (PASTA'11)
September, 2011
Toward efficient parameter sweeping and optimisation of fluid performance models by Taylor-model based symbolic numerical integration [PDF]
Richard Hayden
10th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2011)
September, 2011
Convergence of ODE approximations and bounds on performance models in the steady-state [PDF]
Richard Hayden
9th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2010)
September, 2010
Hybrid analysis of large scale PEPA models [PDF]
Anton Stefanek, Richard Hayden, Jeremy T. Bradley
9th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2010)
September, 2010
An Empirical Study of the Scalability of Performance Analysis Tools in the Cloud [PDF]
Nicholas J. Dingle
26th UK Performance Engineering Workshop (UKPEW 2010)
pp.9–16
July, 2010
A Stochastic Calculus Model for the Spot Price of Computing Power [PDF]
Fernando Martinez Ortuno, Uli Harder
UKPEW 2010
July, 2010
GPA - Tool for rapid analysis of very large scale PEPA models [PDF]
Anton Stefanek, Richard Hayden, Jeremy T. Bradley
UKPEW'10, 26th UK Performance Engineering Workshop. 7-8th July, University of Warwick
pp.91–101
University of Warwick
July, 2010
A functional central limit theorem for PEPA [PDF]
Richard Hayden, Jeremy T. Bradley
8th Workshop on Process Algebra and Stochastically Timed Activities
pp.13–23
August, 2009
Spatial extension of stochastic pi calculus [PDF]
Anton Stefanek, Maria Vigliotti, Jeremy T. Bradley
8th Workshop on Process Algebra and Stochastically Timed Activities
pp.109–117
August, 2009
Analysis of Storage System Activity [PDF]
Nicholas J. Dingle, Uli Harder
UKPEW 2009
pp.39–48
July, 2009
Towards a QoS-aware Virtualised File System [PDF]
Felipe Franciosi, William J. Knottenbelt
UK Performance Engineering Workshop
July, 2009
Truncation of Passage-time Calculations in Semi-Markov Models [PDF] [GZipped Postscript]
Marcel C. Guenther, Jeremy T. Bradley, Nicholas J. Dingle, William J. Knottenbelt
UKPEW'09, 25th UK Performance Engineering Workshop
pp.17–28
July, 2009
Extracting Fluid Response times from PEPA models
Jeremy T. Bradley, Richard Hayden, William J. Knottenbelt, Tamas Suto
PASTA'08, 7th Workshop on Process Algebra and Stochastically Timed Activities
July, 2008
ODE-based general moment approximations for PEPA [PDF]
Richard Hayden, Jeremy T. Bradley
PASTA'08, 7th Workshop on Process Algebra and Stochastically Timed Activities
July, 2008
State-Space Size Estimation By Least-Squares Fitting [PDF]
Nicholas J. Dingle, William J. Knottenbelt
24th UK Performance Engineering Workshop (UKPEW 2008)
pp.347–357
July, 2008
Validation of Large Zoned RAID Systems [PDF]
Abigail Lebrecht, Nicholas J. Dingle, William J. Knottenbelt
24th UK Performance Engineering Workshop (UKPEW 2008)
pp.246–261
July, 2008
PIPE v2.5: A Petri Net Tool for Performance Modelling [PDF]
Pere Bonet, Catalina , Ramon Puigjaner, William J. Knottenbelt
23rd Latin American Conference on Informatics (CLEI 2007)
October, 2007
A peer-to-peer Market for Grid Computing [PDF]
Uli Harder
6th Workshop on Process Algebra and Stochastically Timed Activities
pp.105–109
July, 2007
Exploration of the network spun by website users [PDF]
Ashok Argent-Katwala, Tim Evans, Uli Harder
23rd Annual UK Performance Engineering Workshop (UKPEW 2007), Edge Hill University, UK, July 9th-10th, 2007
pp.118–121
July, 2007
Fluid-flow solutions in PEPA to the state space explosion problem [PDF] [GZipped Postscript]
Richard Hayden, Jeremy T. Bradley
PASTA 2007, 6th Workshop on Process Algebra and Stochastically Timed Activities
pp.25–37
July, 2007
PerformDB: Community-driven performance modelling and analysis [PDF] [GZipped Postscript]
Ashok Argent-Katwala, Jeremy T. Bradley
UKPEW 2007, 23rd Annual UK Performance Engineering Workshop
pp.86–94
July, 2007
Response Time Approximations in Fork-Join Queues [PDF]
Abigail Lebrecht, William J. Knottenbelt
23rd Annual UK Performance Engineering Workshop (UKPEW)
July, 2007
A Continuous State Space Approximation for PEPA Queues [PDF]
Ashok Argent-Katwala, Jeremy T. Bradley
Process Algebra and Stochastically Timed Activities 2006
June, 2006
PEPA queues [GZipped Postscript]
Ashok Argent-Katwala
Process Algebra and Stochastically Timed Activities 2005
September, 2005
Observing Internet Worm and Virus Attacks with a Small Network Telescope [PDF] [GZipped Postscript]
Uli Harder, Matthew Johnson, Jeremy T. Bradley, William J. Knottenbelt
PASM 2005, Proceedings of the 2nd Workshop on Practical Applications of Stochastic Modelling
pp.113–126
July, 2005
Stochastic Simulation Methods applied to a Secure Electronic Voting Model [PDF] [GZipped Postscript]
Jeremy T. Bradley, Stephen Gilmore, Nigel Thomas
PASM'05, Proceedings of 2nd Workshop on Practical Applications of Stochastic Modelling
pp.127–149
July, 2005
Semi-blind scheduling in a finite capacity system [PDF] [GZipped Postscript]
Nigel Thomas, Jeremy T. Bradley, William J. Knottenbelt
UKPEW'04, 20th Annual UK Performance Evaluation Workshop
July, 2004
Iterative Transient State Distribution Calculation in Semi-Markov Processes [PDF]
Nicholas J. Dingle
3rd Workshop on Process Algebras and Stochastically Timed Activities (PASTA'04)
pp.1–9
June, 2004
Extracting Passage Times from PEPA models with the HYDRA Tool: A Case Study [PDF]
Jeremy T. Bradley, Nicholas J. Dingle, Stephen Gilmore, William J. Knottenbelt
UKPEW 2003, 19th UK Performance Engineering Workshop
pp.79–90
July, 2003
Parameter estimation for MMPPs using the EM algorithm [PDF]
Haifang Ge, Uli Harder, Peter G. Harrison
19th UK Performance Engineering Workshop (UKPEW 2003)
pp.293–306
July, 2003
Reversed Processes of Multiple Agent Cooperations [PDF]
Peter G. Harrison, Ting Ting Lee
19th UK Performance Engineering Workshop (UKPEW 2003), Warwick, July 9-10 2003
pp.257–265
July, 2003
An approximate solution of PEPA models using component substitution [PDF] [GZipped Postscript]
Nigel Thomas, Jeremy T. Bradley, David Thornley
28th UK Performance Engineering Workshop (UKPEW 2002)
July, 2002
Distributed Solution of Large Markov Models Using Asynchronous Iterations and Graph Partitioning [PDF]
Nicholas J. Dingle, William J. Knottenbelt
18th UK Performance Engineering Workshop (UKPEW 2002), Glasgow July 10-11, 2002
pp.27–34
July, 2002
Network Traffic Measurements in a Switched Ethernet Environment [PDF]
A. J. Field, Uli Harder, Peter G. Harrison
UKPEW 2002
pp.47–58
July, 2002
Performance modelling in the pub - speculative computation and dynamic pricing [PDF] [GZipped Postscript]
Ashok Argent-Katwala
UK Performance Evaluation Workshop 2002, University of Glasgow
July, 2002
A queueing network model of Oracle Parallel Server [PDF] [Postscript]
Uli Harder, Peter G. Harrison
UKPEW 1999
pp.69–80
July, 1999
Predicting buffer hit ratios with neural networks [PDF] [GZipped Postscript]
Uli Harder, Tim MacLeod
UKPEW 1999
pp.333–342
July, 1999

BibTeX file for these publications

 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.