Conference Papers
[2010] [2009] [2008] [2007] [2006] [2005] [2004] [2003] [2002] [2001] [2000] [1999] [1998] [1997] [1996] [1995] [1994] [1993] [1992] [1991] [1990] [1989] [1988] [1987] [1986] [1985] [1984] [1983] [1982] [1981] [1980] [1979] [1978] [1977] [1976] [1975] [1974] [1973] [1972] [1971] [1968] [1967] [1966]
2010
Scalable Analysis of Collective Behaviour in Smart Service Systems
In Applied Computing 2010. The 25th annual ACM Symposium on Applied Computing, Sierre, Switzerland, March 22-26, 2010
Shin, D. (ed.)
pp 1173-1180
ACM, 2010
Assessing Competency in Undergraduate Software Engineering Teams
In IEEE EDUCON 2010: IEEE Engineering Education 2010, April 14th-16th, 2010, Madrid, Spain
Universidad Politecnica de Madrid - Servicio de Publicaciones-EUI-UPM
pp 271-277
Universidad Politecnica de Madrid - Servicio de Publicaciones-EUI-UPM, 2010
Notes : Topic of conference: The Future of Global Learning in Engineering Education.
Full paper only available on CD-ROM.
Proceedings on CD-ROM - IEEE Catalog Number: CFP10EDU-CDR - ISBN: 978-1-4244-6569-9
Conference Program Book - ISBN: 978-84-96737-70-9. Depósito legal: M-11728-2010
[Abstract]Supporting Reuse in Event B Development: Modularisation Approach
In Abstract State Machines, Alloy, B and Z . Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010
Frappier, M., Glässer, U., Khurshid, S. et al. (eds.)
Lecture Notes in Computer Science, 5977 , pp 174-188
Springer-Verlag , 2010
[Abstract]Patterns for Modelling Time and Consistency in Business Information Systems
In 2010 15th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2010, 22-26 March 2010, Oxford, UK
Calinescu, R., Paige, R. and Kwiatkowska, M. (eds.)
pp 105-114
IEEE, 2010
Risk Management for Web and Distributed Software Development Projects
In The Fifth International Conference on Internet Monitoring and Protection, ICIMP 2010 , 9-15 May 2010, Barcelona, Spain
Mauri, J. L. and Popescu, M. (eds.)
pp 22-28
IEEE Computer Society, 2010
[Abstract]The robustness of a new CAPTCHA
In Proceedings of the third European Workshop on System Security, EUROSEC '10, 13th of April 2010, Paris, France
pp 36-41
ACM, 2010
A Formal Semantics for the WS-BPEL Recovery Framework: The pi-Calculus Way
In Web Services and Formal Methods (WS-FM 2009 )
Laneve, C. and Su, J. (eds.)
Lecture Notes in Computer Science, 6194, pp 92–109
Springer-Verlag, 2010
[Abstract]On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems
In Third International Conference on Dependability (DEPEND 2010 ), July 18-25, 2010, Venice/Mestre, Italy
pp -
IEEE Computer Society, 2010
Notes : Paper to be presented at DEPEND 2010 Conference, July 2010.
[Abstract]Encouraging Interaction and Status Awareness in Undergraduate Software Engineering Projects: The Role of Social Networking Services
In IEEE EDUCON 2010 : IEEE Engineering Education 2010, April 14th-16th, 2010, Madrid, Spain
Universidad Politecnica de Madrid - Servicio de Publicaciones-EUI-UPM
pp 179-184
Universidad Politecnica de Madrid - Servicio de Publicaciones-EUI-UPM, 2010
Notes : Topic of conference: The Future of Global Learning in Engineering Education.
Full paper only available on CD-ROM.
Proceedings on CD-ROM - IEEE Catalog Number: CFP10EDU-CDR - ISBN: 978-1-4244-6569-9
Conference Program Book - ISBN: 978-84-96737-70-9. Depósito legal: M-11728-2010
[Abstract]Multi-Touch Authentication on Tabletops
In CHI 2010. The 28th Annual CHI Conference on Human Factors in Computing Systems, Atlanta, Ga, USA, April 10-15 2010
2, pp 1093-1102
ACM, 2010
FerroSynth: A Ferromagnetic Music Interface
In Proceedings of the 2010 Conference on New Interfaces for Musical Expression (NIME 2010 ), Sydney, Australia, 15th-18th June 2010
Beilharz, K., Johnston, A., Ferguson, S. et al. (eds.)
pp 463-466
University of Technology Sydney, 2010
[Abstract]MetaSelf – An Architecture and a Development Method for Dependable Self-* Systems
In Applied Computing 2010. The 25th annual ACM Symposium on Applied Computing, Sierre, Switzerland, March 22-26, 2010
Shin, D. (ed.)
pp 457-461
ACM, 2010
[Abstract]2009
Self Managed Security Cell, a security model for the Internet of Things and Services
In Proceedings. The First International Conference on Advances in Future Internet, AFIN 2009, 18-23 June 2009, Athens/Glyfada, Greece
Bi, J., Dini, P. and Lorenz, P. (eds.)
pp 47-52
IEEE Computer Society, 2009
Notes : Best paper award.
[Abstract]A Governance Model for SOA
In Proceedings. ICWS 2009. 2009 IEEE International Conference on Web Services, Los Angeles, CA , 6-10 July, 2009
Damiani, E., Chang, R. and Zhang, J. (eds.)
pp 1020-1027
IEEE Computer Society, 2009
[Abstract]Performance of Novel Scheduling Strategies
In 25th UK Performance Engineering Workshop, 6-7 July 2009, School of Computing, University of Leeds
Djemame, K. (ed.)
pp 84-98
School of Computing, University of Leeds, 2009
Notes : UKPEW 2009 Proceedings published as Research Report RR09, School of Computing, University of Leeds, 2009.
iBookmark: Locative Texts and Place-based Authoring
In CHI 2009: Digital Life, New World. The 27th Annual CHI Conference on Human Factors in Computing Systems, April 4-9, 2009 in Boston, USA
pp 3775-3780
ACM , 2009
Notes : Conference proceedings and extended abstracts on DVD.
[Abstract]Design and Prototype of a Device to Engage Cognitively Disabled Older Adults in Visual Artwork
In PETRA'09. Proceedings of the 2nd International Conference on PErvasive Technologies Related to Assistive Environments, Corfu, Greece, June 09-13 2009
ACM International Conference Proceedings, pp 1-8
ACM, 2009
Notes : Article no. 48.
Web 2.0, Technology Ownership and e-Learning in Computing Science
In 4th International Conference on e-Learning, University of Toronto, Canada,16-17 July 2009
Salajan, F. (ed.)
pp 93-100
Academic Publishing Limited, 2009
[Abstract]Annotation of SBML Models Through Rule-Based Semantic Integration
In The 12th Annual Bio-Ontologies Meeting, June 28, 2009, colocated with ISMB 2009, Stockholm, Sweden
Lord, P., Shah, N., Sansone, S.-A. et al. (eds.)
pp 49-52
ISCB, 2009
[Abstract]Modal Systems: Specification, Refinement and Realisation
In Formal Methods and Software Engineering. 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009
Breitman, K. and Cavalcanti, A. (eds.)
Lecture Notes in Computer Science, 5885, pp 601-619
Springer-Verlag , 2009
Modeling biomedical experimental processes with OBI
In The 12th Annual Bio-Ontologies Meeting, June 28, 2009, colocated with ISMB 2009, Stockholm, Sweden
Lord, P., Shah, N., Sansone, S.-A. et al. (eds.)
pp 41-44
ISCB, 2009
Assessment in Software Engineering- Towards a new Framework for Group Projects
In Proceedings of the ICEE & ICEER 2009 Korea International Conference on Engineering Education and Research, 23-28 August 2009, Seoul, Korea
Kim, H.S. (ed.)
pp 13-18
Se Yung Lim, Korea University of Technology and Education, 2009
[Abstract]Engineering Crowd Interaction within Smart Environments
In EICS'09. Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, July 15-17, 2009, Pittsburgh, PA, USA
Calvary, G., Graham, T.C.N. and Gray, P. (eds.)
pp 117-122
ACM , 2009
Structuring Specifications with Modes
In Proceedings. 2009 Fourth Latin-American Symposium on Dependable Computing, LADC 2009, 1-4 September 2009, João Pessoa, Brazil
pp 81-88
IEEE Computer Society, 2009
[Abstract]Flat Arbiters
In Proceedings. Ninth International Conference on Application of Concurrency to System Design, 1-3 July, 2009, Augsburg, Germany
Edwards, S., Lorenz, R. and Vogler, W. (eds.)
pp 99-108
IEEE Computer Society , 2009
Notes : Selected as one of best papers of ACSD 2009.
Media Crate: Tangible Live Media Production Interface
In TEI'09. Third International Conference on Tangible and Embedded Interaction, February 16-18, 2009, Cambridge, UK . Conference Proceedings
Villar, N., Izadi, S., Fraser, M. et al. (eds.)
pp 255-262
ACM, 2009
Distributed Systems Security Governance, a SOA Based Approach
In Trust Management III. Third IFIP WG 11.11 International Conference, IFIPTM 2009, West Lafayette, IN, USA, June 15-19, 2009
Ferrari, E., Li, N., Bertino, E. et al. (eds.)
IFIP Advances in Information and Communication Technology, 300, pp 302-305
Springer, 2009
A Short Film About VJs: Using Documentary Film to Engage Performers in Design
In CHI 2009: Digital Life, New World. The 27th Annual CHI Conference on Human Factors in Computing Systems, April 4-9, 2009 in Boston, USA
pp 3491-3492
ACM, 2009
Notes : Conference proceedings and extended abstracts on DVD.
Annotation of SBML Models Through Rule-Based Semantic Integration
In The 12th Annual Bio-Ontologies Meeting, June 28, 2009. Colocated with ISMB 2009, Stockholm, Sweden
Lord, P., Shah, N., Sansone, S.-A. et al. (eds.)
pp 49-52
2009
Notes : The full conference proceedings are available here: http://bio-ontologies.org.uk/download/Bio-Ontologies2009.pdf
[Abstract]On the Feasibility of Bilaterally Agreed Accounting of Resource Consumption
In Service-Oriented Computing - ICSOC 2008 Workshops ..., Sydney, Australia, December 1, 2008. Revised Selected Papers
Feuerlicht, G. and Lamersdorf, W. (eds.)
Lecture Notes in Computer Science, 5472, pp 270-283
Springer-Verlag, 2009
[Abstract]WORKCRAFT - A Framework for Interpreted Graph Models
In Applications and Theory of Petri Nets. 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009
Franceschinis, G. and Wolf, K. (eds.)
Lecture Notes in Computer Science, 5606 , pp 333-342
Springer-Verlag, 2009
Notes : Tool paper
Checking pi-Calculus Structural Congruence is Graph Isomorphism Complete
In Proceedings. Ninth International Conference on Application of Concurrency to System Design, 1-3 July, 2009, Augsburg, Germany
Edwards, S., Lorenz, R. and Vogler, W. (eds.)
pp 70-79
IEEE Computer Society , 2009
Notes : ACSD 2009.
Interaction Engineering Using the IVY Tool
In EICS'09. Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, July 15-17, 2009, Pittsburgh, PA, USA
Calvary, G., Graham, T.C.N. and Gray, P. (eds.)
pp 35-44
ACM , 2009
Mean Value Analysis for a Class of PEPA Models
In Computer Performance Engineering. 6th European Performance Engineering Workshop, EPEW 2009, London, UK, July 9-10, 2009
Bradley, J. T. (ed.)
Lecture Notes in Computer Science, 5652, pp 59-72
Springer-Verlag, 2009
Evaluating a Peer-to-Peer Database Server Based on BitTorrent
In Dataspace: The Final Frontier. 26th British National Conference on Databases, BNCOD 26, Birmingham, UK, July 7-9, 2009
Sexton, A.P. (ed.)
Lecture Notes in Computer Science, 5588, pp 171-179
Springer-Verlag, 2009
E-Commerce with Rich Clients and Flexible Transactions
In Proceedings. First International Workshop on Software Technologies for Future Dependable Distributed Systems, March 17-18, 2009, Tokyo, Japan
pp 73-77
IEEE Computer Society, 2009
[Abstract]An Infrastructure for Experience Centered Agile Prototyping of Ambient Intelligence
In EICS'09. Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, July 15-17, 2009, Pittsburgh, PA, USA
Calvary, G., Graham, T.C. N. and Gray, P. (eds.)
pp 79-84
ACM , 2009
A Knowledge Base for Justified Information Security Decision-Making
In ICSOFT 2009. Proceedings of the 4th International Conference on Software and Data Technologies, Sofia, Bulgaria, July 26-29, 2009
Shishkov, B., Cordeiro, J. and Ranchordas, A. (eds.)
2, pp 326-331
INSTICC, 2009
Notes : ISBN: 978-989-674-010-8
[Abstract]Cardiovascular Risk Communication Software for Patients and Clinicians
In UK e-Science All Hands Meeting 2009. Past, Present and Future
pp 1-3
National e-Science Centre, 2009
Notes : Abstract and PowerPoint presentation only.
Meeting held 7th-9th December 2009, Oxford, UK.
Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware
In Proceedings. 14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009, 2-4 June 2009, Potsdam, Germany
pp 68-77
IEEE Computer Society, 2009
Comparing Methods for the Efficient Analysis of PEPA Models of Non-repudiation Protocols
In 15th International Conference on Parallel and Distributed Systems, December 8-11, Shenzhen, Guangdong, China
Werner, B
pp 821-827
IEEE Computer Society, 2009
Notes : ICPADS 2009.
Benchmarking Dependability of a System Biology Application
In Proceedings. 14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009, 2-4 June 2009, Potsdam, Germany
pp 146-153
IEEE Computer Society, 2009
Implementing a Rule-Based Contract Compliance Checker
In Software Services for e-Business and e-Society. 9th IFIP WG 6.1 Conference on e-Business, e-Services and e-Society, I3E 2009, Nancy, France, September 23-25, 2009
Godart, C., Gronau, N., Sharma, S. et al. (eds.)
IFIP Advances in Information and Communication Technology, 305, pp 96-111
Springer, 2009
Decision Support for Intelligent Traffic and Environment Management
In 16th ITS World Congress 2009, Stockholm, 21-25 September 2009
pp 1-8
VINNOVA, 2009
Notes : Paper no. 3888.
[Abstract]Streamlining Attacks on CAPTCHAs with a Computer Game
In IJCAI-09. Proceedings of the Twenty-First International Joint Conference On Artificial Intelligence, Pasadena, California, USA, 11-17 July 2009
Boutilier, C. (ed.)
3, pp 2095-2100
AAAI Press, 2009
[Abstract]Industrial Practice in Formal Methods: A Review
In FM 2009: Formal Methods. Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009
Cavalcanti, A. and Dams, D. (eds.)
Lecture Notes in Computer Science, 5850, pp 810-813
Springer-Verlag, 2009
[Abstract]Integration of full-coverage probabilistic functional networks with relevance to specific biological processes
In Data Integration in the Life Sciences: 6th International Workshop, DILS 2009, Manchester, UK, July 20-22, 2009
Paton, N.W., Missier, P. and Hedeler, C. (eds.)
Lecture Notes in Computer Science, 5647, pp 31-46
Springer, 2009
SUSTAINABLE NETWORK MANAGEMENT –THE INTEGRATION OF INTELLIGENT TRANSPORT SYSTEMS AND “GRID ENABLED” PERVASIVE SENSORS
In 16th ITS World Congress 2009, Stockholm, 21-25 September 2009
pp 1-12
VINNOVA, 2009
Notes : Paper no. 3366.
Newcastle University Computing Science author: V. Suresh.
[Abstract]Personalised Approach to Learner Autonomy
In Proceedings of the 20th Annual Conference for the Australasian Association for Engineering Education, 6-9 December 2009, The University of Adelaide, Adelaide, Australia
Kestell, C., Grainger, S. and Cheung, J. (eds.)
pp 150-157
Australasian Association for Engineering Education, 2009
Notes : Conference theme: Engineering the Curriculum.
[Abstract]A Reconfigurable Ferromagnetic Input Device
In UIST 2009. Proceedings of the 22nd Annual ACM Symposium on User Interface Software and Technology, Victoria, British Columbia, October 4-7, 2009
pp 51-54
ACM, 2009
Synthesis of PTL-nets with Partially Localised Conflicts
In Proceedings of the International Workshop on Petri Nets and Software Engineering, PNSE'09
Moldt, D. (ed.)
pp 247-254
University of Hamburg, Department of Informatics, 2009
Notes : Workshop held in Paris, France, June 22-23, 2009, as a satellite event of Petri Nets 2009.
Experiences of Using the PEPA Performance Modelling Tools with a non-repudiation protocol
In ESM 2009. The 2009 European Simulation and Modelling Conference, October 26-28, 2009, Leicester, UK
Al-Akaidi, M. (ed.)
pp 95-100
EUROSIS-ETI, 2009
Notes : ISBN:978-90-77381-52-6
An Information Security Ontology Incorporating Human-Behavioural Implications
In SIN'09. Proceedings of the Second International Conference on Security of Information and Networks, October 6-10, 2009, Famagusta, North Cyprus
Elçi, A., Orgun, M. A. and Chefranov, A. (eds.)
pp 46-55
ACM, 2009
[Abstract]Fast Generation of Scale Free Networks with Directed Arcs
In Computer Performance Engineering. 6th European Performance Engineering Workshop, EPEW 2009, London, UK, July 9-10, 2009
Bradley, J.T. (ed.)
Lecture Notes in Computer Science , 5652, pp 131-148
Springer-Verlag, 2009
Minimal Regions of ENL-transition Systems
In Workshop on Concurrency, Specification, and Programming, CS&P 2009, Krakow-Przegorzaly, Poland, 28-30 September 2009
1, pp 303-314
Warsaw University, 2009
An Approach to State Space Reduction for Systems with Dynamic Process Creation
In 2009 24th International Symposium on Computer and Information Sciences, September 14-16, 2009, Middle East Technical University, North Cyprus Campus
Vural, F.Y., Yazici, A., Toroslu, H. et al. (eds.)
pp 543-548
IEEE, 2009
Notes : DOI: 10.1109/ISCIS.2009.5291864
2008
A Peer-to-Peer Database Server based on BitTorrent
In UK e-Science All Hands Meeting 2008, 8-11 September, Edinburgh, UK
National e-Science Centre, 2008
Notes : Only the PowerPoint slides are currently available
ZigBee for Intelligent Transport System Applications
In Road Transport Information and Control - RTIC 2008 and ITS United Kingdom Members' Conference, 20-22 May 2008, Manchester, UK
pp 1 - 7
Institution of Engineering and Technology and Intelligent Transport Systems UK, 2008
Notes : Proceedings on CD-ROM. Session 10, Paper no. 6.
An Architecture for Non Functional Properties Management in Distributed Computing
In DCSOFT 2008. Proceedings of the Doctoral Consortium on Software and Data Technologies, Porto, Portugal, July 5-8, 2008. Held in conjunction with 3rd International Conference on Software and Data Technologies (ICSOFT 2008)
Helfert, M. (ed.)
pp 26-37
INSTICC, 2008
[Abstract]Organised Chaos - Learning Outcomes from trialling Active Learning Methods in Computing Science
In International Conference in Engineering Education. New Challenges in Engineering Education and Research in the 21st Century, 27-31 July 2008, Pécs-Budapest, Hungary
Várady, G. (ed.)
pp 1-11
Pollack Mihály Faculty of Engineering, University of Pécs, 2008
Notes : ICEE 2008. Proceedings on CD-ROM.
[Abstract]Heterogeneous Sensor Integration for Intelligent Transport Systems
In Road Transport Information and Control - RTIC 2008 and ITS United Kingdom Members' Conference, 20-22 May 2008, Manchester, UK
pp 1 - 8
Institution of Engineering and Technology and Intelligent Transport Systems UK, 2008
Notes : Proceedings on CD-ROM. Session 7, Paper no. 2.
Fluid Flow Analysis of a Model of a Secure Key Distribution Centre
In 24th UK Performance Engineering Workshop, 3-4 July 2008, Department of Computing, Imperial College London
Argent-Katwala, A., Dingle, N. and Harder, U.
pp 160-171
UKPEW, 2008
Notes : Proceedings of UKPEW 2008 published in Imperial College London, Department of Computing, Technical Report Series, no, DTR08-9.
Resources for Situated Actions
In Interactive Systems: Design, Specification and Verification. 15th International Workshop, DS-VIS 2008, Kingston, Canada, July 16-18, 2008
Graham, T.C.N. and Palanque, P. (eds.)
Lecture Notes In Computer Science, 5136, pp 194-207
Springer, 2008
Modelling and Verification of Timed Interaction and Migration
In Fundamental Approaches to Software Engineering. 11th International Conference, FASE 2008. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008
Fiadeiro, J.L. and Inverardi, P. (eds.)
Lecture Notes in Computer Science, 4961, pp 215-229
Springer- Verlag, 2008
Improving Assessment in Software Engineering Student Team Projects
In 9th Annual Conference of the Subject Centre for Information and Computer Sciences, 26th-28th August 2008, Liverpool Hope University
White, H. (ed.)
pp 133-139
Higher Education Academy, Subject Centre for ICS, 2008
[Abstract]COTraSE: Connection Oriented Traceback in Switched Ethernet
In Proceedings. The Fourth International Symposium on Information Assurance and Security, September 8-10, 2008, Napoli, Italy
Rak, M., Abraham, A. and Casola, V. (eds.)
pp 198-204
IEEE Computer Society, 2008
Notes : IAS 2008.
[Abstract]A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks
In 2nd International Meeting on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2008, Iaşi, Romania, September 3-4, 2008
Ciobanu, G. (ed.)
pp 38-52
Alexandru Ioan Cuza University, Iaşi, Romania, 2008
Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM
In FM 2008: Formal Methods. 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008
Cuellar, J., Maibaum, T. and Sere, K. (eds.)
Lecture Notes in Computer Science , 5014, pp 181-197
Springer-Verlag, 2008
Application of ZigBee Technology in Intra-Vehicle and Vehicle-to-Infrastructure Communications
In 2nd European ZigBee Developers’ Conference, June 24-25, 2008, Munich, Germany
pp 1-10
ZigBee Alliance, 2008
Notes : Proceedings on CD-ROM. Session 4, Paper no. 1.
Systematic analysis of control panel interfaces using formal tools
In Interactive Systems: Design, Specification and Verification. 15th International Workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008
Graham, T.C.N. and Palanque, P. (eds.)
Lecture Notes in Computer Science, 5136, pp 72-85
Springer, 2008
Integrating Smartdust into the Embedded Middleware in Mobility Applications (EMMA) Project
In 4th IET International Conference on Intelligent Environments, IE08, 21-22 July 2008, University of Washington, Seattle, USA
pp 1-8
Institution of Engineering and Technology, 2008
Notes : Proceedings on CD-ROM. Session 2b, Paper no. 0108.
Using Collaborative Technology in CS Education to facilitate Cross-Site Software Development
In IMSCI'08. The 2nd International Multi-Conference on Society, Cybernetics and Informatics, June 29th - July 2nd, 2008, Orlando, Florida, USA
Malpica, F., Tremante, A., Welsch, F. et al. (eds.)
1, pp 201-206
International Institute of Informatics and Systemics, 2008
Notes : Awarded "Best paper" at Innovative Curriculum and Teaching Techniques session of 6th International Conference on Education and Information Systems, Technologies and Applications: EISTA 2008. Published in IMSCI'08 Multi-Conference proceedings. Vol. 1.
Evaluation of P2P Algorithms for Probabilistic Trust Inference in a Web of Trust
In Computer Performance Engineering. 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings
Thomas, N. and Juiz, C. (eds.)
Lecture Notes in Computer Science, 5261, pp 242-256
Springer-Verlag, 2008
[Abstract]Allocation and Admission Policies for Service Streams
In 16th annual IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS), September 8-10, 2008, Baltimore, MD
pp 155-162
IEEE, 2008
Notes : Best paper award.
[Abstract]Secure & Rapid Composition of Infrastructure Services in the Cloud
In The Second International Conference on Sensor Technologies and Applications, SENSORCOMM 2008, 25-31 August 2008, Cap Esterel, France
Benveniste, M. et al. (eds.)
pp 770-775
IEEE Computer Society, 2008
[Abstract]Derivation of Monotonic Covers for Standard-C Implementation Using STG Unfoldings
In Proceedings. 14th IEEE International Symposium on Asynchronous Circuits and Systems, ASYNC 2008, 7-10 April 2008, Newcastle upon Tyne, United Kingdom
pp 141-150
IEEE Computer Society , 2008
[Abstract]Towards Efficient Verification of Systems with Dynamic Process Creation
In Theoretical Aspects of Computing - ICTAC 2008. 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008
Fitzgerald, J.S., Haxthausen, A.E. and Yenigun, H. (eds.)
Lecture Notes in Computer Science, 5160, pp 186-200
Springer-Verlag, 2008
The Impact of Unavailability on the Effectiveness of Enterprise Information Security Technologies
In Service Availability. 5th International Service Availability Symposium, ISAS 2008, Tokyo, Japan, May 19-21, 2008
Nanya, T., Maruyama, F., Pataricza, A. et al.(eds.)
Lecture Notes in Computer Science, 5017, pp 43-58
Springer, 2008
[Abstract]Friends or foes? - A conceptual analysis of self-adaptation and IT change management
In Proceedings of the 2008 International Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS'08. (Co-located with the International Conference on Software Engineering, ICSE 2008, May 10-18, 2008, Leipzig, Germany)
pp 121-128
ACM, 2008
Approximate solution of a PEPA model of a key distribution centre
In Performance Evaluation: Metrics, Models and Benchmarks. SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008
Kounev, S., Gorton, I. and Sachs, K. (eds.)
Lecture Notes in Computer Science, 5119, pp 44-57
Springer-Verlag, 2008
A Peer-to-Peer Database Server
In Sharing Data, Information and Knowledge. 25th British National Conference on Databases, BNCOD 25 , Cardiff, UK, July 7-10 2008
Gray, A., Jeffery, K. and Shao, J. (eds.)
Lecture Notes in Computer Science, 5071, pp 181-184
Springer-Verlag, 2008
Synthesis of Nets with Step Firing Policies
In Applications and Theory of Petri Nets. 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008
van Hee, K.M. and Valk, R. (eds.)
Lecture Notes in Computer Science, 5062, pp 112-131
Springer-Verlag, 2008
Notes : Best Paper Award
Cloud Computing for e-Science with CARMEN
In IBERGRID. 2nd Iberian Grid Infrastructure Conference Proceedings, Porto, Portugal, May 12-14, 2008
Silva, F., Barreira, G. and Ribeiro, L. (eds.)
pp 3-14
Netbiblo, 2008
Notes : Invited talk.
[Abstract]CARMEN: a Scalable Science Cloud
In Google Seattle Conference on Scalability 2008, June 14.
pp 1-2
Google Inc., 2008
Notes : Abstract only on conference site.
Video of full talk is available on YouTube.
http://www.youtube.com/watch?v=2m4EvnlgL8Q
[Abstract]A Practical Approach to Verification of Mobile Systems Using Net Unfoldings
In Applications and Theory of Petri Nets. 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008
van Hee, K.M. and Valk, R. (eds.)
Lecture Notes in Computer Science, 5062, pp 327-347
Springer-Verlag, 2008
Notes : Selected as one of best papers of ATPN 2008.
Logging Based IP Traceback in Switched Ethernets
In Proceedings of the first European Workshop on System Security, EUROSEC 08, 31 March 2008, Glasgow
pp 1-7
ACM, 2008
Notes : Affiliated with EuroSys 2008.
Proceedings on CD-ROM.
[Abstract]Trust Economics Feasibility Study
In 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2008, June 24-27, 2008, Anchorage, Alaska
pp A45-A50
IEEE Computer Society, 2008
Notes : Newcastle authors: S.E. Parkin and A. van Moorsel.
Paper presented at International Workshop on Resilience Assessment and Dependability Benchmarking (RADB 2008).Published in DSN Supplement on CD-ROM.
[Abstract]How to Enhance UDDI with Dependability Capabilities
In Proceedings. 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July-1 August 2008, Turku, Finland
pp 1023-1028
IEEE Computer Society, 2008
Factoring user experience into the design of ambient and mobile systems
In Engineering Interactive Systems. EIS 2007 Joint Working Conferences EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007
Gulliksen, J., Harning, M.B., Palanque, P. et al. (eds.)
Lecture Notes in Computer Science, 4940, pp 243-259
Springer, 2008
Notes : DOI 10.1007/978-3-540-92698-6_15
Considering context and users in interactive systems analysis
In Engineering Interactive Systems. EIS 2007 Joint Working Conferences EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007
Gulliksen, J., Harning, M.B., Palanque, P. et al. (eds.)
Lecture Notes in Computer Science, 4940, pp 193-209
Springer, 2008
Notes : DOI 10.1007/978-3-540-92698-6_12
Experimenting with exception propagation mechanisms in service-oriented architecture
In WEH '08. Proceedings of the Fourth International Workshop on Exception Handling. Co-located with the Sixteenth ACM SIGSOFT International Symposium on the Foundations of Software Engineering, November 14, 2008, Atlanta, Georgia, USA
Garcia, A., Kienzle, J., Romanovsky, A. et al. (eds.)
pp 1-7
ACM, 2008
A Cost Model Analysis of a Secure Key Distribution Centre
In Proceedings of the 9th International Conference for Young Computer Scientists, November 18-21, 2008, Zhang Jia Jie, Hunan, China
Wang, G. , Chen, J. , Fellows, M. R. et al. (eds.)
pp 1969-1974
IEEE Computer Society, 2008
Notes : ICYCS 2008.
Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification
In Abstract State Machines, B and Z. First International Conference, ABZ 2008, London, UK, September 16-18, 2008
Börger, E., Butler, M., Bowen, J.P. et al. (eds.)
Lecture Notes in Computer Science, 5238, pp 360-377
Springer-Verlag, 2008
Some Interdisciplinary Observations about Getting the "Right" Specification
In Verified Software: Theories, Tools, Experiments. First IFIP TC2/WG2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005. Revised Selected Papers and Discussions
Meyer, B. and Woodcock, J. (eds.)
Lecture Notes in Computer Science, 4171, pp 64-69
Springer, 2008
Securing Passfaces for Description
In SOUPS 2008. Proceedings of the Fourth Symposium on Usable Privacy and Security, Pittsburgh, PA, USA, July 23-25, 2008
ACM International Conference Proceedings, 145, pp 24-35
ACM, 2008
[Abstract]Gaze-Contingent Passwords at the ATM
In Proceedings of COGAIN 2008: Communication , Environment and Mobility Control by Gaze, 2-3 September 2008, Prague
Istance, H., Stepankova, O. and Bates, R. (eds.)
pp 59-62
COGAIN NoE, 2008
Refinement Patterns for Fault Tolerant Systems
In Proceedings. Seventh European Dependable Computing Conference, EDCC-7, 7-9 May 2008, Kaunas, Lithuania
pp 167-176
IEEE Computer Society, 2008
Dynamic Server Allocation for Power and Performance
In Performance Evaluation: Metrics, Models and Benchmarks. SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008
Kounev, S., Gorton, I. and Sachs, K. (eds.)
Lecture Notes in Computer Science , 5119, pp 247-261
Springer-Verlag, 2008
Runtime Evolution for Online Gaming: A Case Study using JBoss and Drools
In GDTW 2008. 6th International Game Design and Technology Workshop and Conference, 12-13 November 2008, Liverpool, UK
Merabti, M. (ed.)
pp 55-65
School of Computing and Mathematical Sciences, Liverpool John Moores University, 2008
[Abstract]A Rule-Based Notation to Specify Executable Electronic Contracts
In Rule Representation, Interchange and Reasoning on the Web. International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31,2008
Bassiliades, N., Governatori, G and Pashke, A. (eds.)
Lecture Notes in Computer Science, 5321, pp 81-88
Springer-Verlag, 2008
Notes : Extended version available as Technical Report CS-TR 1115 at http://www.cs.ncl.ac.uk/publications/trs/papers/1115.pdf
Group Coordination and Negotiation through Spatial Proximity Regions around Mobile Devices on Augmented Tabletops
In 3rd IEEE International Workshop on Horizontal Interactive Human Computer Systems, 2008, TABLETOP 2008, 1-3 October 2008, Amsterdam, The Netherlands
pp 1-8
IEEE, 2008
A Low-cost Attack on a Microsoft CAPTCHA
In CCS'08. Proceedings of the 15th ACM Conference on Computer and Communications Security, Alexandria, Virginia, USA, October 27-31, 2008
Syverson, P., Jha, S. and Zhang, X. (eds.)
pp 543-554
ACM, 2008
Efficient Resource Management for Game Server Hosting
In 11th IEEE Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, Orlando, Florida, May 5-7, 2008
pp 593-596
IEEE Computer Society, 2008
[Abstract]Workshop on Architecting Dependable Systems (WADS 2008)
In 2008 IEEE International Conference on Dependable Systems and Networks with FTCS and DCC (DSN), June 24-27, 2008, Anchorage, Alaska
Koopman, P.J. (ed.)
pp 548 - 549
IEEE Computer Society , 2008
Notes : 38th Conference, DSN 2008.
Reflections on , and predictions for, support systems for the development of programs
In 2008 23rd IEEE/ACM International Conference on Automated Software Engineering, 15-19 September 2008, L'Aquila, Italy
pp 7-8
IEEE, 2008
Notes : ASE 2008
A semi autonomic infrastructure to manage non functional properties of a service
In UK e-Science All Hands Meeting 2008, 8-11 September, Edinburgh, UK
pp
National e-Science Centre, 2008
Notes : Only the PowerPoint slides are currently available.
A Fluid Flow Approach to Usability Analysis of Multi-user Systems
In Engineering Interactive Systems 2008. Second Conference on Human-Centered Software Engineering, HCSE 2008 and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008
Forbrig, P. and Paternò, F. (eds.)
Lecture Notes in Computer Science, 5247, pp 166–180
Springer, 2008
Usability of CAPTCHAs or usability issues in CAPTCHA design
In SOUPS 2008. Proceedings of the Fourth Symposium on Usable Privacy and Security, Pittsburgh, PA, USA, July 23-25, 2008
ACM International Conference Proceedings, 145, pp 44-52
ACM, 2008
Scalable QoS Content-Aware Load Balancing Algorithm for a Web Switch Based on Classical Policies
In Proceedings. 22nd International Conference on Advanced Information Networking and Applications, AINA 2008, Gino-wan, Okinawa, Japan, 25-28 March 2008
pp 934-941
IEEE Computer Society , 2008
2007
On Contract Compliant Business Process Coordination
In NWPT'07/FLACOS'07 Workshop Proceedings, October 9-12, 2007, Oslo, Norway
Johnsen, E.B., Owe, O. and Schneider, G. (eds.)
pp 113-115
Universitetet i Oslo, Institutt for informatikk, 2007
Notes : Proceedings published as Universitetet i Oslo, Institutt for informatikk, Research Report 366.
[Abstract]The CARMEN e-Science pilot project: Neuroinformatics work packages
In Proceedings of the UK e-Science All Hands Meeting 2007, Nottingham, UK, 10-13 September
Cox, S.J. (ed.)
pp 591-598
National e-Science Centre, 2007
Notes : Proceedings on CD-ROM.
Exploring an option space to engineer a ubiquitous computing system
In The Pre-proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems (FMIS 2007), Lancaster, UK, 4 September 2007
Curzon, P. and Cerone, A. (eds.)
pp 67-82
Queen Mary, University of London, Department of Computer Science, 2007
Notes : Pre-proceedings of FMIS 2007 available as Queen Mary, University of London, Department of Computer Science, Technical report RR-07-08.
Revised version of paper published in Electronic Notes in Theoretical Computer Science, vol. 208, pp.41-55, Elsevier, 2008.
Formal Engineering of XACML Access Control Policies in VDM++
In Formal Methods and Software Engineering. 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings
Butler, M., Hinchey, M. G. and Larrondo-Petrie, M. M. (eds.)
Lecture Notes in Computer Science, 4789, pp 37-56
Springer, 2007
Distributed Secure Systems: Then and Now
In Proceedings. Twenty-Third Annual Computer Security Applications Conference, ACSAC 2007, 10-14 December 2007, Miami Beach, Florida
pp 177-198
IEEE Computer Society, 2007
Efficient Automatic Resolution of Encoding Conflicts Using STG Unfoldings
In Seventh International Conference on Application of Concurrency to System Design, ACSD 2007, 10-13 July 2007, Bratislava, Slovak Republic
Basten, T., Juhas, G. and Shukla, S. (eds.)
pp 137-146
IEEE Computer Society , 2007
[Abstract]Output-Determinacy and Asynchronous Circuit Synthesis
In Seventh International Conference on Application of Concurrency to System Design, ACSD 2007, 10-13 July 2007, Bratislava, Slovak Republic
Basten, T., Juhas, G. and Shukla, S. (eds.)
pp 147-156
IEEE Computer Society, 2007
Notes : Selected as one of best papers of ACSD 2007.
[Abstract]On Rigorous Design and Implementation of Fault Tolerant Ambient Systems
In Proceedings. 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing , ISORC 2007, 7-9 May, 2007, Santorini Island, Greece
pp 141-145
IEEE Computer Society, 2007
Names and Reference in User Interfaces
In People and Computers XXI. HCI...but not as we know it. Proceedings of HCI 2007. The 21st British HCI Group Annual Conference, University of Lancaster, UK, 3-7 September 2007
Rachovides, D. and Ramduny-Ellis, D. (eds.)
2, pp 107-110
British Computer Society, 2007
Mitigating Provider Uncertainty in Service Provision Contracts
In EMAGS 2007. Workshop on Economic Models and Algorithms for Grid Systems, September 19, 2007, Austin, Texas
pp 1-8
Institute of Information Systems and Mangement, Universität Karlsruhe, 2007
Notes : Also presented at PMCCS-8, the 8th International Workshop on Performability Modeling of Computer and Communication Systems, September 20-21, 2007, Edinburgh, Scotland.
[Abstract]Implementing Business Conversations with Consistency Guarantees using Message-oriented Middleware
In 11th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2007, 15-19 October 2007, Annapolis, Maryland, USA
pp 51-62
IEEE Computer Society, 2007
[Abstract]A Message Oriented Middleware Solution Enabling Non-repudiation Evidence Generation for Reliable Web Services
In Service Availability. 4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21-22, 2007. Proceedings
Malek, M., Reitenspeiß, M. and van Moorsel, A. (eds.)
Lecture Notes in Computer Science, 4526, pp 9-19
Springer, 2007
[Abstract]An advantage of chaotic neural dynamics
In 2007 International Joint Conference on Neural Networks, IJCNN 2007 Conference Proceedings, August 12-17, 2007, ... Orlando, Florida, USA
pp 1417-1422
IEEE, 2007
Validation Support for Distributed Real-Time Embedded Systems in VDM++
In Proceedings of HASE 2007. 10th IEEE High Assurance Systems Engineering Symposium, 14-16 November, 2007, Dallas, Texas, USA
Cukic, B. and Dong, J. (eds.)
pp 331-340
IEEE Computer Society, 2007
Balancing Insight and Effort: The Industrial Uptake of Formal Methods
In Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays
Jones, C.B., Liu, Z., Woodcock, J. (eds.)
Lecture Notes in Computer Science, 4700, pp 237-254
Springer, 2007
Perception-Based Lighting-by-Example
In Theory and Practice of Computer Graphics 2007. Eurographics UK Chapter Proceedings. University of Wales, Bangor, UK, 13th-15th June 2007
Fellner, D. (ed.)
pp 61-68
Eurographics Association, 2007
Resilience Modelling Through Discrete Event and Continuous Time Co-Simulation
In 37th annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007, 25-28 June 2007, Edinburgh, UK
pp 350-351
IEEE Computer Society, 2007
Notes : Fast abstract in DSN 2007 Supplemental volume.
A Comparative Evaluation of EJB Implementation Methods
In 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, ISORC 2007, 7-9 May 2007 Santorini Island , Greece
pp 204-213
IEEE Computer Society, 2007
Notes : The paper presents the MSc dissertation work of Andreas Stylianou who was an SDIA student (2005-06). He currently works as a software engineer Amdocs Ltd., Cyprus. Giovanna Ferrari co-supervised this work and is currently working as an SAP consultant in HP, Newcastle.
[Abstract]Compositional Abstractions for Interacting Processes
In Proceedings of the International Multiconference on Computer Science and Information Technology, October 15-17, 2007, Wisla, Poland
2, pp 745-754
Polish Information Processing Society , 2007
Notes : Paper presented at International Conference on Principles of Information Technology and Applications session of 2007 Multiconference.
A Metadata-Based Architectural Model for Dynamically Resilient Systems
In 22nd ACM Symposium on Applied Computing, Seoul, Korea, March 11-15, 2007
pp 566-573
ACM, 2007
[Abstract]The Rigorous Implementation of a Fair Exchange Protocol for Non-repudiable Web Service Interactions - a case study
In Second International Workshop on Services Engineering. In conjunction with the International Conference on Data Engineering - ICDE'07, April 15-16 & 20, 2007, Istanbul, Turkey
Oria, V., Elmagarmid, A., Lochovsky, F. et al. (eds.)
pp 307-314
IEEE , 2007
Notes : SEIW 2007
[Abstract]Behaviour-Preserving Transition Insertions in Unfolding Prefixes
In Petri Nets and Other Models of Concurrency - ICATPN 2007. 28th International Conference ... Siedlce, Poland, June 25-29, 2007
Kleijn, J. and Yakovlev, A. (eds.)
Lecture Notes in Computer Science, 4546, pp 204-222
Springer, 2007
A Framework for Open Distributed System Design
In Proceedings. COMPSAC 2007, 24-27 July 2007, Beijing, China
2, pp 658-674
IEEE Computer Society, 2007
Notes : 31st Annual International Computer Software and Applications Conference
Lighting-by-Example with Wavelets
In Smart Graphics. 8th International Symposium, SG 2007, Kyoto, Japan, June 25-27, 2007
Butz, A., Fisher, B., Kruger, A. et al. (eds.)
Lecture Notes in Computer Science, 4569, pp 110-123
Springer, 2007
Architecting Fault Tolerant Systems
In Working IEEE/IFIP Conference on Software Architecture, Mumbai, India, January 6-9, 2007
pp 43
IEEE Computer Society, 2007
Notes : Abstract of a tutorial presented at WICSA'07.
ISBN 978-0-7695-2744-4
Combining Decomposition and Unfolding for STG Synthesis
In Petri Nets and Other Models of Concurrency - ICATPN 2007. 28th International Conference ... Siedlce, Poland, June 25-29, 2007
Kleijn, J. and Yakovlev, A. (eds.)
Lecture Notes in Computer Science, 4546, pp 223-243
Springer, 2007
Modelling secure secret key exchange using stochastic process algebra
In 23rd UK Performance Engineering Workshop, 9-10 July 2007, Edge Hill University, Ormskirk, UK
Pereira, E. and Pereira, R. (eds.)
pp 50-57
Edge Hill University, 2007
Notes : UKPEW'07.
Breaking Visual CAPTCHAs with Naive Pattern Recognition Algorithms
In Proceedings. Twenty-Third Annual Computer Security Applications Conference, ACSAC 2007, 10-14 December 2007, Miami Beach, Florida
pp 279-291
IEEE, 2007
Smartdust and ZigBee for transport applications
In 1st European ZigBee Developers’ Conference, June 18-20, 2007, Munich, Germany
pp 1-8
ZigBee Alliance, 2007
Notes : Proceedings on CD-ROM. Session 5 : Applications, Article 4.
Adaptive SSL: Design, Implementation and Overhead Analysis
In First International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2007, 9-11 July 2007, Cambridge, Massachusetts
Di Marzo Serugendo, G., Martin-Flatin, J.-P., Jelasity, M. et al. (eds.)
pp 289-292
IEEE Computer Society, 2007
Notes : submission for Applications Track.
[Abstract]The ReSIST Resilience Knowledge Base
In 37th annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007, 25-28 June 2007, Edinburgh, UK
pp 362-363
IEEE Computer Society, 2007
Notes : Fast abstract in DSN 2007 Supplemental volume
[Abstract]Optimal Dynamic Server Allocation in Systems with On/Off Sources
In Formal Methods and Stochastic Models for Performance Evaluation. Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 2007
Wolter, K. (ed.)
Lecture Notes in Computer Science, 4748, pp 186-199
Springer-Verlag, 2007
[Abstract]Is FacePIN Secure and Usable?
In SOUPS 2007. Third Symposium on Usable Privacy and Security, Pittsburgh, PA, July 18-20, 2007
ACM International Conference Proceedings, 229, pp 165 - 166
ACM Press, 2007
Notes : Poster Session
[Abstract]Graphical Passwords & Qualitative Spatial Relations
In SOUPS 2007. Third Symposium on Usable Privacy and Security, Pittsburgh, PA, July 18-20, 2007
ACM International Conference Proceedings, 229, pp 161-162
ACM Press, 2007
Notes : Poster Session
[Abstract]Coordinated Atomic Actions for Dependable Distributed Systems: the Current State in Concepts, Semantics and Verification Means
In Proceedings. 18th IEEE International Symposium on Software Reliability Engineering, ISSRE 2007, Trollhättan, Sweden, 5-9 November 2007
pp 29-38
IEEE Computer Society, 2007
Evolutionary Optimization of Parameters for Distributed Virtual Environments
In IEEE Congress on Evolutionary Computation , CEC 2007, Singapore, 25-28 September, 2007
pp 1390-1397
IEEE, 2007
Motifs and modules in fractured functional yeast networks
In IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology ( CIBCB 2007 ), 1-5 April 2007
pp 189-196
IEEE, 2007
Making Computing Science Students More Employable with Problem-Based Learning and Cross-Site Teamwork
In International Conference on Engineering Education and Research (iCEER) 2007, Melbourne, Australia, 2-7 December 2007
International Network for Engineering and Education Research, 2007
Notes : Proceedings on CD-ROM.
Session : Industry, Problem and Project Based Learning. Paper no. 5. 11 pp.
[Abstract]A Cross-Layer Framework Design for the Embedded Middleware in Mobility Applications (EMMA) Project
In Proceedings of the19th IASTED International Conference on Parallel and Distributed Computing and Systems, Cambridge, Massachusetts, USA, November 19-21, 2007
Zheng, S. Q. (ed.)
pp 504-508
ACTA Press, 2007
Notes : PDCS 2007. Special Session: Issues in Next Generation Internet.
Synthesis of Elementary Net Systems with Context Arcs and Localities
In Petri Nets and Other Models of Concurrency- ICATPN 2007. 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007
Kleijn, J. and Yakovlev, A. (eds.)
Lecture Notes in Computer Science, 4546, pp 281-300
Springer-Verlag, 2007
Deriving Specifications for Systems That are Connected to the Physical World
In Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjørner and Zhou Chaochen on the Occasion of Their 70th Birthdays
Jones, C.B., Liu, Z. and Woodcock, J. (eds.)
Lecture Notes in Computer Science, 4700, pp 364-390
Springer-Verlag, 2007
Failures: Their Definition, Modelling and Analysis
In Theoretical Aspects of Computing - ICTAC 2007. 4th International Colloquium, Macao, China, September 26-28, 2007
Jones, C.B., Liu, Z. and Woodcock, J. (eds.)
Lecture Notes in Computer Science, 4711, pp 260-274
Springer-Verlag, 2007
A Formal Approach to Dependable Evolution of Access Control Policies in Dynamic Collaborations
In 37th annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007, 25-28 June 2007, Edinburgh, UK
pp 352-353
IEEE Computer Society, 2007
Notes : Fast abstract in DSN 2007 Supplemental volume.
Understanding programming language concepts via operational semantics
In Domain Modeling and the Duration Calculus. International Training School, Shanghai, China, September 17-21, 2007. Advanced Lectures
George, C.W., Liu, Z. and Woodcock, J. (eds.)
Lecture Notes in Computer Science, 4710, pp 177-235
Springer-Verlag, 2007
The CARMEN Neuroscience Server
In Proceedings of the UK e-Science All Hands Meeting 2007, Nottingham UK, 10th-13th September
Cox, S.J.(ed.)
pp 135-141
National e-Science Centre, 2007
Notes : Proceedings on CD-ROM.
ISBN 978-0-9553988-3-4
Crossmodal Ambient Displays
In People and Computers XX - Engage. Proceedings of HCI 2006
Bryan-Kinns, N. et al. (eds.)
pp 3-16
Springer, 2007
Notes : 20th BCS HCI Group Conference, in co-operation with ACM, held Queen Mary, University of London, 11-15 September 2006
Do background images improve "draw a secret" graphical passwords ?
In CCS'07. Proceedings of the 14th ACM Conference on Computer and Communications Security, Alexandria, Virginia, USA, October 29-November 2, 2007
De Capitani di Vimercati, S., Syverson, P. and Evans, D. (eds.)
pp 36-47
ACM, 2007
[Abstract]Modelling Mobility in High-level Petri Nets
In Seventh International Conference on Application of Concurrency to System Design, ACSD 2007, 10-13 July 2007, Bratislava, Slovak Republic
Basten, T., Juhas, G. and Shukla, S. (eds.)
pp 110-119
IEEE Computer Society, 2007
Workshop on Architecting Dependable Systems (WADS 2007)
In 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007, 25-28 June 2007, Edinburgh, UK
pp 805 - 806
IEEE Computer Society, 2007
Web Service Hosting and Revenue Maximization
In Proceedings of the Fifth IEEE European Conference on Web Services, 26-28 November 2007, Halle, Germany
Zimmermann, W., König-Ries, B. and Pahl, C. (eds.)
pp 45--54
IEEE Computer Society, 2007
Notes : ECOWS'07.
[Abstract]Cross-Layer Design for Information Dissemination in Wireless Sensor Networks: State-of-the-Art and Research Challenges
In 37th annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007, 25-28 June 2007, Edinburgh, UK
pp 13-18
IEEE Computer Society, 2007
Notes : DSN 2007 Supplemental volume
Optimizing Revenue: Service Provisioning Systems with QoS Contracts
In ICE-B 2007. Proceedings of the Second International Conference on E-Business, Barcelona, Spain, July 28-31, 2007
Felipe, J., Marca, D.A., Shishkor, B. et al. (eds.)
pp 187-191
INSTICC Press, 2007
Notes : Conference held as part of ICETE 2007 - International Joint Conference on E-Business and Telecommunications.
[Abstract]2006
A Scientific Document Management System for Neuroscience
In Fifteenth Annual Computational Neuroscience Meeting CNS*2006
pp 31
National Institute of Mental Health, 2006
Notes : Meeting held at University of Edinburgh.
Proceedings - abstracts only.
e-Science Tools for the Genomic Scale Characterisation of Bacterial Secreted Proteins
In Proceedings of the UK e-Science All Hands Meeting 2006, Nottingham, UK, 18th-21st September
Cox , S.J. (ed.)
pp 788-795
National e-Science Centre, 2006
Notes : Proceedings on CD-ROM.
Active Learning in Computing: Engaging Learners in a Cross-Site Team Project
In SOLSTICE Conference 2006, 3rd May 2006, Edge Hill, Ormskirk
pp 1-11
Edge Hill Centre for Excellence in Teaching and Learning, 2006
Notes : Proceedings on CD-ROM. Conference Papers, Session 7.
[Abstract]Modelling and Analysing Genetic Networks: From Boolean Networks to Petri Nets
In Computational Methods in Systems Biology. International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006
Priami, C. (ed.)
Lecture Notes in Bioinformatics, 4210, pp 127-141
Springer-Verlag, 2006
Software Engineering Students' Cross-Site Collaboration: An Experience Report
In 7th Annual Conference of the Subject Centre for Information and Computer Sciences, 29th-31st August 2006, Trinity College, Dublin
Steede, H. and Hackett, J. (eds.)
pp 95-100
Higher Education Academy, Subject Centre for ICS, 2006
[Abstract]Adding Dynamism to OGSA-DQP: Incorporating the DynaSOAr Framework in Distributed Query Processing
In Euro-Par 2006 Workshops: Parallel Processing. CoreGRID 2006, UNICORE Summit 2006, Petascale Computational Biology and Bioinformatics, Dresden, Germany, August 29-September 1, 2006. Revised Selected Papers
Lehner, W., Meyer, N., Streit, A. and Stewart, C. (eds.)
Lecture Notes in Computer Science, 4375, pp 22-33
Springer, 2006
Notes : Paper presented at CoreGRID Workshop on Grid Middleware
[Abstract]Fault tolerance and network integrity measures: the case of computer-based systems
In AISB '06. Adaptation in Artificial and Biological Systems
Kovacs, T. and Marshall, J.A.R. (eds.)
3, pp 90-97
Society for the Study of Artificial Intelligence and the Simulation of Behaviour, 2006
Notes : Convention held at University of Bristol, UK, 3rd-6th April 2006.
Server Allocation in Grid Systems with On/Off Sources
In Frontiers of High Performance Computing and Networking - ISPA 2006 Workshops ... Sorrento, Italy, December 4-7, 2006
Min, G., Di Martino, B,. Yang, L.T. et al. (eds.)
Lecture Notes in Computer Science, 4331, pp 897-906
Springer , 2006
Notes : Paper presented at International Workshop on Middleware Performance (WOMP 2006)
[Abstract]CAA-DRIP: a framework for implementing Coordinated Atomic Actions
In 17th International Symposium on Software Reliability Engineering, ISSRE 2006, November 7-10, 2006, Raleigh, North Carolina
pp 385-394
IEEE Computer Society, 2006
GOLD Infrastructure for Virtual Organisations
In UK e-Science All Hands Meeting 2006, Nottingham, UK, 18th-21st September
Cox, S.J. (ed.)
pp 11-20
National e-Science Centre, 2006
Notes : 5th Meeting
[Abstract]Secure and Provable Service Support for Human-Intensive Real-Estate Processes
In 2006 IEEE International Conference on Services Computing, SCC 2006, September 18-22, 2006, Chicago, Illinois
pp 495-502
IEEE Computer Society, 2006
Notes : Awarded 1st Place in the 2006 IEEE International Services Computing Contest.
[Abstract]On Using the CAMA Framework for Developing Open Mobile Fault Tolerant Agent Systems
In SELMAS 2006 Workshop , May 22-23, 2006, Shanghai, China, held as part of the 28th International Conference on Software Engineering, 2006
pp 29-35
ACM, 2006
Notes : DOI http://doi.acm.org/10.1145/1138063.1138070
Managing Missed Interactions in Distributed Virtual Environments
In Virtual Environments 2006: 12th Eurographics Symposium on Virtual Environments, Lisbon, Portugal, May 8th-10th, 2006
Hubbold, R. and Lin, M. (eds)
pp 27-34
Eurographics Association, 2006
Camera Control in Computer Graphics
In Eurographics 2006, September 4-8, 2006, Vienna, Austria
pp 89-114
Eurographics Association, 2006
Notes : State of the Art Report presented at Eurographics 2006 Conference
Context-Aware Exception Handling in Mobile Agent Systems: The MoCA Case
In SELMAS 2006 Workshop, May 22-23, 2006, Shanghai, China, held as part of the 28th International Conference on Software Engineering
pp 37-43
ACM, 2006
Fifth Workshop on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS)
In 28th International Conference on Software Engineering, 20-28 May 2006, Shanghai, China
pp 1022-1023
ACM, 2006
Notes : ICSE 2006
Strategies for Optimised STG Decomposition
In Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 28-30 June 2006, Turku, Finland
Goossens, K. and Petrucci, L. (eds)
pp 123-132
IEEE Computer Society , 2006
[Abstract]Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction Based on STG Unfoldings
In Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 28-30 June 2006, Turku, Finland
Goossens, K. and Petrucci, L. (eds)
pp 57-66
IEEE Computer Society, 2006
Notes : Selected as one of best papers of ACSD'06.
[Abstract]Introduction to the SELMAS 2006
In SELMAS 2006 Workshop, May 22-23, 2006, Shanghai, China, held as part of the 28th International Conference on Software Engineering
pp 1-4
ACM, 2006
Verification of Coordinated Exception Handling
In Applied Computing 2006: the 21st annual ACM Symposium on Applied Computing, Dijon, France, April 23-27, 2006
1, pp 680-685
ACM, 2006
A QoS-Negotiable Middleware System for Reliably Multicasting Messages of Arbitrary Size
In Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, ISORC 2006, 24-26 April 2006, Gyeongju, Korea
Lee, S., Brinkschulte, U., Thuraisingham, B. and Pettit, R.G. (eds)
pp 253-260
IEEE Computer Society, 2006
Quiescent Consensus in Mobile Ad-hoc Networks using Eventually Storage-Free Broadcasts
In Applied Computing 2006 : the 21st annual ACM Symposium on Applied Computing, Dijon, France, April 23-27, 2006
1, pp 670-674
ACM, 2006
Requirements of non-verbal communication in believable synthetic agents
In Symposium on Narrative AI and Games, 5th-6th April, 2006. (Held at AISB '06, Adaptation in Artificial and Biological Systems, University of Bristol)
Kovacs, T. and Marshall, J.A.R. (eds)
3, pp 62-69
Society for the Study of Artificial Intelligence and the Simulation of Behaviour, 2006
Dynamically Deploying Web Services on a Grid using Dynasoar
In Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, ISORC 2006, 24-26 April 2006, Gyeongju, Korea
Lee, S. , Brinkschulte, U., Thuraisingham, B. and Pettit, R.G. (eds)
pp 151-158
IEEE Computer Society, 2006
Opacity Generalised to Transition Systems
In Formal Aspects in Security and Trust. Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005.
Dimitrakos. T., Martinelli, F., Ryan, P.Y.A. and Schneider, S. (eds)
Lecture Notes in Computer Science, 3866, pp 81-95
Springer, 2006
Notes : Revised selected papers.
Towards a Petri Net Semantics for Membrane Systems
In Membrane Computing: 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005
Freund, R., Paun, G., Rozenberg, G. and Salomaa, A. (eds)
Lecture Notes in Computer Science, 3850, pp 292-309
Springer-Verlag, 2006
Notes : Revised selected and invited papers
Crossmodal Attention in Public-Private Displays
In ICPS 2006. IEEE International Conference on Pervasive Services, Lyon, France, June 26-29, 2006
pp 13-18
IEEE, 2006
Explorations in declarative lighting design
In Smart Graphics. 6th International Symposium, SG 2006, Vancouver, Canada, July 23-25, 2006
Butz, A., Fisher, B., Kruger, A. and Olivier, P. (eds.)
pp 160-171
Springer-Verlag, 2006
Perception-based Lighting Design
In Theory and Practice of Computer Graphics 2006. Eurographics UK Chapter Proceedings, University of Teesside, Middlesbrough, United Kingdom, 20th-22nd June 2006
Fellner, D. (ed.)
pp 63-69
Eurographics Association, 2006
A Performance Study on the Signal-On-Fail Approach to Imposing Total Order in the Streets of Byzantium
In 2006 International Conference on Dependable Systems and Networks, 25-28 June 2006, Philadelphia, Pennsylvania
pp 578-587
IEEE Computer Society, 2006
Notes : DSN 2006
[Abstract]Infinite Process Semantics of Inhibitor Nets
In Petri Nets and Other Models of Concurrency - ICATPN 2006. 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006
Donatelli, S. and Thiagarajan, P. S. (eds)
Lecture Notes in Computer Science, 4024, pp 282 - 301
Springer, 2006
Investigation of structural properties of hazard mitigation arguments
In Safety and Reliability for Managing Risk. Proceedings of the 15th European Safety and Reliability Conference (ESREL 2006), Estoril, Portugal, 18-22 September 2006
Guedes Soares, C. and Zio, E. (eds.)
3, pp 1869-1876
Taylor & Francis Group, 2006
A Petri Net Translation of p-Calculus Terms
In Theoretical Aspects of Computing - ICTAC 2006. Third International Colloquium , Tunis, Tunisia, November 20-24, 2006
Barkaoui, K., Cavalcanti, A. and Cerone, A. (eds.)
Lecture Notes in Computer Science , 4281, pp 138-152
Springer, 2006
The fast and the fair: a fault-injection-driven comparison of restart oracles for reliable web services
In Third International Conference on the Quantitative Evaluation of Systems, QEST 2006, Riverside, California, 11-14 September 2006
pp 375-384
IEEE Computer Society, 2006
Demonstration of safety in healthcare organisations
In Computer Safety, Reliability and Security. 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006
Gorski, J. (ed.)
Lecture Notes in Computer Science, 4166, pp 219-232
Springer, 2006
Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering
In IEEE-ISoLA 2006. Second International Symposium on Leveraging Applications of Formal Methods , Verification and Validation, 15-19 November 2006, Coral Beach Resort ( Paphos, Cyprus )
Margaria, T., Philippou, A. and Steffen, B. (eds.)
pp 90-97
IEEE, 2006
[Abstract]Maintaining consistency between loosely coupled services in the presence of timing constraints and validation errors
In ECOWS '06. European Conference on Web Services, 4-6 December 2006, Zurich, Switzerland
pp 148-157
IEEE Computer Society, 2006
[Abstract]Empirical and Analytical Evaluation of Systems with Multiple Unreliable Servers
In 2006 International Conference on Dependable Systems and Networks, 25-28 June 2006, Philadelphia, Pennsylvania (DSN 2006)
pp 517-525
IEEE Computer Society, 2006
[Abstract]Synchrony and Asynchrony in Membrane Systems
In Membrane Computing. 7th International Workshop, WMC 2006, Leiden, The Netherlands, July 17-21, 2006
Hoogeboom, H.J., Paun, G., Rozenberg, G. and Salomaa, A. (eds.)
Lecture Notes in Computer Science, 4361, pp 66-85
Springer , 2006
Notes : Invited lecture
Performance Modeling and Evaluation of E-Business Systems
In 39th Annual Simulation Symposium , April 2-6, 2006, Huntsville,Alabama
pp 135-142
IEEE Computer Society, 2006
[Abstract]On State Synchronization of Business Conversations
In 8th IEEE International Conference on E-Commerce and Technology (CEC 2006), June 26-29, 2006, San Francisco, California
pp 324-327
IEEE Computer Society, 2006
Notes : In proceedings of Joint Conference CEC2006, EEE 2006, WMCS 2006 and Joint Workshop BSN 2006, SoS4CO 2006
[Abstract]Applying Petri Net Unfoldings for Verification of Mobile Systems
In Fourth International Workshop on Modelling of Objects, Components and Agents. MOCA'06
Moldt, D. (ed.)
pp 161-178
Universität Hamburg, Department Informatik, 2006
Notes : MOCA'06 held 26th June 2006, Turku, Finland.
Proceedings published as Universität Hamburg, Department Informatik, Bericht FBI-HH-B-272/06
Looking Ahead in Open Multithreaded Transactions
In Proceedings. Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, ISORC 2006, 24-26 April 2006, Gyeongju, Korea
Lee, S. et al. (eds)
pp 53 - 63
IEEE Computer Society, 2006
Towards an Algebra of Abstractions for Communicating Processes
In Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 28-30 June 2006, Turku, Finland
Goossens, K. and Petrucci, L. (eds)
pp 239-250
IEEE Computer Society, 2006
Transition Systems of Elementary Net Systems with Localities
In CONCUR 2006 - Concurrency Theory. 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006
Baier, C. and Hermanns, H. (eds.)
Lecture Notes in Computer Science , 4137, pp 173 - 187
Springer , 2006
Experimental Analysis of the Correlation of HTTP GET invocations
In Formal Methods and Stochastic Models for Performance Evaluation. Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006
Horvath, A. and Telek, M. (eds.)
Lecture Notes in Computer Science, 4054, pp 226-237
Springer , 2006
Defining Criteria for Rating an Entity's Trustworthiness Based on Its Certificate Policy
In First International Conference on Availability, Reliability and Security, April 20-22, 2006, Vienna, Austria
pp 996-1003
IEEE Computer Society, 2006
Notes : ARES 2006
[Abstract]Performance analysis of Stochastic Process Algebra models using Stochastic Simulation
In IPDPS 2006. Proceedings, 20th International Parallel and Distributed Processing Symposium, April 25-29, 2006, Rhodes Island, Greece
pp 321
IEEE , 2006
Notes : Printed proceedings - abstract only. Full paper (10 pp.)on CD-ROM.
Modelling job allocation where service duration is unknown
In IPDPS 2006. Proceedings, 20th IEEE International Parallel and Distributed Processing Symposium, April 25-29, 2006, Rhodes Island, Greece
pp 322
IEEE , 2006
Notes : Printed proceedings - abstract only. Full paper (10pp.) on CD-ROM.
Transaction Manager Failover: A Case Study Using JBOSS Application Server
In On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops ... Montpellier, France, October 29-November 3, 2006
Meersman, R., Tari, Z. , Herrero, P. et al. (eds.)
Lecture Notes in Computer Science, 4278, pp 1555 - 1564
Springer-Verlag, 2006
Notes : Paper presented at International Workshop on Reliability in Decentralized Distributed Systems (RDDS).
Published in OTM 2006 Workshops Proceedings Pt. II.
[Abstract]Performance Analysis of PGP
In 22nd UK Performance Engineering Workshop, Bournemouth University, 6th & 7th July 2006
Ball, F. (ed.)
pp 95-102
Bournemouth University, 2006
Effects of an RNA control layer on the state space of Boolean models of genetic regulatory networks
In 2006 IEEE Congress on Evolutionary Computation, Vancouver, BC, Canada, July 16 - 21, 2006
pp 2551-2555
IEEE, 2006
Clustering and cross-talk in a yeast functional interaction network
In Proceedings of the 2006 IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology, CIBCB'06, ... Toronto, Ontario, Canada, September 28 & 29, 2006
pp 140-147
IEEE , 2006
Load Balancing for Massively Multiplayer Online Games
In Proceedings of 5th ACM SIGCOMM Workshop on Network and System Support for Games 2006, Singapore, October 30-31, 2006
ACM, 2006
Notes : NetGames '06. Article No. 1 on conference CD-ROM. 11 pp.
Swarm Intelligence based routing algorithm for mobile ad hoc networks
In 12th European Wireless Conference 2006. Enabling Technologies for Wireless Multimedia Communications, Athens, Greece, April 2-5, 2006
pp 1-6
VDE-Verlag, 2006
Notes : Proceedings on CD-ROM. Session C7, Article 3.
Tailoring Traceability Information to Business Needs
In 14th IEEE International Requirements Engineering Conference, RE'06, Minneapolis/St Paul, Minnesota, USA, September 11-15, 2006
Glinz, M. and Lutz, R. (eds.)
pp 234 - 239
IEEE Computer Society, 2006
Connecting rigorous system analysis to experience centred design in ambient and mobile systems
In Workshop on Software Engineering Challenges for Ubiquitous Computing, June 1st - 2nd 2006, Lancaster University
Kortuem, G. (ed.)
Lancaster University, 2006
Notes : SEUC 2006 Workshop , Session no. 5, paper no. 2. 2 pp.
Sharing control of dispersed situated displays between nomadic and residential users
In MobileHCI 06. 8th International Conference on Human-Computer Interaction with Mobile Devices and Services, 12 to 15 September 2006, Espoo, Finland
pp 61-68
ACM , 2006
Stability Analysis for the Stochastic best Particle Dynamics of a Continuous-time Particle Swarm Optimizer
In AISB '06. Adaptation in Artificial and Biological Systems
Kovacs, T. and Marshall, J.A.R. (eds.)
2, pp 202-209
Society for the Study of Artificial Intelligence and the Simulation of Behaviour, 2006
Notes : Convention held at the University of Bristol, UK, 3rd-6th April 2006.
Energy efficient sink node placement in sensor networks using particle swarm optimization
In Ant Colony Optimization and Swarm Intelligence. 5th International Workshop, ANTS 2006, Brussels, Belgium, September 4-7, 2006. Proceedings
Dorigo, M., Gambardella, L.M., Birattari, M. et al. (eds.)
Lecture Notes in Computer Science, 4150, pp 510-511
Springer-Verlag, 2006
Notes : Extended abstract.
Workshop on Architecting Dependable Systems (WADS)
In DSN 2006. 2006 International Conference on Dependable Systems and Networks, 25-28 June 2006, Philadelphia, Pennsylvania
pp 592
IEEE Computer Society, 2006
A modular implementation framework for code mobility
In Mobility '06. Proceedings of the 3rd international conference on Mobile technology, applications & systems 2006, Bangkok, Thailand, October 25-27, 2006
ACM International Conference Series, 270, pp 1-7
ACM, 2006
Enhancing Collaborative Spam Detection with Bloom Filters
In Proceedings of 22nd Annual Computer Security Applications Conference, 11-15 December 2006, Miami Beach, Florida, USA
pp 414-428
IEEE Computer Society, 2006
2005
Modelling Dynamic Opacity using Petri Nets with Silent Actions
In IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, Toulouse, France
Dimitrakos, T. and Martinelli, F. (eds)
IFIP International Federation for Information Processing,, 173, pp 159-172
Springer Verlag, 2005
The Evolution of a Transaction Processing System
In 11th Biennial High Performance Transaction Systems Workshop (HPTS2005), Pacific Grove, California, September 25th-28th 2005
The Standish Group, 2005
Notes : HPTS2005 web site links to slides of presentation, given by M. Little.
Middleware for Non-repudiable Interactions
In 6th Annual Postgraduate Symposium on the Convergance of Telecommunications, Networking & Broadcasting, 27th-28th June 2005, Liverpool John Moores University
pp 339-343
The School of Computing and Mathematical Sciences, Liverpool John Moores University, 2005
[Abstract]Feta: A light-weight architecture for user oriented semantic service discovery
In The Semantic Web: Research and Applications. Second European Semantic Web Conference, ESWC 2005, Heraklion, Crete, Greece, May 29-June 1, 2005. Proceedings
Gómez-Pérez, A. and Euzenat, J. (eds.)
Lecture Notes in Computer Science, 3532, pp 17-31
Springer, 2005
Exception Handling in Coordination-based Mobile Environments
In 29th Annual International Computer Software and Applications Conference (COMPSAC 2005), Edinburgh, Scotland, July 26-28, 2005
pp 341 - 350
IEEE Computer Society Press, 2005
A Family of Encounter-Based Broadcast Protocols for Mobile Ad-hoc Networks
In Wireless Systems and Mobility in Next Generation Internet. 1st International Workshop of the EURO-NGI Network of Excellence, Dagstuhl Castle, Germany, June 7-9 2004
Kotsis, G. and Spaniol, O. (eds.)
Lecture Notes in Computer Science, 3427, pp 235-248
Springer, 2005
Notes : Revised selected papers from Workshop
[Abstract]Error Recovery for a Boiler System with OTS PID Controller
In 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), Sedona, Arizona, 2-4 February 2005
pp 113 - 120
IEEE Computer Society, 2005
Seven bottlenecks to workflow reuse and repurposing
In The Semantic Web - ISWC 2005. 4th International Semantic Web Conference, Galway, Ireland, November 6-10, 2005. Proceedings
Gil, Y., Motta, E., Benjamins, V.R. et al. (eds.)
Lecture Notes in Computer Science, 3729, pp 323-337
Springer, 2005
A Little Semantic Web Goes a Long Way in Biology
In The Semantic Web - ISWC 2005. 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005. Proceedings
Gil, Y., Motta, E., Benjamins, V.R. et al. (eds.)
Lecture Notes in Computer Science, 3729, pp 786-800
Springer-Verlag, 2005
Panoply of Utilities in Taverna
In First International Conference on e-Science and Grid Computing, Melbourne, Australia, 5-8 December 2005. Proceedings
Stockinger, H., Buyya, R. and Perrott, R. (eds.)
pp 156-162
IEEE Computer Society, 2005
A Case Study of Web Services Orchestration
In Coordination Models and Languages. 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005
Jacquet, J.-M. and Picco, G.P. (eds.)
Lecture Notes in Computer Science, 3454, pp 1–16
Springer-Verlag, 2005
[Abstract]The implications of Semantic Web technologies for support of the e-science process
In Proceedings of the UK e-Science All Hands Meeting 2005, Nottingham, UK, 19th-22nd September 2005
Cox, S.J. and Walker, D.W. (eds.)
pp 1134-1141
EPSRC, 2005
Notes : Proceedings on CD-ROM.
Ontology Driven Dynamic Linking of Biology Resources
In Biocomputing 2005. Proceedings of the Pacific Symposium, Hawaii, USA, 4-8 January 2005
Altman, R.B., Dunker, A.K., Hunter, L. et al. (eds.)
pp 79-90
World Scientific, 2005
Notes : 10th annual symposium; PSB 2005.
Optimal Tree Structures for Large Service Networks
In 1st EuroNGI Conference on Next Generation Internet Networks (NGI 2005), Rome, 18-20 April 2005
Sabella, R. (ed)
pp 91-98
IEEE, 2005
Pedro ontology services: A framework for rapid ontology markup
In The Semantic Web: Research and Applications. Second European Semantic Web Conference, ESWC 2005, Heraklion, Crete, Greece, May 29-June 1, 2005. Proceedings
Gómez-Pérez, A. and Euzenat, J. (eds.)
Lecture Notes in Computer Science, 3532, pp 578-591
Springer, 2005
Merged Processes - a New Condensed Representation of Petri Net Behaviour
In CONCUR 2005 - Concurrency Theory. 16th International Conference, San Francisco, CA, August 23-26, 2005
Abadi, M. and de Alfaro, L. (eds.)
Lecture Notes in Computer Science, 3653, pp 338-352
Springer-Verlag, 2005
Monitoring Middleware for Service Level Agreements in Heterogeneous Environments
In Challenges of Expanding Internet: E-Commerce, E-Business, and E-Government. 5th IFIP Conference on e-Commerce, e-Business, and e-Government (I3E 2005), October 28-30 2005, Poznan, Poland
Funabashi, M. and Grzech, A. (eds.)
IFIP, 189, pp 79-93
Springer, 2005
[Abstract]Semantics of Framed Temporal Logic Programs
In Logic Programming. 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005
Gabbrielli, M. and Gupta, G. (eds.)
Lecture Notes in Computer Science, 3668, pp 356-370
Springer-Verlag, 2005
Decentralised Coordination of Web Services for B2B Integration
In Proceedings of Middleware for Web Services (MWS) 2005 Workshop held at EDOC 2005 Conference, on September 19, 2005 in Enschede, The Netherlands
Tosic, V., van Moorsel, A. and Wong, R. (eds)
pp 24-31
IEEE, 2005
[Abstract]A Method for Specifying Contract Mediated Interactions
In Ninth IEEE International EDOC Enterprise Computing Conference, Enschede, The Netherlands, 19-23 September 2005
pp 106-115
IEEE Computer Society, 2005
Notes : EDOC 2005
[Abstract]Design and Performance-Study of Crash-Tolerant Protocols for Broadcasting and Reaching Consensus in MANETs
In 24th IEEE Symposium on Reliable Distributed Systems (SRDS 2005), 26-28 October 2005, Orlando, Florida
pp 166-175
IEEE Computer Society, 2005
Using OGSA-DQP to Support Scientific Applications for the Grid
In Scientific Applications of Grid Computing. First International Workshop, SAG 2004, Beijing, China, September 20-24, 2004
Herrero, P., Pérez, M.S. and Robles, V. (eds)
Lecture Notes in Computer Science, 3458, pp 13-24
Springer-Verlag, 2005
Notes : Revised selected and invited papers from SAG 2004
Virtual Camera Planning: a Survey
In Smart Graphics: 5th International Symposium, SG 2005, Frauenworth Cloister, Germany, August 22-24, 2005
Butz, A., Fisher, B., Kruger, A. and Olivier, P. (eds)
Lecture Notes in Computer Science, 3638, pp 40-52
Springer, 2005
Performance Measurement of Web Services Security Software
In 21st UK Performance Engineering Workshop, University of Newcastle , 14th/15th July 2005
Thomas, N. (ed.)
pp 11-20
University of Newcastle upon Tyne, School of Computing Science, 2005
Notes : Proceedings of UKPEW 2005 published in University of Newcastle upon Tyne, School of Computing Science, Technical Report Series, no. CS-TR-916.
Contextualised Workflow Execution in MyGrid
In Advances in Grid Computing - EGC 2005. European Grid Conference, Amsterdam, the Netherlands, February 14-16, 2005
Sloot, P.M.A., Hoekstra, A.G., Priol, T. et al. (eds)
Lecture Notes in Computer Science, 3470, pp 444-453
Springer-Verlag, 2005
Notes : Revised selected papers
Implementing Fair Non-repudiable Interactions with Web Services
In Ninth IEEE International EDOC Enterprise Computing Conference, Enschede, The Netherlands, 19-23 September 2005
pp 195-206
IEEE Computer Society, 2005
Notes : EDOC 2005
[Abstract]Analysing user confusion in context aware mobile applications
In Human-Computer-Interaction - INTERACT 2005: IFIP TC13 International Conference, Rome, Italy, September 12-16, 2005
Costabile, M.F. and Paterno, F. (eds.)
Lecture Notes in Computer Science, 3585, pp 184-197
Springer, 2005
Optimization of Encounter Gossip Propagation in Mobile Ad-Hoc Networks
In MASCOTS 2005. 13th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, 27-29 September 2005, Atlanta, Georgia
pp 529-532
IEEE, 2005
[Abstract]On Best-Effort and Dependability, Service-Orientation and Panacea
In Service Availability. Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25-26, 2005
Malek, M., Nett, E. and Suri, N. (eds.)
Lecture Notes in Computer Science, 3694, pp 99-101
Springer , 2005
Notes : Revised selected papers
Workshop on Architecting Dependable Systems (WADS 2005)
In 27th International Conference on Software Engineering 2005 (ICSE 05),St Louis MO, May15-21 2005
pp 691
ACM Press, 2005
Enabling Reliable Many-to-Many Communication in Ad-Hoc Pervasive Environments
In Third IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom 2005 Workshops), 8-12 March 2005, Kauai Island, Hawaii USA
pp 65-69
IEEE Computer Society, 2005
[Abstract]A Systematic Classification of Cheating in Online Games
In 4th ACM SIGCOMM Workshop on Network and System Support for Games (NetGames05), Hawthorne, NY, October 10-11, 2005
pp 1-9
ACM Press, 2005
Notes : Session: cheating and fairness. pp.1-9
Using interaction style to match the ubiquitous user interface to the device-to-hand
In Engineering Human Computer Interaction and Interactive Systems (Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004)
Bastide, R, Palanque, P. and Joerg, J. (eds.)
Lecture Notes in Computer Science, 3425, pp 325-345
Springer, 2005
Adaptive Navigation Support with Public Displays
In IUI 05. 2005 International Conference on Intelligent User Interfaces, San Diego, California, USA, January 9-12, 2005
Riedl, J., Jameson, A., Billsus, D. et al. (eds.)
, pp 326-328
ACM , 2005
Exploring Bluetooth based Mobile Phone Interaction with the Hermes Photo Display
In MobileHCI05. Proceedings of the 7th International Conference on Human Computer Interaction with Mobile Devices and Services, 19 to 22 September 2005, Salzburg, Austria
Tscheligi, M., Bernhaupt, R. and Mihalic, K. (eds.)
ACM International Conference Proceedings, 111, pp 47-54
ACM , 2005
Software Engineering for Large-Scale Multi-Agent Systems - SELMAS'05
In 27th International Conference on Software Engineering 2005 (ICSE 05), St Louis MO, May 15-21 2005
pp 682
ACM Press, 2005
Experience on Performance Evaluation with OGSA-DQP
In UK e-Science All Hands Meeting 2005, 19th - 22nd September, Nottingham, UK
Cox, S. and Walker, D.W. (eds)
pp 453-461
EPSRC, 2005
Notes : 4th AHM Meeting
Task Based Access Control for Virtual Organizations
In FIDJI 2004. 4th International workshop on scientific engineering of distributed java applications, November 24-25, 2004, Luxembourg
Guelfi, N., Reggio, G. and Romanovsky, A. (eds)
Lecture Notes in Computer Science, 3409, pp 38-47
Springer -Verlag, 2005
[Abstract]An Algebra of Petri Nets with Arc-Based Time Restrictions
In Theoretical Aspects of Computing - ICTAC 2004. 1st International Colloquium, Guiyand, China, Sept. 20-24, 2004
Liu, Z. and Araki, K. (eds)
Lecture Notes in Computer Science, 3407, pp 447-462
Springer, 2005
Evolving neural networks for the classification of Malignancy Associated Changes
In Intelligent Data Engineering and Automated Learning - IDEAL 2005. 6th International Conference, Brisbane, Australia, July 6-8, 2005. Proceedings
Gallagher, M., Hogan, J. and Maire, F. (eds.)
Lecture Notes in Computer Science, 3578, pp 382 - 389
Springer, 2005
Network motifs, feedback loops and the dynamics of genetic regulatory networks
In 2005 IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology, 14-15 November 2005. CIBCB '05
pp 90 - 96
IEEE , 2005
Notes : Best paper award.
Investigating the next generation mobile wireless technology to deliver a mobile pervasive computing environment for road user charging and other ITS services
In First IEE Automotive Electronics Conference, London, 15-16 March 2005
pp 233-243
Institution of Electrical Engineers, 2005
[Abstract]Databases in Grid Applications: Locality and Distribution
In Database: Enterprise, Skills and Innovation. 22nd British National Conference on Databases, BNCOD 22, Sunderland, UK, July 5-7, 2005
Jackson, M., Nelson, D. and Stirk, S. (eds)
Lecture Notes in Computer Science, 3567, pp 1-16
Springer-Verlag, 2005
[Abstract]Overcoming the Traceability Benefit Problem
In 13th IEEE International Conference on Requirements Engineering, Paris, France, 29 August - 2 September 2005
pp 385 - 389
IEEE Computer Society, 2005
Sensing and Visualizing Spatial Relations of Mobile Devices
In UIST 2005. Proceedings of 18th Annual ACM Symposium on User Interface Software and Technology , October 23-26, 2005, Seattle, WA
pp 93-102
ACM Press, 2005
Notes : Proceedings published as CHI Letters vol.7, no.2, 2005.
A Grid-based System for Microbial Genome Comparison and Analysis
In 2005 IEEE International Symposium on Cluster Computing and the Grid , Cardiff, Wales, May 9-12 2005
2, pp 977-984
IEEE, 2005
Notes : CCGrid 2005
[Abstract]A Relative Positioning System for Co-located Mobile Devices
In Third International Conference on Mobile Systems, Applications, and Services (MobiSys 2005), June 6-8, 2005, Seattle, WA, USA
pp 177-190
USENIX Association, 2005
Protective Wrapping of Off-the-Shelf Components
In COTS-Based Software Systems: 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005
Franch, X. and Port, D. (eds)
Lecture Notes in Computer Science, 3412, pp 168-177
Springer-Verlag, 2005
Interest Management Middleware for Networked Games
In I3D 2005. ACM SIGGRAPH Symposium on Interactive 3D Graphics and Games, Washington, DC, April 3-6, 2005
pp 57-63
ACM SIGGRAPH, 2005
[Abstract]Scalable Collision Detection for Massively Multiplayer Online Games
In IEEE 19th International Conference on Advanced Information Networking and Applications (AINA '05), March 25-30, 2005, Taipei, Taiwan
1, pp 873-878
IEEE Computer Society, 2005
[Abstract]Building Responsive TMR-Based Servers in Presence of Timing Constraints
In 8th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 18-20 May 2005, Seattle, Washington
pp 267-274
IEEE Computer Society, 2005
2004
Design and Evaluation of a QoS-Adaptive System for Reliable Multicasting
In 23rd IEEE International Symposium on Reliable Distributed Systems 18-20 October 2004, Florianopolis, Brazil (SRDS '04)
pp 31-40
IEEE Computer Society Press, 2004
[Abstract]The myGrid information model
In 2004 UK e-Science All Hands Meeting
Cox, S.J.
Proceedings of the UK e-Science All Hands Meeting 2004,
2004
[Abstract]Applying Petri Nets to Systems Biology using XMLTechnologies
In Workshop on the Definition, Implementation and Application of a Standard Interchange Format for Petri Nets. Satellite event of ATPN : 25th International Conference on Application and Theory of Petri Nets, Bologna, Italy, June 26, 2004
Kindler, E. (ed)
pp 11-25
2004
Delivering Web service coordination capability to users
In Thirteenth World Wide Web Conference (WWW2004), May 17-22, 2004, New York, USA.
pp 438-439
ACM, 2004
[Abstract]High Coverage Broadcasting for Mobile Ad Hoc Networks
In Networking 2004 ... 3rd International IFIP-TC6 Networking Conference, Athens, Greece, May 9 - 14, 2004
Mitrou, N., Kontovasilis, K., Rouskas, G. et al. (eds)
Lecture Notes in Computer Science, 3042, pp 100-111
Springer, 2004
[Abstract]Meeting Deadlines Through Restart
In MMB & PGTS 2004. 12th GI/ITG Conference on Measuring, Modelling and Evaluation of Computer and Communication Systems (MMB) together with 3rd Polish-German Teletraffic Symposium (PGTS), September 12-15, 2004, Dresden, Germany
Buchholz, P., Lehnert, R. and Pioro, M. (eds.)
pp 155-160
VDE Verlag, 2004
Analysis and Algorithms for Restart
In Quantitative Evaluation of Systems, QEST 2004
pp 195-204
IEEE, 2004
Notes : Best paper award.
Optimal Server Allocation in Reconfigurable Clusters with Multiple Job Types
In Computational Science and its Applications (ICCSA 2004). International Conference, Assisi, Italy, May 14-17, 2004. Pt. 2
Lagana, A., Gavrilova, M.L. , Kumar, V. et al (eds)
Lecture Notes in Computer Science, 3044, pp 76-86
Springer, 2004
[Abstract]Time Design: Analysing Human Temporal Control Behaviour in Dynamic Real-Time Systems
In 2004 IEEE International Conference on Systems, Man and Cybernetics, October 10-13, the Hague, the Netherlands
Thisse, W., Wieringa, P. and Pantic, M. et al (eds)
pp 879-885
IEEE, 2004
How explicit are the barriers to failure in safety arguments?
In Computer Safety, Reliability and Security, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004
Heisel, M., Liggesmeyer, P. and Wittmann, S. (eds)
Lecture Notes in Computer Science, 3219, pp 325-337
Springer, 2004
Gesture Synthesis in a Real-World ECA
In Affective Dialogue Systems: Tutorial and Research Workshop, ADS 2004, Kloster Irsee, Germany, June 14-16, 2004
Andre, E., Dybkjaer, L. Minker, W. and Heisterkamp, P. (eds)
Lecture Notes in Computer Science, 3068, pp 319-322
Springer, 2004
PaintShop: a Microworld Experiment Investigating Temporal Decisions in a Supervisory Control Task
In Human Factors and Ergonomics Society 48th Annual Meeting, New Orleans, 2004
pp 300-304
Human Factors and Ergonomics Society, 2004
On Dependability of Composite Web Services with Components Upgraded Online
In 2004 International Conference on Dependable Systems and Networks, Florence, Italy, June 28 - July 1, 2004
pp 287-291
IEEE Computer Society, 2004
Notes : DSN 2004 Supplemental volume.
Dynamic Allocation of Servers in a Grid Hosting Environment
In Fifth IEEE/ACM International Workshop on Grid Computing (Grid '04), Pittsburgh, Pennsylvania, 8 November, 2004
Buyya, R. (ed)
pp 421-426
IEEE Computer Society, 2004
[Abstract]Logic Synthesis for Asynchronous Circuits Based on Petri Net Unfoldings and Incremental SAT
In Fourth International Conference on Application of Concurrency to System Design, ACSD 2004 ,16-18 June 2004, Hamilton, Ontario, Canada
Kishinevsky M. and Darondeau, Ph. (eds)
pp 16-25
IEEE Computer Society, 2004
Notes : Best paper award at ACSD 2004.
[Abstract]Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings
In Computer Aided Verification. 16th International Conference, CAV 2004, Boston, MA, July 13-17 2004
Alur, R. and Peled, D.A. (eds)
Lecture Notes in Computer Science, 3114, pp 109-121
Springer Verlag, 2004
Software Engineering for Large-Scale Multi-agent Systems - SELMAS'04
In 26th International Conference on Software Engineering (ICSE 2004), May 23-28, 2004, Edinburgh, Scotland
pp 752-753
IEEE Computer Society, 2004
Twin Workshops on Architecting Dependable Systems (WADS 2004)
In 26th International Conference on Software Engineering (ICSE 2004)
pp 758
IEEE Computer Society Press, 2004
Road User Charging in the UK. How will the technology evolve over the next 10 years to meet the future challenges of Nationwide charging schemes
In 11th World Congress on ITS - 18-22 October 2004 - Nagoya, Aichi (Japan)
2004
[Abstract]How Synchronisation Strategy Approximation in PEPA Implementations Affects Passage Time Performance Results
In Applying Formal Methods : Testing, Performance and M/E-Commerce. FORTE 2004 Workshops, the FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004
Nunez, M., Maamar, Z., Pelayo, F., et al. (eds)
Lecture Notes in Computer Science, 3236, pp 128-142
Springer Verlag, 2004
An Interdisciplinary Perspective of Dependability in Open Source Software
In Building the Information Society: Proc. IFIP 18th World Computer Congress, 22-27 August 2004, Toulouse, France
Jacquart, R. (ed)
pp 685-692
Kluwer Academic Publishers, 2004
Notes : This was an invited paper to the conference.
[Abstract]Middleware Services for Trusted Coordination
In International Conference on Dependable Systems and Networks (DSN 2004) Florence, Italy, 28 June - 1 July 2004
Supplemental vol., pp 181-183
IEEE Computer Society, 2004
[Abstract]Twin Workshops on Architecting Dependable Systems (WADS 2004)
In 2004 International Conference on Dependable Systems and Networks (DSN 2004), Florence, Italy, June 28-July 1, 2004
pp 901
IEEE Computer Society, 2004
An Approach to Adaptive Performance Tuning of Application Servers
In Workshop on Quality of Service for Application Servers, October 17, 2004, Florianopolis, Brazil, in conjunction with 23rd Symposium on Reliable Distributed Systems
Smith, R. and Morgan, G. (eds.)
pp 7-12
IEEE Computer Society , 2004
[Abstract]On the Monitoring of Contractual Service Level Agreements
In IEEE Conference on Electronic Commerce CEC'04, The First IEEE International Workshop on Electronic Contracting (WEC), San Diego, 6-9, 2004
2004
[Abstract]Against Attacks and Faults: an Autonomic Approach to Secure and Reliable Data Management
In Workshop on Dependable Distributed Data Management, October 17, 2004, Florianopolis, Brazil. In conjunction with 23rd International Symposium on Reliable Distributed Systems
pp 51-56
IEEE Computer Society, 2004
Semi-blind scheduling in a finite capacity system
In UK Performance Engineering Workshop
Irfan Ullah Awan
pp 38-47
University of Bradford, 2004
Wrapping the Future
In Building the Information Society: Proc. IFIP 18th World Computer Congress, 22-27 August 2004, Toulouse, France
Jacquart, R. (ed)
pp 165-173
Kluwer Academic Publishers, 2004
[Abstract]Context-Based Process Algebras for Mobility
In 4th International Conference on Application of Concurrency to System Design (ACSD 2004),16-18 June 2004, Hamilton, Canada
Kishinevsky M. and Darondeau, Ph. (eds)
pp 79-88
IEEE Computer Society, 2004
Cognitive mismatches in the cockpit. Will they ever be a thing of the past?
In The Flightdeck of the Future: Human Factors in Datalinks and Freeflight conference, University of Nottingham, October 6th
2004
[Abstract]Scribble: an Efficient Reliable Manycast protocol for Ad-hoc Networks
In 1st IEEE International Conference on Mobile Ad-hoc and Sensor Systems (MASS 2004), Fort Lauderdale, Florida, USA, October 24-27, 2004
pp 561-563
IEEE, 2004
[Abstract]ATV: An Efficient Method for Constructing a Certification Path
In 18th IFIP World Computer Congress, Toulouse, France, 22-27 August, 2004.
Kaâniche, M. (ed)
11, pp 67-74
Kluwer Academic Publishers, 2004
[Abstract]Structural Concepts for Trust
In 2nd annual conference on Privacy, Security and Trust 2004
Marsh, S. (ed)
1, pp 119-130
University of New Brunswick, Fredericton, Canada, 2004
Expanding Spheres: A Collision Detection Algorithm for Interest Management in Networked Games
In Entertainment Computing – ICEC 2004: Third International Conference, Eindhoven, The Netherlands, September 1-3
Rauterberg, M. (ed)
Lecture Notes in Computer Science, 3166, pp 435 - 440
Springer-Verlag, 2004
[Abstract]Optimal Tree Structures for Large-Scale Grids
In UK e-Science All Hands Meeting 2004, 31st August-3rd September, Nottingham, UK
Cox, S.J. (ed)
pp 15-22
EPSRC, 2004
[Abstract]Petri Net Semantics of the Finite pi-Calculus
In Formal Techniques for Networked and Distributed Systems – FORTE 2004: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30
de Frutos-Escrig, D. and Nunez, M. (eds)
Lecture Notes in Computer Science, 3235, pp 309-325
Springer-Verlag, 2004
Dependability and its Threats: A Taxonomy
In Building the Information Society: Proc. IFIP 18th World Computer Congress, 22-27 August 2004, Toulouse, France
Jacquart, R. (ed)
pp 91-120
Kluwer Academic Publishers, 2004
[Abstract]Component Middleware to Support Non-repudiable Service Interactions
In International Conference on Dependable Systems and Networks (DSN 2004), 28 June - 1 July 2004, Florence, Italy
pp 605-614
IEEE Computer Society, 2004
[Abstract]Developing Grid-based Systems for Microbial Genome
In UK e-Science All Hands Meeting 2004, Nottingham UK
Cox, S.J. (ed)
pp 532-538
EPSRC, 2004
Association of variations in I kappa B-epsilon with Graves’ disease using classical and myGrid methodologies
In 2004 UK e-Science All Hands Meeting
Cox S.J.
Proceedings of the UK e-Science All Hands Meeting 2004,
2004
[Abstract]A Measurement Study of the Interplay between Application Level Restart and Transport Protocol
In Service Availability. First International Service Availability Symposium, ISAS 2004, Munich, Germany, May 13-14, 2004
Malek, M., Reitenspiess, M. and Kaiser, J. (eds.)
Lecture Notes in Computer Science, 3335, pp 86-100
Springer, 2004
OGSA-DQP: A Service for Distributed Querying on the Grid
In Advances in Database Technology - EDBT 2004
Bertino, E. et al.
Lecture Notes in Computer Science, 2992, pp 858-861
Springer-Verlag, 2004
[Abstract]Using Cooperative Artefacts as Basis for Activity Recognition
In Ambient Intelligence. Second European Symposium, EUSAI 2004, Eindhoven, The Netherlands, November 8-11, 2004
Markopoulos, P., Eggen, B., Aarts, E. et al. (eds.)
Lecture Notes in Computer Science , 3295, pp 49-60
Springer, 2004
Cooperative Artefacts: Assessing Real World Situations with Embedded Technology
In UbiComp 2004: Ubiquitous Computing. 6th International Conference, Nottingham, UK, September 7-10, 2004
Davies, N., Mynatt, E. and Siio, I. (eds.)
Lecture Notes in Computer Science , 3205, pp 250-267
Springer, 2004
Cluster analysis of the p53 genetic regulatory network: Topology and biology
In 2004 IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology. CIBCB '04, October 7 & 8 , 2004, La Jolla, CA, USA
pp 1 - 8
IEEE, 2004
Evolving genetic regulatory networks using an artificial genome
In Bioinformatics 2004. Second Asia-Pacific Bioinformatics Conference (APBC 2004), Dunedin, New Zealand, January 2004
Chen, Y.-P. P. (ed.)
Conferences in Research and Practice in Information Technology, 29, pp 291 - 296
Australian Computer Society Inc., 2004
Recycling services and workflows through discovery and reuse
In Proceedings of the UK e-Science All Hands Meeting 2004, Nottingham, UK, 31st August - 3rd September
Cox, S.J. (ed.)
pp 622-629
EPSRC, 2004
Notes : Proceedings on CD-ROM.
Applying semantic web services to bioinformatics: Experiences gained, lessons learnt
In The Semantic Web - ISWC 2004. Third International Semantic Web Conference, Hiroshima, Japan, November 7-11, 2004. Proceedings
McIlraith, S.A., Plexousakis, D. and van Harmelen, F. (eds.)
Lecture Notes in Computer Science, 3298, pp 350-364
Springer-Verlag, 2004
Dealing with Complex Networks of Process Interactions: A Security Measure
In Proceedings. Ninth IEEE International Conference on Engineering Complex Computer Systems, ICECCS 2004, Florence, Italy, 14-16 April 2004
Bellini, P., Bohner, S.A. and Steffen, B. (eds.)
pp 29-36
IEEE Computer Society, 2004
Genome science performed with e-science tools
In Proceedings of the UK e-Science All Hands Meeting 2004, Nottingham, UK, 31st August - 3rd September
Cox, S.J. (ed.)
pp 768-775
EPSRC, 2004
Notes : Proceedings on CD-ROM.
Asynchronous dynamics of an artificial genetic regulatory network
In Artificial Life IX . Proceedings of the Ninth International Conference on the Simulation and Synthesis of Living Systems
Pollack, J., Bedeau, M.A., Husbands, P. et al. (eds.)
pp 399-403
MIT Press, 2004
Notes : ALIFE9 held in Boston, MA, September 12-15, 2004.
Interactive Positioning Based on Object Visibility
In Mobile Human-Computer Interaction - MobileHCI 2004. 6th International Symposium, MobileHCI 2004, Glasgow, UK, September 13-16, 2004
Brewster, S. and Dunlop, M. (eds.)
Lecture Notes in Computer Science, 3160, pp 276-287
Springer, 2004
Determining Collisions between Moving Spheres for Distributed Virtual Environments
In Computer Graphics International (CGI '04), June 16-19, 2004
pp 140-147
IEEE, 2004
[Abstract]Bacillus Subtilis Protein Interaction Network Analysis
In Proceedings. 2004 IEEE Computational Systems Bioinformatics Conference, CSB 2004, 16-19 August, 2004, Stanford, California
pp 623-625
IEEE Computer Society, 2004
Notations for the Specification and Verification of Composite Web Services
In 8th IEEE International Enterprise Distributed Object Computing Conference (EDOC '04) September 20-24,2004, Monterey, California
pp 35-46
IEEE Computer Society, 2004
[Abstract]A policy for electing Super-nodes in unstructured P2P Networks
In Third International Workshop on Agents and Peer-to-Peer Computing (AP2PC 2004) to be held at AAMAS 2004 Third International Joint Conference on Autonomous Agents and Multi Agent Systems, New York City, US
Lecture Notes in Computer Science,
Springer Verlag, 2004
2003
Reuse in hazard analysis: Idenfication and support
In Computer Safety, Reliability and Security. 22nd International Conference (SAFECOMP 2003), Edinburgh, UK
Anderson, S., Felici, M. and Littlewood, B. (eds)
Lecture Notes in Computer Science, 2788, pp 382-395
Springer, 2003
System Support for Small-scale Auctions
In The 2nd Mediterranean Workshop on Ad-Hoc Networks MED-HOC NET 2003 (IFIP-TC6-WG6.8), Mahdia, Tunisia, June
pp 143-149
2003
Systematic Development of a Family of Fair Exchange Protocols
In 17th Annual IFIP WG 11.3 Working Conference on Database and Applications Security, Estes Park, Colorado, August 4-6
2003
Putting Time (back) into Dynamic Function Allocation
In Human Factors and Ergonomics Society 47th Annual Meeting, Denver, 2003
pp 488-492
Human Factors and Ergonomics Society, 2003
Structuring Integrated Web Applications for Fault Tolerance
In 6th International Symposium on Autonomous Decentralised Systems (ISADS 2003), Pisa, Italy, April 2003
pp 99-106
IEEE Computer Society Press, 2003
Self-organization leads to hierarchical modularity in an internet community
In Knowledge-Based Intelligent Information and Engineering Systems. 7th International Conference, KES 2003 , Oxford, UK, September 3-5, 2003. Proceedings, Pt. 1
Palade, V., Howlett, R.J. and Jain, L.C. (eds.)
Lecture Notes in Artificial Intelligence , 2773 , pp 914-920
Springer, 2003
Designing Fault-Tolerant Mobile Systems
In International Workshop on Scientific Engineering for Distributed Java Applications (FIDJI 2002), Luxembourg-Kirchberg, Luxembourg, 28-29 November 2002
Guelfi, N., Astesiano, E. and Reggio, G. (eds.)
Lecture Notes in Computer Science, 2604, pp 185-201
Springer-Verlag, 2003ISBN 3-540-00679-6
Structured Handling of On-Line Interface Upgrades in Integrating Dependable Systems of Systems
In International Workshop on Scientific Engineering for Distributed Java Applications (FIDJI 2002), Luxembourg-Kirchberg, Luxembourg, 28-29 November 2002
Guelfi, N., Astesiano, E. and Reggio, G. (eds.)
Lecture Notes in Computer Science, 2604, pp 73-86
Springer-Verlag, 2003ISBN 3-540-00679-6
[Abstract]JMS on Mobile Ad-hoc Networks
In Personal Wireless Communications (PWC), sponsored by IFIP WG 8.6, Venice, Italy, September 2003
PWC 2003, 2003
LEAF: A Toolkit for Developing Coordinated Learning Based MAS
In International Workshop on Java for Parallel and Distributed Computing (JAVAPDC) held as part of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), Nice, France, 22-26 April 2003
pp 135
IEEE Computer Society Press, 2003ISBN 0-7695-1926-1
Information systems development in public sector organisations – working with stakeholders to make sense of what information systems might do.
In 19th EGOS Colloquim ‘Organization Analysis Informing Social and Global Development Sub-Theme 25: Challenges faced by action researchers in bridging the gap between micro-sociological processes and desired macro-changes’ Copenhagen, Denmark 3-5 July
2003
Sensemaking as a process within complex projects
In Projects Critical’ workshop Bristol Business School Bristol 10-11 April
2003
Dynamic Server Allocation in Heterogeneous Clusters
In First International Working Conference on Performance Modelling and Evaluation of Heterogeneous Networks (HETNETs 2003)
Kouvatsos, D.
pp 12/1-12/10
2003
[Abstract]Component Replication in Distributed Systems: a Case study using Enterprise Java Beans
In 22nd International Symposium On Reliable Distributed Systems (SRDS), Florence, Italy
pp 89-98
IEEE Computer Society Press, 2003
[Abstract]Modeling and Enacting Software Processes Using VRPML
In Proceedings of the Tenth Asia-Pacific Software Engineering Conference, 10-12 December 2003, Chiang Mai, Thailand
pp 243-252
IEEE CS Press, 2003
Performing in silico experiments on the Grid: a users perspective.
In UK e-Science All Hands Meeting 2003, Nottingham, UK
Cox, S. J. (ed)
pp 43-50
EPSRC, 2003
[Abstract]Emulating a Wide Area Network for Testing Dependable Distributed Systems
In 2003 IEEE International Conference on Dependable Systems and Networks (DSN '03), San Francisco, California, USA, 22-25 June 2003 (supplemental)
pp B2-B3
IEEE Computer Society Press, 2003
[Abstract]Predictive Interest Management: An Approach to Managing Message Dissemination for Distributed Virtual Environments
In First International Workshop on Interactive Rich Media Content Production: Architectures, Technologies, Applications, Tools (Richmedia2003)
2003
[Abstract]Declarative Camera Planning: Roles and Requirements
In Smart Graphics. 3rd International Symposium, SG 2003, Heidelberg, Germany, July 2-4, 2003
Butz, A., Kruger, A. and Olivier, P. (eds)
Lecture Notes in Computer Science, 2733, pp 182-191
Springer, 2003
On the Use of Agents in a BioInformatics Grid
In 3rd IEEE/ACM International Symposium on Cluster Computing and the Grid (CCGRID '03): Workshop on Agent Based Cluster and Grid Computing, Tokyo, Japan, 12-15 May 2003
Lee, S., Sekguchi, S., Matsuoka, S. and Sato, M. (eds.)
pp 653-661
IEEE Computer Society Press, 2003
Portal Replication for Web Application Availability Via SOAP
In Proceedings. The Eighth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, January 15 to 17, 2003, Guadalajara, Mexico
pp 122-130
IEEE Computer Society , 2003ISBN 0-7695-1929-6
Notes : WORDS 2003.
[Abstract]Broadband in the countryside: the new digital divide
In 2003 Congress of the European Federation of IT in Agriculture (EFITA 2003), July 2003
2003
'Virtual Villages' - a new force in rural development?
In 20th Biennial Congress of the European Society for Rural Sociology: Work, Leisure and Development in Rural Europe Today (XX ESRS Congress), Institute of Technology, Sligo, Ireland, 18-22 August 2003
2003
Contract Representation for Run-time Monitoring and Enforcement
In 2003 IEEE International Conference on E-Commerce (CEC 2003), Newport Beach, California, USA, 24-27 June 2003
Chung, J.-Y. and Zhang, L.-J. (eds.)
pp 103-110
IEEE Computer Society Press, 2003ISBN 0-7695-1969-5
[Abstract]Re-configuring the consultation for the information age
In 2003 Summer Conference of the Society for the Social History of Medicine/ESRC/Wellcome Unit Manchester: Devices and Designs: Medical Innovation in Historical Perspective, Manchester, UK, 11-13 July 2003
Society for the Social History of Medicine, 2003
Delivering Electronic Social Care Records (ESCRs), Lessons from the DoH Demonstrators: the VESCR project
In UK Department of Health Conference on e-Healthcare: Joining up Health and Social Care through IT, Rutherford Conference Centre, London, UK, 1 July 2003
UK DoH, 2003
Presenting Route Instructions on Mobile Devices
In IUI 03. 2003 International Conference on Intelligent User Interfaces, Miami, Florida, USA, January 12-15, 2003
Johnson, W.L., Andre, E. and Domingue,J. (eds.)
pp 117-124
ACM Press, 2003
Integration of Services for Children and Young People in the Public Sector: What are the Information Issues for new forms of Organisation - the case of Children's Trusts
In 3rd European Conference on e-Government (ECEG 2003), Trinity College Dublin, Ireland, 3-4 July 2003
pp 487-496
Management Centre International Limited, 2003
Organisational Change: A social and technical challenge in the path towards Children's Trusts
In BJHC One-Day Conference on Social care and healthcare: meeting the challenges of change, Hilton Birmingham Metropole Hotel, NEC, Birmingham, UK, 13 May 2003
BJHC Ltd., 2003
Notes : Invited paper
Use of Participatory Design (PD) in the development of an Electronic Social Care record (ESCR) for Social Services
In 2003 British Computer Society Health Informatics Committee Healthcare Computing Conference: From Information Strategies to Health Solutions (HC2003), Harrogate, UK, 24-26 March 2003
British Computer Society Health Informatics Committee, 2003
Detecting State Coding Conflicts in STG Unfoldings Using SAT
In Third International Conference on Application of Concurrency to System Design, ACSD 2003 , 18-20 June 2003, Guimaraes, Portugal
Lilius, J., Balarin, F. and Machado, R.J. (eds.)
pp 51-60
IEEE Computer Society , 2003ISBN 0-7695-1887-7
Notes : Selected as one of best papers of ACSD 2003.
[Abstract]Branching Processes of High-Level Petri Nets
In 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2003), held as Part of the Joint European Conferences on Theory and Practice of Software (ETAPS 2003), Warsaw, Poland, 7-11 April 2003
Garavel, H. and Hatcliff, J. (eds.)
Lecture Notes in Computer Science, 2619, pp 458-472
Springer-Verlag, 2003ISBN 3-540-00898-5
[Abstract]Visualization and Resolution of Coding Conflicts in Asynchronous Circuit Design
In Design, Automation and Test in Europe Conference and Exhibition (DATE '03), Munich, Germany, 3–7 March 2003
Wehn, N. and Verkest, D. (eds.)
1, pp 926-931
IEEE Computer Society , 2003ISBN 0-7695-1870-2
Notes : Selected as one of best papers of DATE'03.
[Abstract]Protective Wrapper Development: A Case Study
In 2nd International Conference on COTS-Based Software Systems (ICCBSS 2003), Ottawa, Canada, 10-13 February 2003
Erdogmus, M.H. and Weng, T. (eds.)
Lecture Notes in Computer Science, 2580, pp 1-14
Springer-Verlag, 2003ISBN 3-540-00562-5
Certificate Validation in Untrusted Domains
In On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops
Meersman, R. and Tari, Z. (eds)
Lecture Notes in Computer Science, 2889, pp 1057 - 1068
Springer Verlag, 2003
[Abstract]On Failures and Faults
In FME 2003: Formal Methods, Pisa, Italy
Araki, K., Gnesi, S., Mandrioli, D.
Lecture Notes in Computer Science, 2805, pp 18-39
Springer-Verlag, 2003ISBN 3-540-40828-2
Using Coordinated Atomic Actions for Building Complex Web Applications: a Learning Experience
In Proceedings. The Eighth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, January 15 to 17, 2003, Guadalajara, Mexico
pp 288-295
IEEE Computer Society , 2003
Notes : WORDS 2003
Experiences with e-Science workflow specification and enactment in bioinformatics
In UK e-Science All Hands Meeting 2003, Nottingham, UK.
Cox, S. J. (ed)
pp 459-466
EPSRC, 2003
[Abstract]From Crash Tolerance to Authenticated Byzantine Tolerance: a Structured Approach, the Cost and Benefits
In 2003 IEEE International Conference on Dependable Systems and Networks (DSN '03), San Francisco, California, USA, 22-25 June 2003
pp 227-236
IEEE Computer Society Press, 2003
[Abstract]Middleware Support for Non-repudiable Transactional Information Sharing between Enterprises (short paper)
In Distributed Applications and Interoperable Systems: 4th IFIP WG6.1 International Conference, DAIS 2003, Paris, France, November 17-21, 2003
Stefani, J.-B., Demeure, I. and Hagimont, D. (eds)
Lecture Notes in Computer Science, 2893, pp 125-132
Springer, 2003
[Abstract]Some Issues on Presentations in Intelligent Environments
In Ambient Intelligence. First European Symposium, EUSAI 2003, Veldhoven, the Netherlands, November 3-4, 2003
Aarts, E., Collier, R., van Loenen, E. et al. (eds.)
Lecture Notes in Computer Science, 2875, pp 15-26
Springer, 2003
Service-Based Distributed Querying on the Grid
In Service-Oriented Computing - ICSOC 2003
Orlwoska, M.E., Weerawarana, S., Papazoglu, M.P. et.al.
Lecture Notes in Computer Science, 2910, pp 467-482
Springer-Verlag, 2003
[Abstract]An Experience Report on Designing and Building OGSA-DQP: A Service Based Distributed Query Processor for the Grid
In Global Grid Forum Workshop on Designing and Building Grid Services - GGF 9, Chicago, Illinois, USA. October 6-10, 2003
Foster, I. et al. (eds)
2003
[Abstract]OGSA-DQP: A Service-Based Distributed Query Processor for the Grid
In Second e-Science All Hands Meeting, Nottingham, UK, 2-4 September 2003
Cox, S (ed)
2003
[Abstract]Anonymity with Identity Escrow
In 1st International Workshop on Formal Aspects in Security and Trust, Pisa, September 2003
Dimitrakos, T., Martinelli, F. (eds)
pp 121-129
Istituto di Informatica e Telematica, 2003
Model Checking Correctness Properties of Electronic Contracts
In International Conference on Service Oriented Computing (ICSOC03),Trento, Italy, December 2003.
Orlowska, Marie E., Weerawarana, Sanjiva, Papazogolou, Michael P. et.al.
Lecture Notes in Computer Science, 2910, pp 303-318
Springer, 2003
[Abstract]Cooking the semantic web with the OWL API
In The Semantic Web - ISWC 2003. Second International Semantic Web Conference, Sanibel Island, FL, USA, October 20-23, 2003
Fensel, D., Sycara, K. and Mylopoulos, J. (eds.)
Lecture Notes in Computer Science , 2870, pp 659-675
Springer, 2003
Semantic Similarity Measures as Tools for Exploring the Gene Ontology
In Biocomputing 2003. Proceedings of the Pacific Symposium , Kauai, Hawaii, 3-7January, 2003
Altman, R.B., Dunker, A.K., Hunter, L. et al. (eds.)
pp 601-612
World Scientific, 2003
Safe Systems: Construction, Destruction, and Deconstruction
In Current Issues in Safety-critical Systems...11th Safety-critical Systems Symposium, 2003
Redmill, F. and Anderson, T.
pp 63-76
Springer-Verlag, 2003
Software Suite to Aid Protein Target Identification for Rational Drug Discovery (Extended abstract)
In Cold Spring Harbour Laboratory and Wellcome Trust Conference on Pharmacogenomics
Bentley D., Leeder S., Pirmohamed M. et.al.
pp 24
Wellcome Trust, 2003
Transactions and Groups as Generic Building blocks for Software Fault Tolerance
In Int. Conference on Reliable Software Technologies - Ada-Europe 2003
Rosen, J.-P. and Strohmeier, A. (eds)
Lecture Notes in Computer Science, 2655, pp 208-219
Springer Verlag, 2003
Management += Grid
In Self-Managing Distributed Systems. 14th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2003, Heidelberg, Germany, October 20-22, 2003
Brunner, M. and Keller, A. (eds.)
Lecture Notes in Computer Science, 2867, pp 194-196
Springer, 2003
Notes : Short paper. Also Hewlett Packard Laboratories Technical Report HPL-2003-114, June 2003.
Proving the Correctness of Simpson's 4-slot ACM Using an Assertional Rely-Guarantee Proof Method
In FME 2003:Formal Methods
Araki, K., Gnesi, S. and Mandrioli, D.
Lecture Notes in Computing Science, 2805, pp 244-263
Springer-Verlag, 2003
[Abstract]Towards a Formal Semantics of a Composition Language
In Third International Workshop on Composition Languages
2003
Web Services Management Network: An Overlay Network for Federated Service Management
In Integrated Network Management VIII : Managing It All. IFIP/IEEE Eighth International Symposium on Integrated Network Management (IM 2003), March 24-28, 2003, Colorado Springs, USA
Goldszmidt, G. and Schonwalder, J. (eds.)
IFIP International Federation for Information Processing, 118, pp 351-364
Kluwer Academic Publishers, 2003
Notes : Also Hewlett Packard Laboratories Technical Report HPL-2002-234, August 2002
Software Engineering for Large-Scale Multi-Agent Systems - SELMAS'2003
In 25th International Conference on Software Engineering (ICSE 2003), Portland, Oregon
pp 771-772
IEEE Computer Society and ACM, 2003
Optimization of Failure Detection Retry Times
In PMCCS6: Sixth International Workshop on Performability Modeling of Computer and Communication Systems, September 5-7, 2003, Monticello, Illinois
pp 9-10
University of Illinois, 2003
Notes : Extended abstract.
Also in Supplement to Dependable Networks and Systems, Fast Abstract Session, San Francisco, California, USA, July 23-25, 2003.
Coordinated Forward Error Recovery for Composite Web Services
In 22nd International Symposium on Reliable Distributed Systems (SRDS '03),Florence, Italy
pp 167-176
IEEE Computer Society Press, 2003
A Fault-Tolerant Software Architecture for COTS-Based Software Systems
In Proceedings of the joint 9th European Software Engineering Conference (ESEC) & 11th SIGSOFT Symposium on the Foundations of Software Engineering (FSE-11), Helsinki, Finland, September 1-5, 2003
Inverardi, P. (ed.)
pp 375-378
ACM, 2003
Notes : Proceedings published as Software Engineering Notes Vol. 28, no. 5, 2003.
Specifying and Monitoring Guarantees in Commercial Grids through SLA
In CCGrid2003. 3rd IEEE/ACM International Symposium on Cluster Computing and the Grid, Tokyo, Japan, 12-15 May, 2003
pp 292-299
IEEE Computer Society, 2003
Notes : Also Hewlett Packard Laboratories Technical Report HPL-2002-324, November 2002.
Semantic and personalised service discovery
In Proceedings of UK e-Science All Hands Meeting, Nottingham, 2-4 September 2003
Cox, S.J. (ed.)
pp 787-794
EPSRC, 2003
Notes : Proceedings on CD-ROM.
ISBN 1-904425-11-9.
Graph Scaling: A Technique for Automating Program Construction and Deployment in ClusterGOP
In Advanced Parallel Programming Technologies, 5th International Workshop (APPT 2003), Xiamen, China, 17-19 September, 2003
Zhou, X., Jähnichen, S. Xu, M. and Cao, J.
Lecture Notes in Computer Science, 2834, pp 254-264
Springer-Verlag, 2003
Integrating COTS Software Components into Dependable Software Architectures
In Proceedings. Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2003, 14-16 May 2003, Hakodate, Hokkaido, Japan
Puschner, P., Nakajima, T. and Ghafoor, A. (eds.)
pp 139-142
IEEE Computer Society , 2003ISBN 0-7695-1928-8
An Optimal Atomic Broadcast Protocol and an Implementation Framework
In Proceedings. The Eighth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems, January 15 to 17, 2003, Guadalajara, Mexico
pp 32-40
IEEE Computer Society , 2003
Notes : WORDS 2003
[Abstract]Software Engineering for Large-Scale Multi-Agent Systems - SELMAS 2003 (Workshop overview)
In 25th International Conference on Software Engineering (ICSE 2003), Portland, Oregon, USA, 3-10 May 2003
pp 771-772
IEEE Computer Society Press, 2003ISBN 0-7695-1877-X
Edsger Dijkstra
In 9th IEEE Int. Workshop on Object-Oriented Real-Time DependableSystems
Bacellar, L., Kim, K.H., Russo, S.
pp 3-8
IEEE Computer Society, 2003
NESS - The Newcastle E-Learning Support System
In 4th Annual Conference of the LTSN Centre for Information and Computer Sciences, NUI Galway, ireland, 26th-28th August 2003
Una O'Reilly (ed)
pp 33-36
LTSN-ICS, 2003
ICSE 2003 Workshop on Software Architectures for Dependable Systems
In 25th International Conference on Software Engineering (ICSE 2003), Portland, Oregon, USA, 3-10 May 2003
pp 781-782
IEEE Computer Society Press, 2003ISBN 0-7695-1877-X
Coordination in Utility Managed Multi-Agent Groups
In 10th ISPE International Conference On Concurrent Engineering: Research And Applications - The Vision for the Future Generation (CE 2003), Carlton Madeira Hotel, Madeira Island, Portugal, 26-30 July 2003
Jardim-Gonçalves, R., Cha, J. and Steiger-Garçao, A. (eds)
Concurrent Engineering - The Vision for the Future Generation in Research and Applications (CE 2003 Proceedings), 1,
A.A. Balkema Publishers, 2003ISBN 90-5809-622-X
Security Design in Online Games
In 19th Annual Computer Security Applications Conference (ACSAC’03), Las Vegas, U.S.A., 8-12 December, 2003
pp 286-297
IEEE Computer Society Press, 2003
A formal basis for some dependability notions
In 10th Anniversary Colloquium of the United Nations University International Institute for Software Technology (UNU/IIST) - Formal Methods at the Crossroads: From Panacea to Foundational Support, Lisbon, Portugal, March 18-21, 2002
Aichernig, B.K. and Maibaum, T. (eds.)
Lecture Notes in Computer Science, 2757,
Springer-Verlag, 2003
[Abstract]A Policy Based Approach for Automated Topology Management of Peer To Peer Networks and a Prototype Implementation
In IEEE 4th International Workshop on Policies for Distributed Systems and Networks, Lake Como, Italy, 4-6 June 2003
pp 235-238
IEEE Computer Society Press, 2003
[Abstract]Operational Semantics Revisited
In 2003 ETAPS SE-WMT Workshop: Structured Programming: The Hard Core of Software Engineering, Warsaw, Poland, 6 April 2003. Satellite workshop to the 2003 European Joint Conference on Theory and Practice of Software (ETAPS '03), Warsaw, 5-13 April 2003
2003
2002
Distributed Systems with Different Degrees of Multicasting
In 3rd International Workshop on Software and Performance Evaluation, Rome, Italy, 2002
pp 68-74
2002
Automated SLA Monitoring for Web Services
In Management Technologies for E-Commerce and E-Business Applications. 13th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2002, Montreal, Canada, October 21-23, 2002
Feridum, M., Kropf, P. and Babin, G. (eds.)
Lecture Notes in Computer Science, 2506, pp 28-41
Springer, 2002
Analysis of a Transaction System with Checkpointing, Failures and Rollback
In 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools (TOOLS 2002), London, UK, 14-17 April 2002
Field, T., Harrison, P.G., Bradley, J. and Harder, U. (eds.)
Lecture Notes in Computer Science, 2324, pp 279-288
Springer-Verlag, 2002ISBN 3-540-43539-5
Coordinated Learning to support Resource Management in Computational Grids
In 2nd IEEE International Conference on Peer-to-Peer Computing (P2P 2002), Linkoeping, Sweden, 5–7 September 2002
pp 81-89
IEEE Computer Society Press, 2002ISBN 0-7695-1810-9
Towards the provision of Patient Information Leaflets (PILs) in dominant community languages: a sociolinguistic overview
In 2002 British Computer Society Health Informatics Committee Healthcare Computing Conference: Current Perspectives in Healthcare Computing 2002 (HC2002), Harrogate, UK, 18-20 March 2002
Bryant, J. (ed)
British Computer Society Health Informatics Committee, 2002ISBN 0-9535427-6-9
Verbal and physical prescriptions in general practice consultations
In 2002 British Computer Society Primary Health Care Specialist Group (PHCSG) Annual Conference: 21st Birthday Conference - Delivering 21st Century Health Care, Downing College, Cambridge, UK, 6-7 September 2002
Informatics in Primary Care, Issue 4, 10, pp 243-244
Radcliffe Medical Press, Oxford/British Computer Society, 2002ISBN 1476-0320
The temporal dimension of dynamic function allocation
In 11th European Conference on Cognitive Ergonomics (ECCE 11), Catania, Sicily, 8-11 September 2002
pp 283-292
European Association of Cognitive Ergonomics, 2002
Towards usable and relevant model checking techniques for the analysis of dependable interactive systems
In 17th IEEE International Conference on Automated Systems Engineering: ASE 2002
Emmerich, W. and Wile, D. (eds)
pp 223-226
IEEE Computer Society Press, 2002
Improving Hazard Classification through the Reuse of Descriptive Arguments
In Software Reuse: Methods, Techniques,and Tools, ICSR-7, Austin, Tx, April 15-19, 2002
Gacek, C. (ed)
Lecture Notes in Computer Science, 2319, pp 255-268
Springer, 2002
An Examination of the Transition of the Arjuna Distributed Transaction Processing Software from Research to Products
In 2nd USENIX Workshop on Industrial Experiences with Systems Software (WIESS '02), Boston, MA, USA, 8 December 2002 (Co-located with OSDI '02)
USENIX Association, 2002
[Abstract]Coordinating Learning Agents via Utility Assignment
In 3rd International Conference on Intelligent Data Engineering and Automated Learning (IDEAL 2002), Manchester, UK, 12-14 August 2002
Yin, H., Allinson, N. and Freeman, R. et. al. (eds.)
Lecture Notes in Computer Science, 2412, pp 219-224
Springer-Verlag, 2002ISBN 3-540-44025-9
Is General Practice a Learning Organisation?
In 2002 British Computer Society Health Informatics Committee Healthcare Computing Conference: Current Perspectives in Healthcare Computing 2002 (HC2002), Harrogate, UK, 18-20 March 2002
Bryant, J. (ed)
British Computer Society Health Informatics Committee, 2002ISBN 0-9535427-6-9
A Middleware Architecture for Intrusion- and Fault-Tolerant Service Replication
In 2002 Workshop on Intrusion Tolerant Systems, held in association with the 2002 IEEE International Conference on Dependable Systems and Networks (DSN 2002), Washington DC, USA, 23-26 June 2002
pp C-6-1 - C-6-7
IEEE Computer Society Press, 2002
[Abstract]ErbB2 and Its Ligand Muc4 (Sialomucin Complex) in Rat Lacrimal Gland
In 3rd International Conference on the Lacrimal Gland, Tear Film and Dry Eye Syndrome: Basic Science and Clinical Relevance, Maui, Hawaii, November 2000
Sullivan, D.A., Stern, M.E. and Tsubota, K. et. al. (eds.)
Advances in Experimental Medicine and Biology, 506 (Part A), pp 289-295
Kluwer Academic Publishers/Plenum Publishers, 2002ISBN 0-306-47282-1
Rural Communities and ICT: a UK perspective
In 20th ESPRIT AgriMMedia Seminar: e-technology for rural communities between co-operation and competition, Paris, 25 April 2002
2002
Analysing the Safety of a Software Development Process
In Computer Safety, Reliability and Security: SAFECOMP 2002
Anderson, S., Bologna, S. and Felici, M.
Lecture Notes in Computer Science, 2434, pp 186-197
Springer-Verlag, 2002
Goal-Diversity in the Design of Dependable Computer-Based Systems
In DIRC Workshop on Open Source Software Development, University of Newcastle upon Tyne, UK, 25-26 February 2002
Gacek, C. and Arief, L.B. (eds.)
pp 130-154
DIRC, 2002
An assessment of an online sensor validation and reconstruction method
In 21st IASTED International Conference on Modelling, Identification and Control (MIC 2002), Innsbruck, Austria, 18-21 February 2002
Hamza, M.H. (ed)
ACTA Press, 2002ISBN 0-88986-319-9
The Misplaced Comma: Programmers' Tales and Traditions
In 14th Annual Workshop of the Psychology of Programming Interest Group (PPIG 2002), Brunel University, London, UK, 18-21 June 2002
Kuljis, J., Baldwin, L. and Scoble, R. (eds.)
pp 150-155
Brunel University College, 2002ISBN 1-90231624-X
[Abstract]Middleware for supporting inter-organisational interactions
In Workshop on Future Directions in Distributed Computing (FuDiCo2002)
Schiper, A.; Shvartsman, A. A.; Weatherspoon, H.; Zhao, B. Y.
Lecture Notes in Computer Science, 2584, pp 202-206
Springer-Verlag, 2002
Building Responsive TMR-Based Servers in the Presence of Timing Constraints
In 21st Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PoDC 2002), Monterey, California, USA, 21-24 July 2002
pp 127
ACM Press, New York, 2002ISBN 1-58113-485-1
[Abstract]What is complex about complex projects and can they be managed?
In EURAM Conference 2002 ‘Innovative Research in Management, Track 23: Managing Complex Projects’, Stockholm Sweden, 9-11 May
2002
Design of a Business Process Analyzer
In 2nd International Conference on Information Systems and Engineering, July 2002, San Diego, California
Smari, W.W. (ed.)
Simulation Series, 34, 2, pp 203-209
SCS, 2002
Notes : ISE 2002.
Also: Hewlett Packard Laboratories, Technical Report HPL-2002-145, May 2002.
Evaluating Health and Social Care information systems: Towards a Learning Evaluation
In 8th UK Evaluation Society Annual Conference: The Art of Evaluation - artistry, discipline and delivery, South Bank Centre, London, UK, 12-13 December 2002
UK Evaluation Society, 2002
On Enterprise Modelling Dynamics, Towards E.M. Formalisation
In 9th European Concurrent Engineering Conference (ECEC 2002), Modena, Italy, 15-17 April 2002
Baake, U.F. and Herbst, J. (eds.)
pp 111-115
SCS Europe, 2002
Denial of Service: Another Example
In Security in the Information Society : Visions and Perspectives. IFIP TC11 17th International Conference on Information Security (IFIP/SEC2002), May 7-9, 2002, Cairo, Egypt
Ghonaimy, M., El-Hadidi, M.T. and Aslan, H.K. (eds.)
IFIP Conference Proceedings, 86, pp 161-170
Kluwer Academic Publishers, 2002
Enabling Traceability
In 1st International Workshop on Traceability in Emerging Forms of Software Engineering (in conjunction with the 17th IEEE International Conference on Automated Software Engineering), Edinburgh, UK, 28 September 2002
pp 61-65
2002
Interdisciplinary Insights on Open Source
In Open Source Software Development Workshop, Newcastle upon Tyne, U.K. , 25th-26th February, 2002
Gacek, C. and Arief, B. (eds.)
pp 68-82
DIRC, 2002
Notes : Workshop held at University of Newcastle upon Tyne. Proceedings published in the University of Newcastle upon Tyne, Computing Science , Technical Report Series, no. CS-TR-812 ,August 2003.
The Formal Classification and Verification of Simpson's 4-slot Asynchronous Communication Mechanism
In International Symposium of Formal Methods Europe, FME 2002: Formal Methods - Getting IT Right, Copenhagen, Denmark, 22-24 July 2002
Eriksson, L.-H. and Lindsay, P.A. (eds.)
Lecture Notes in Computer Science, 2391, pp 350-369
Springer-Verlag, 2002ISBN 3-540-43928-5
Applying Feedback Control to QoS Management
In 7th CaberNet Radicals Workshop, Bertinoro, Forlì, Italy, 13-16 October 2002
CaberNet Project, 2002
Editorial Message: Special Track on Inter-disciplinary Approaches to the Design of Dependable Computer Systems
In 2002 ACM Symposium on Applied Computing (SAC 2002), March 10-14, 2002, Madrid, Spain
pp 704-705
ACM, 2002
Communication Complexity, Environmental Risk, and Cooperation
In 2nd Symposium on Autonomous Agents and Multi-Agent Systems (AAMAS - II), Bologna, Italy
Liu, J. (ed)
pp 51-59
World Scientific Publishing, 2002ISBN 9-810-24282-4
Parallelisation of the Petri Net Unfolding Algorithm
In 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2002), held as Part of the Joint European Conference on Theory and Practice of Software (ETAPS 2002), Grenoble, France, 8-12 April 2002
Katoen, J.-P. and Stevens, P. (eds.)
Lecture Notes in Computer Science, 2280, pp 371-385
Springer-Verlag, 2002ISBN 3-540-43419-4
Dependable On-line Upgrading of Distributed Systems
In 26th Annual International Computer Software and Applications Conference (COMPSAC 2002), Oxford, UK, 26-29 August 2002
pp 975-976
IEEE Computer Society Press, 2002ISBN 0-7695-1727-7
Auction System Design Using Open Multithreaded Transactions
In 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002), San Diego, California, USA, 7-9 January 2002
pp 95-104
IEEE Computer Society Press, 2002ISBN 0-7695-1576-2
A Generic Approach to Structuring and Implementing Complex Fault-Tolerant Software
In 5th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2002), Washington DC, USA, 29 April-01 May 2002
Bacellar, L., Puschner, P. and Hong, S. (eds.)
pp 207-214
IEEE Computer Society Press, 2002ISBN 0-7695-1558-4
ICSE 2002 Workshop on Architecting Dependable Systems
In 24th International Conference on Software Engineering (ICSE 2002), Orlando, Florida, USA, 19-25 May 2002
pp 673-674
ACM Press and IEEE Computer Society Press, 2002
A comparison of neutral landscapes - NK, NKp and NKq
In Proceedings of the 2002 Congress on Evolutionary Computation CEC '02 , May 12-17, 2002, ... Honolulu, Hawaii
1, pp 205-210
IEEE , 2002
Lessons from industrial design for software engineering through constraints identification, solution space optimisation and reuse
In ACM Symposium on Applied Computing (SAC 2002), Universidad Carlos III De Madrid, Madrid, Spain, 10-14 March 2002
pp 732-738
ACM Press, New York, 2002ISBN 1-58113-445-2
[Abstract]A Scalable, Multi-User VRML Server
In IEEE Virtual Reality Conference 2002 (VR 2002), Orlando, Florida, USA, 24-28 March 2002
Loftin, B. (ed)
pp 199-207
IEEE Computer Society Press, 2002ISBN 0-7695-1492-8
[Abstract]Exploiting a Virtual Environment in a Visual PLM
In 4th International Conference on Product Focused Software Process Improvement (PROFES 2002), Rovaniemi, Finland, 9-11 December 2002
Oivo, M. and Komi-Sirviö, S. (eds.)
Lecture Notes in Computer Science, 2559, pp 49-62
Springer-Verlag, 2002ISBN 3-540-00234-0
Distributed Query Processing on the Grid
In 3rd International Workshop on Grid Computing (GRID 2002), Baltimore, MD, USA, 18 November 2002
Parashar, M. (ed)
Lecture Notes in Computer Science, 2536, pp 279-290
Springer-Verlag, 2002ISBN 3-540-00133-6
[Abstract]Validated Cost Models for Parallel OQL Query Processing
In 8th International Conference on Object-Oriented Information Systems (OOIS 2002), Montpellier, France, 2-5 September 2002
Bellahsene, Z., Patel, D. and Rolland, C. (eds.)
Lecture Notes in Computer Science, 2425, pp 60-75
Springer-Verlag, 2002ISBN 3-540-44087-9
Speeding up Navigational Requests in a Parallel Object Database System
In 8th International Euro-Par Conference (Euro-Par 2002), Paderborn, Germany, 27-30 August 2002
Monien, B. and Feldmann, R. (eds.)
Lecture Notes in Computer Science, 2400, pp 332-341
Springer-Verlag, 2002ISBN 3-540-44049-6
[Abstract]Frames of Reference, Positional Information and Navigational Assistance
In Proceedings of the Fifteenth International Florida Artificial Intelligence Research Society Conference, May 14-16, 2002, Pensacola Beach, Florida, USA
Haller, S.M. and Simmons, G. (eds.)
pp 461-465
AAAI Press, 2002
Notes : FLAIRS Conference 2002.
The eager bidder problem: a fundamental problem of DAI and selected solutions
In Proceedings of the first international joint conference on autonomous agents and multiagent systems, Bologna, Italy, July 15-19, 2002
2, pp 599-606
ACM, 2002
Notes : AAMAS '02
Visualisation for Informed Decision Making: From Code to Components
In Proceedings of 14th International Conference on Software Engineering and Knowledge Engineering 2002, Ischia, Italy, July 15-19, 2002
ACM International Conference Proceeding , 27, pp 765-772
ACM Press, 2002
A Two Tier Approach To Building Dependable Middleware Services
In Workshop on Dependable Middleware-Based Systems; part of the IEEE International Conference on Dependable Systems and Networks (DSN 2002), Washington DC, USA, 23-26 June 2002
pp G49-G54
IEEE Computer Society Press, 2002
[Abstract]Automating functions in multi-agent control systems: supporting the decision process
In Components of System Safety. Proceedings of the Tenth Safety-critical Systems Symposium, Southampton, UK, 2002
Redmill, F. and Anderson, T. (eds)
pp 93-106
Springer, 2002
Spectrum-based Design of Sinusoidal RBF Neural Networks
In INNS - IEEE International Joint Conference on Neural Networks (IJCNN 2002) (part of the 2002 IEEE World Congress on Computational Intelligence), Honolulu, Hawaii, USA, 12-17 May 2002
IJCNN 2002 Proceedings, 2, pp 1421-1426
IEEE Press, 2002ISBN 0-7803-7278-6
A Structured Approach to Handling On-Line Interface Upgrades
In 26th Annual International Computer Software and Applications Conference (COMPSAC 2002), Oxford, UK, 26-29 August 2002
pp 1000-1005
IEEE Computer Society Press, 2002ISBN 0-7695-1727-7
[Abstract]Distributed Object Middleware to Support Dependable Information Sharing between Organisations
In International Conference on Dependable Systems and Networks, 23-26 June 2002, Washington, DC, USA
pp 249-258
IEEE Computer Society, 2002ISBN 0-7695-1597-5
[Abstract]Operational Semantics for PBC with Asynchronous Communication
In High Performance Computing Symposium (HPC 2002), San Diego, California, USA, 14-18 April 2002
Tentner, A. (ed)
pp 314-319
Society for Computer Simulation, 2002
Causality Semantics of Petri Nets with Weighted Inhibitor Arcs
In 13th International Conference on Concurrency Theory (CONCUR 2002), Brno, Czech Republic, 20-23 August 2002
Brim, L., Jancar, P., Kretínský, M. and Kucera, A. (eds.)
Lecture Notes in Computer Science, 2421, pp 531-546
Springer-Verlag, 2002ISBN 3-540-44043-7
Augmenting descriptive scenario analysis for improvements in human reliability design
In SAC '02. 2002 ACM Symposium on Applied Computing, Madrid, Spain, March 11-14, 2002
pp 739-743
ACM, 2002
Blending Descriptive and Numeric Analysis in Human Reliability Design
In Interactive Systems: Design, Specification and Verification. 9th International Workshop, DSV-IS 2002
Forbrig, P., Urban, B., Vanderdonckt, J. et al (eds)
Lecture Notes in Computer Science, 2545, pp 223-237
Springer-Verlag, 2002
Detecting State Coding Conflicts in STGs Using Integer Programming
In Design, Automation and Test in Europe Conference and Exposition (DATE 2002), Paris, France, 4–8 March 2002
Kloos, C.D. and Franca, J. (eds.)
pp 338-345
IEEE Computer Society Press, 2002ISBN 0-7965-1471-5
Editorial Message: Special Track on Interdisciplinary Approaches to the Design of Dependable Computer Systems
In ACM Symposium on Applied Computing (SAC 2002), Universidad Carlos III De Madrid, Madrid, Spain, 10-14 March 2002
pp 704-705
ACM Press, New York, 2002ISBN 1-58113-445-2
Canonical Prefixes of Petri Net Unfoldings
In 14th International Conference on Computer Aided Verification (CAV 2002),Copenhagen, Denmark, 27-31 July 2002
Brinksma E. and Larsen K.G. (eds.)
Lecture Notes in Computer Science, 2404, pp 582-595
Springer-Verlag, 2002ISBN 3-540-43997-8
[Abstract]An Algebra of Non-safe Petri Boxes
In 9th International Conference on Algebraic Methodology and Software Technology (AMAST 2002), Saint-Gilles-les-Bains, Reunion Island, France, 9-13 September 2002
Kirchner, H. and Ringeissen, C. (eds.)
Lecture Notes in Computer Science, 2422, pp 192-207
Springer-Verlag, 2002ISBN 3-540-44144-1
Enterprise Modelling Dynamics
In 6th World Multi-conference on Systemics, Cybernetics and Informatics, Orlando, Florida, USA, 14-18 July 2002
Callaos, N. and Lesso, W. (eds.)
XX, pp 7-12
International Institute of Informatics and Systemics, 2002ISBN 980-07-8146-3
2001
Computation with Chaotic Patterns
In 10th Annual Computational Neuroscience Meeting (CNS*2001), San Francisco and Pacific Grove, California, USA, 30 June - 5 July 2001
Bower, J.M. (ed)
Elsevier Health Sciences, 2001ISBN 0-444-51134-2
What's on the Electronic Health Horizon?
In UK E-Health Society Annual Conference, Bristol, UK, October 2001
2001
Notes : Invited paper
The benefits of multi-agent systems in spatial reasoning
In Proceedings of the Fourteenth International Florida Artificial Intelligence Research Society Conference, May 21-23, 2001, Key West, Florida, USA
Russell, I. and Kolen, J.F. (eds.)
pp 552-556
AAAI Press, 2001
Notes : FLAIRS Conference 2001.
RAJA: a resource-adaptive Java agent infrastructure
In Proceedings of the Fifth International Conference on Autonomous Agents, Montreal, Canada, May 28-June 1, 2001
Müller, J.P., André, E. et al. (eds.)
pp 332-339
ACM Press, 2001
Notes : AGENTS'01.
Two Path Prepositions: along and past
In Spatial Information Theory: Foundations of Geographic Information Science. International Conference, COSIT 2001, Morro Bay, CA, USA, September 19-23, 2001
Montello, D.R. (ed.)
Lecture Notes in Computer Science, 2205, pp 263-277
Springer-Verlag, 2001
Towards Statistically Valid Population Decoding Models
In 10th Annual Computational Neuroscience Meeting (CNS*2001), San Francisco and Pacific Grove, California, USA, 30 June - 5 July 2001
Bower, J.M. (ed)
Elsevier Health Sciences, 2001ISBN 0-444-51134-2
Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time
In 22nd International Conference on Application and Theory of Petri Nets (ICATPN 2001), Newcastle upon Tyne, UK, 25-29 June 2001
Colom, J.M. and Koutny, M. (eds.)
Lecture Notes in Computing Science, 2075, pp 363-381
Springer-Verlag, 2001ISBN 3-540-42252-8
Building Responsive and Reliable Distributed Services: Models and Design Options
In Workshop on CORBA Based Real-Time Fault-Tolerant Systems for Industrial Applications (CORFIA 2001), Bangalore, India, 6-7 April 2001
Centre for Development of Advanced Computing, Bangalore, 2001
[Abstract]Towards an Efficient Algorithm for Unfolding Petri Nets
In 12th International Conference on Concurrency Theory (CONCUR 2001), Aalborg, Denmark, 20-25 August 2001
Larsen, K.G. and Nielsen, M. (eds.)
Lecture Notes in Computer Science, 2154, pp 366-380
Springer-Verlag, 2001ISBN 3-540-42497-0
Selection procedures for module discovery: Exploring evolutionary algorithms for cognitive science
In Proceedings of the Twenty-Third Annual Conference of the Cognitive Science Society , August 1-4, 2001, University of Edinburgh, Edinburgh, Scotland
Moore, J.D. and Stenning, K. (eds.)
pp 1124 - 1129
Lawrence Erlbaum Associates, 2001
Optimal Caching Policies for Web Objects
In 9th International Conference High-Performance Computing and Networking (HPCN Europe 2001), Amsterdam, The Netherlands, 25-27 June 2001
Hertzberger, L.O., Hoekstra, A.G. and Williams, R. (eds.)
Lecture Notes in Computer Science, 2110, pp 94-103
Springer-Verlag, 2001ISBN 3-540-42293-5
Flexible Workflow Management in the OPENflow system
In 5th IEEE/OMG International Enterprise Distributed Object Computing Conference (EDOC 2001), Seattle, Washington, USA, 4-7 September 2001
pp 82-92
IEEE Computer Society Press, 2001ISBN 0-7695-1345-X
[Abstract]Implementing Communicating Processes in the Event of Interface Difference
In 2nd International Conference on Application of Concurrency to System Design (ACSD 2001), Newcastle upon Tyne, UK, June 25-29 2001
Valmari, A. and Yakovlev, A. (eds.)
pp 87-98
IEEE Computer Society Press, 2001ISBN 0-7695-1071-X
Comparing Fail-Silence Provided by Process Duplication versus Internal Error Detection for DHCP Server
In 15th IEEE International Parallel & Distributed Processing Symposium (IPDPS 2001), San Francisco, CA, 23-27 April 2001
pp 31
IEEE Computer Society Press, 2001ISBN 0-7695-0990-8
[Abstract]Decision Support for GPs
In Business IT Conference, Manchester Metropolitan University, Manchester, UK, 30 October 2001
2001
Randomized Multivalued Consensus
In 4th IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC 2001), Magdeburg, Germany, 2-4 May 2001
pp 195-200
IEEE Computer Society Press, 2001ISBN 0-7695-1089-2
Formal interactive systems analysis and usability inspection methods: Two incompatible worlds?
In Interactive Systems. Design, Specification and Verification. 7th International Workshop, DSV-IS 2000
Palanque, P. and Paterno, F. (eds)
Lecture Notes in Computer Science, 1946, pp 169-190
Springer-Verlag, 2001
Prototyping pre-implementation designs of virtual environment behaviour.
In Engineering for Human-Computer Interaction. 8th IFIP International Conference, EHCI 2001
Little, M.R. and Nigay, L. (eds)
Lecture Notes in Computer Science, 2254, pp 91-108
Springer, 2001
Real-Time Logic Revisited
In FME 2001: Formal Methods for Increasing Software Productivity
Oliveira, J.N. and Zave, P.
Lecture Notes in Computer Science, 2021, pp 300-317
Springer-Verlag, 2001
Theory and Practice of Building Reliable Distributed Applications
In 3rd IEEE International Symposium on Distributed Objects and Applications (DOA '01), Rome, Italy, 17-20 September 2001
Blair, G., Schmidt, D. and Tari, Z. (eds.)
pp 353-354
IEEE Computer Society Press, 2001ISBN 0-7695-1300-X
Experimenting with Object Navigation in Parallel Object Databases
In 4th International Workshop on Parallel and Distributed Databases (PaDD '01), part of the 12th International Workshop on Database and Expert Systems Applications (DEXA 2001), Munich, Germany, 3-7 September 2001
Tjoa, A.M. and Wagner, R.R. (eds.)
pp 103-109
IEEE Computer Society Press, 2001ISBN 0-7695-1230-5
[Abstract]True Anonymity Without Mixes
In 2nd IEEE Workshop on Internet Applications (WIAPP 2001), San Jose, CA, USA, 23-24 July 2001
pp 32-40
IEEE Computer Society Press, 2001ISBN 0-7695-1137-6
[Abstract]A Parallel VRML97 Server based on Active Objects
In 4th International Conference on Vector and Parallel Processing (VECPAR 2000), Porto, Portugal, 21-23 June 2000
Palma, J.M.L.M., Dongarra, J. and Hernandez, V. (eds.)
Lecture Notes in Computer Science, 1981, pp 47-60
Springer-Verlag, 2001ISBN 3-540-41999-3
An evaluation of two function allocation methods
In Human Interfaces in Control Rooms, Cockpits and Command Centres. 2nd International Conference on People in Control, Manchester, UK, June 2001
IEE Conference Publication, 481, pp 178-183
IEE Press, 2001
Taxonomy of Process Modeling Languages
In 2001 ACS/IEEE International Conference on Computer Systems and Applications (AICCSA 2001), Beirut, Lebanon, 25-29 June 2001
pp 435-437
IEEE Computer Society Press, 2001ISBN 0-7695-1165-1
Eigenvalue Analysis of a Transaction System with Failures & Rollback
In 11th INFORMS Applied Probability Conference, Columbia University, New York, USA, 25-27 July 2001
INFORMS, 2001
Measuring the Cost of Scalability and Reliability for Internet-Based, Server-Centered Applications
In 6th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2001), Rome, Italy, 8-10 January 2001
pp 59-68
IEEE Computer Society Press, 2001ISBN 0-7695-1068-X
[Abstract]PRECIS: An automated pipeline for producing concise reports about proteins
In Proceedings. 2nd annual IEEE International Symposium on Bioinformatics and Bioengineering (BIBE 2001), November 4-6, 2001, Bethesda, Maryland
pp 57-64
IEEE Computer Society , 2001
Aspects of Exceptions at the Meta-level
In 3rd International Conference on Metalevel Architectures and Separation of Crosscutting Concerns (REFLECTION 2001), Kyoto, Japan, 25-28 September 2001
Yonezawa, A. and Matsuoka, S. (eds.)
Lecture Notes in Computer Science, 2192, pp 280-281
Springer-Verlag, 2001ISBN 3-540-42618-3
Aspects of Exceptions at the Meta-Level
In International Workshop on Reflection
Cooperative Systems Engineering Group (CSEG) Technical Reports, CSEG/03/01, pp 38-43
Computing Department, Lancaster University, 2001
THEA: A technique for human error assessment early in design.
In Human Computer Interaction - INTERACT'01, IFIP TC.13 International Conference,Tokyo, July 2001
Hirose, M. (ed)
pp 247-254
IOS Press, 2001
Probing the persistent question marks
In GECCO-2001. Proceedings of the Genetic and Evolutionary Computation Conference ... July 7-11, 2001, San Francisco, California
Spector, L. (ed.)
pp 710-717
Morgan Kaufmann, 2001
Numerical Methods for Coupled Normal-Fluid and Superfluid Flows in Helium II
In 2000 Conference on Quantized Vortex Dynamics and Superfluid Turbulence, Isaac Newton Institue for Mathematics, Cambridge, UK, August 2000
Barenghi, C.F., Donnelly, R.J. and Vinen, W.F. (eds.)
Lecture Notes in Physics, 571, pp 162-176
Springer-Verlag Heidelberg, 2001ISBN 3-540-42226-9
Using Rewriting Logic to implement the modal logic FULL
In 1st Workshop on Automated Verification of Critical Systems (AVoCS '01), Computing Laboratory, Oxford University, UK, 19-20 April 2001
Nowak, D. (ed)
OUCL Technical Reports, PRG-RR-01-07,
Oxford University Computing Laboratory, 2001
A Note on Proactive Password Checking
In New Security Paradigms Workshop 2001, September 10th-13th, Cloudcroft, NM, USA
pp 127-135
ACM, 2001
A Distributed Object Model for Solving Irregularly Structured Problems on Cluster
In 3rd IEEE International Conference on Cluster Computing (CLUSTER 2001), Newport Beach, California, USA, 8-11 October 2001
Katz, D.S. (ed)
pp 187-190
IEEE Computer Society Press, 2001ISBN 0-7695-1116-3
Evaluation Needs for Successful Software Product Line Engineering
In Dagstuhl Seminar No. 01161: Product Family Development, Schloss Dagstuhl, 16-20 April 2001
pp 51-56
2001
Research, design, development of a tool for the support of computerised repeat prescribing management in UK general practice
In 2001 British Computer Society Health Informatics Committee Healthcare Computing Conference: Current Perspectives in Healthcare Computing 2001 (HC2001), Harrogate, UK, 19-21 March 2001
Bryant, J. (ed)
British Computer Society Health Informatics Committee, 2001ISBN 0-9535427-5-0
Implementing Product Line Variabilities
In SSR'01. 2001 Symposium on Software Reusability: putting software reuse in context, Toronto, Ontario, Canada, May 18-20, 2001
pp 109-117
ACM Press, 2001ISBN 0163-5948
Notes : Published as ACM SIGSOFT Software Engineering Notes Vol. 26, no. 3, 2001
Protective Wrapping of OTS Components
In 4th ICSE Workshop on Component-Based Software Engineering: Component Certification and System Prediction (part of the 23rd IEEE International Conference on Software Engineering (ICSE 2001)), Toronto, Canada, 14-15 May 2001 , Toronto, 14-15 May 2001
Crnkovic, I., Schmidt, H., Stafford, J. and Wallnau, K. (eds.)
IEEE Computer Society Press, 2001
Looking Ahead in Atomic Actions with Exception Handling
In 20th IEEE Symposium on Reliable Distributed Systems, October 28-31, 2001, New Orleans, Louisiana, USA
pp 142-151
IEEE Computer Society, 2001
Towards the formal analysis of a group communication protocol
In 2001 International Conference on Dependable Systems and Networks (DSN-2001), Gothenburg, Sweden, 1-4 July 2001
IEEE Computer Society Press, 2001ISBN 0-7695-1101-5
A Dependable Distributed Auction System: Architecture and an Implementation Framework
In 5th International Symposium on Autonomous Decentralized Systems (ISADS 2001), Dallas, Texas, USA, 26-28 March 2001
pp 3-10
IEEE Computer Society Press, 2001ISBN 0-7695-1065-5
[Abstract]Synthesis of Net Systems with Inhibitor Arcs from Step Transition Systems
In 2nd International Conference on Application of Concurrency to System Design (ACSD 2001), Newcastle upon Tyne, UK, 25–30 June 2001
Valmari, A. and Yakovlev, A. (eds.).
pp 245-254
IEEE Computer Society Press, 2001ISBN 0-7695-1071-X
Farmers' decision-making in relation to the environment
In 12th Conference of the Institute of Ecology and Environmental Management - Ecologists and the rural economy: what can ecology and environmental managment offer?, Scotland, November 2000
Legg, P. (ed)
pp 34-53
Institute of Ecology and Environmental Management, 2001
Thinking Tools for the Future of Computing Science
In Informatics : 10 Years Back, 10 Years Ahead
Wilhelm, R. (ed)
Lecture Notes in Computer Science, 2000, pp 112-130
Springer-Verlag, 2001ISBN 3-540-41635-8
Notes : Invited Paper. Dagstuhl 10th Anniversary Conference, Saarland University Campus, Saarbrücken, Germany, 27-31 August 2000.
[Abstract]Kava - Using Bytecode Rewriting to add Behavioural Reflection to Java
In 6th USENIX Conference on Object-Oriented Technologies and Systems (COOTS 2001), San Antonio, Texas, USA, 29 January - 2 February 2001
pp 119-130
USENIX Association, 2001
The Sierpinski Brain
In INNS - IEEE International Joint Conference on Neural Networks (IJCNN 2001), Washington DC, USA, 15-19 July 2001
IJCNN 2001 Proceedings, 1, pp 654-659
IEEE Press, 2001ISBN 0-7803-7044-9
Software Architectures and Open Source Software - Where can Research Leverage the Most?
In 1st Workshop on Open Source Software Engineering: Making Sense of the Bazaar (part of the 23rd IEEE International Conference on Software Engineering (ICSE 2001)), Toronto, Canada, 15 May 2001
Feller, J., Fitzgerald, B. and van der Hoek, A. (eds.)
pp 3-5
2001
Verifying Implementation Relations in the Event of Interface Difference
In International Symposium of Formal Methods Europe, FME 2001: Formal Methods for Increasing Software Productivity, Berlin, Germany, 12-16 March 2001
Oliveira, J.N. and Zave, P. (eds.)
Lecture Notes in Computer Science, 2021, pp 364-383
Springer-Verlag, 2001ISBN 3-540-41791-5
Responsibility in GP Repeat Prescribing
In 2001 DIRC Workshop on Dependability in Heathcare Informatics, Edinburgh, UK, 22-23 March 2001
Procter, R. (ed)
pp 10-14
DIRC, 2001
A Model and Architecture for Conducting Hierarchically Structured Auctions
In 4th IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC 2001), Magdeburg, Germany, 2-4 May 2001
pp 129-137
IEEE Computer Society Press, 2001ISBN 0-7695-1089-2
[Abstract]Implementing a Modal Logic over Data and Processes using XTL
In 21st IFIP TC 6/WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2001), Cheju Island, Korea, 28-31 August 2001
Kim, M., Chin, B., Kang, S. and Lee, D. (eds.)
IFIP Conference Proceedings, 197, pp 201-218
Kluwer Academic Publishers, 2001ISBN 0-7923-7470-3
Transaction Support for Ada
In 6th Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 2001), Leuven, Belgium, 14-18 May 2001
Craeynest, D. and Strohmeier, A. (eds)
Lecture Notes in Computer Science, 2043, pp 290-304
Springer-Verlag, 2001ISBN 3-540-42123-8
Attacks in IT Systems: a Human Factors-Centred Approach (Paper B-72)
In 2001 International Conference on Dependable Systems and Networks (DSN-2001): Supplement, Gothenburg, Sweden, 1-4 July 2001
pp B72 - 73
IEEE Computer Society Press, 2001ISBN 0-7695-1101-5
An Experimental Performance Evaluation of Join Algorithms for Parallel Object Databases
In 7th International Euro-Par Conference (Euro-Par 2001), Manchester, UK, 28-31 August 2001
Sakellariou, R., et. al. (eds.)
Lecture Notes in Computer Science, 2150, pp 280-290
Springer-Verlag, 2001ISBN 3-540-42495-4
[Abstract]MAFTIA (Malicious- and Accidental-Fault Tolerance for Internet Applications)
In 2001 International Conference on Dependable Systems and Networks (DSN-2001), Gothenburg, Sweden, 1-4 July 2001
pp D32-D35
IEEE Computer Society Press, 2001ISBN 0-7695-1101-5
On Systematic Design of Protectors for Employing OTS Items
In 27th Euromicro Conference, Warsaw, Poland, 4-6 September 2001
pp 22-29
IEEE Computer Society Press, 2001ISBN 0-7695-1236-4
On Applying Coordinated Atomic Actions and Dependable Software Architectures for Developing Complex Systems
In 4th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), Magdeburg, Germany, 2-4 May 2001
pp 103-112
IEEE Computer Society Press, 2001ISBN 0-7695-1089-2
DSoS (Dependable Systems of Systems)
In 2001 International Conference on Dependable Systems and Networks (DSN-2001), Gothenburg, Sweden, 1-4 July 2001
pp D28-D31
IEEE Computer Society Press, 2001ISBN 0-7695-1101-5
The CORBA Activity Service Framework for Supporting Extended Transactions
In 2001 IFIP/ACM International Conference on Distributed Systems Platforms (Middleware 2001), Heidelberg, Germany, 12-16 November 2001
Guerraoui, R. (ed)
Lecture Notes in Computer Science, 2218, pp 197-215
Springer-Verlag, 2001ISBN 3-540-42800-3
[Abstract]Exception Handling in Component-based System Development
In 25th Annual International Computer Software and Application Conference (COMPSAC 2001), Chicago, IL, USA, 8–12 October 2001
pp 580-586
IEEE Computer Society Press, 2001ISBN 0-7695-1372-7
2000
Concepts and Tools for E-Service Development
In 7th Plenary Workshop of the HP OpenView University Association (HP-OVUA '00), Santorini, Greece, 12-14 June 2000
Electronic Proceedings of the HP-OVUA Workshops,
HP OpenView University Association, 2000
Simulation of a Telecommunication System using SimML
In 33rd IEEE/SCS Annual Simulation Symposium (SS 2000), Washington DC, USA, 16-22 April 2000
pp 131-138
IEEE Computer Society Press, 2000ISBN 0-7695-0598-8
[Abstract]Emergent Coordination for Distributed Information Management
In 2000 Congress on Evolutionary Computation (CEC 00), La Jolla Marriott Hotel, La Jolla, California, USA, 16-19 July 2000
Proceedings of the 2000 Congress on Evolutionary Computation, 2, pp 946-950
IEEE Press, 2000ISBN 0-7803-6375-2
PaDDMAS: Parallel and Distributed Data Mining Application Suite
In 14th International Parallel and Distributed Processing Symposium (IPDPS 2000), Cancun, Mexico, 1-5 May 2000
pp 387-392
IEEE Computer Society Press, 2000ISBN 0-7695-0574-0
A UML Tool for an Automatic Generation of Simulation Programs
In 2nd International Workshop on Software and Performance (WOSP 2000), Ottawa, Canada, 17-20 September 2000
pp 71-76
ACM Press, New York, 2000ISBN 1-58113-195-X
[Abstract]Modelling the spread of antibiotic resistance
In Proceedings of the 2000 Congress on Evolutionary Computation : CEC 2000, July 16 - 19 , 2000, La Jolla, California, USA
2, pp 1152-1159
IEEE, 2000
Mathematical Models of Computer Security
In IFIP TC 1 WG 1.7 International School on Foundations of Security Analysis and Design (FOSAD 2000), Bertinoro, Italy, September 2000
2000
Gotos Considered Harmful and Other Programmers' Taboos
In 12th Annual Workshop of the Psychology of Programming Interest Group (PPIG 2000), Corigliano Calabro, Cosenza, Italy, 10th-13th April 2000
Blackwell, A.F. and Bilotta, E. (eds.)
pp 171-177
Memoria, 2000ISBN 88-87373-21-3
[Abstract]Static Testing Tools for TCL
In 1st European Tcl/Tk User Meeting, Hamburg, Germany, 15th-16th June 2000
2000
An Exception Handling Framework for N-Version programming in Object Oriented Systems
In 3rd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), Newport Beach, California, USA, 15–17 March 2000
pp 226-233
IEEE Computer Society Press, 2000ISBN 0-7695-0607-0
Using COALA to Develop a Distributed Object-Based Application
In 2000 IEEE International Symposium on Distributed Objects and Applications (DOA 2000), Antwerp, Belgium, 21-23 September 2000
Drew, P., Meersman, R., Tari, Z. and Zicari, R. (eds.)
pp 195-208
IEEE Computer Society Press, 2000ISBN 0-7695-0819-7
The NU-Grid Persistent Object Computation Server
In 1st European GRID Forum Workshop, Poznan, Poland, 12-13 April 2000 (part of the ISTHMUS 2000 Conference)
pp 357-364
Instytut Informatyki, Politechnika Poznánska, Poznan, 2000ISBN 83-913639-0-2
Policies for Using Replica Groups and their Effectiveness over the Internet
In 2nd International Workshop on Networked Group Communication (NGC 2000), Stanford University, Palo Alto, California, USA, 8-10 November 2000
pp 119-129
ACM Press, New York, 2000ISBN 1-58113-312-X
[Abstract]Exception Handling in Object-Oriented Systems
In ECOOP 2000 Workshops, Panels, and Posters: Object-Oriented Technology; part of the 14th European Conference on Object-Oriented Programming (ECOOP 2000), Sophia Antipolis and Cannes, France, 12-16 June 2000
Malenfant, J., Moisan, S. and Moreira, A.M.D. (eds.)
Lecture Notes in Computer Science, 1964, pp 16-31
Springer-Verlag, 2000ISBN 3-540-41513-0
Visual Object-Oriented Development of Parallel Applications
In IEEE VL 2000 Satellite Workshop on Visual Methods for Parallel and Distributed Programming, Seattle, USA, 14 September 2000. Part of the 2000 IEEE Symposium on Visual Languages (VL 2000), Seattle, USA, 10-14 September 2000
Wirtz, G. and Zhang, K. (eds.)
2000
Polar: An Architecture for a Parallel ODMG Compliant Object Database
In 9th International Conference on Information Knowledge Management (CIKM 2000), McLean, Virginia, USA, 6-11 November 2000
Agah, A., Callan, J. and Rundensteiner, E. (eds)
pp 352-359
ACM Press, New York, 2000ISBN 1-58113-320-0
[Abstract]Compositionality, Inference and Concurrency
In 1999 Oxford-Microsoft Symposium in honour of Professor Sir Tony Hoare: Millennial Perspectives in Computer Science, St. Catherine's College, Oxford University, UK, September 1999
Davies, J., Roscoe, A.W. and Woodcock, J. (eds.)
Cornerstones of Computing, pp 175-186
Palgrave Macmillan, 2000ISBN 0-333-92230-1
A Systematic Approach for Development of Reactive Real-Time Systems
In 10th Annual International Symposium of the International Council on Systems Engineering, Minneapolis, Minnesota, USA, July 16-20, 2000
pp 489-494
INCOSE, 2000
Handling Inconsistency with the Universal Reference Model
In International Conference on Modelling and Simulation (MS2000), Las Palmas, Spain, 25-29 September 2000
Berriel, R. Hermnadez, V., Montenegro, R., and Rocha, J. (eds)
pp 611-618
2000
Managing and supporting the use of COTS
In 8th Safety-Critical Systems Symposium, Southampton, UK, 2000
Redmill, F. and Anderson, T. (eds.)
Safety-Critical Systems Club, pp 284-300
Springer, London, 2000ISBN 1-852-33249-2
Using Reflection as a Mechanism for Enforcing Security Policies in Mobile Code
In 6th European Symposium on Research in Computer Security (ESORICS 2000), Toulouse, France, 4-6 October 2000
Cuppens, F., Deswarte, Y., Gollmann, D. and Waidner, M. (eds.)
Lecture Notes in Computer Science, 1895, pp 309-323
Springer-Verlag, 2000ISBN 3-540-41031-7
Fundamental Concepts of Dependability
In 3rd IEEE Information Survivability Workshop (ISW-2000), Boston, Massachusetts, USA, October 24-26, 2000
pp 7-12
Software Engineering Institute, Carnegie-Mellon University, Pittsburgh, 2000
The XenoService -- A Distributed Defeat for Distributed Denial of Service
In Third Information Survivability Workshop (ISW-2000), Boston, MA, October 24-26 2000
pp 195-200
IEEE, 2000
Kava - A Reflective Java Based on Bytecode Rewriting
In 1st OOPSLA Workshop on Reflection and Software Engineering (OORaSE 1999), Reflection and Software Engineering, Denver, CO, USA, November 1999
Cazzola, W., Stroud, R.J. and Tisato, F. (eds.)
Lecture Notes in Computer Science, 1826, pp 155-167
Springer-Verlag, 2000ISBN 3-540-67761-5
Some Shadows of Eternity - the Internet and Memorials to the Dead
In GEMISIS Millennium Conference, University of Salford, Manchester, UK, 16-18 May 2000
2000
Using agent technologies to provide an exception handling mechanism in an object-oriented environment
In IEEE Workshop on Object-Oriented Reliable Distributed Systems, Nurnberg, Germany
2000
Efficient Parallel Simulation of a Sliding Window Protocol
In 7th IFIP International Conference on ATM Networks, Ilkley, UK, 2000
2000
Optimal Allocation Policies for Mobile Agents
In 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools (TOOLS 2000), Schaumburg, IL, USA, 27-31 March 2000
Haverkort, B.R., Bohnenkamp, H.C. and Smith, C.U. (eds.)
Lecture Notes in Computer Science, 1786, pp 145-155
Springer-Verlag, 2000ISBN 3-540-67260-5
CamPlan: A Camera Planning Agent
In Smart Graphics. Papers from the 2000 AAAI Spring Symposium, Stanford, March 20-22, 2000
pp 92-100
American Association for Artificial Intelligence, 2000
Modelling Agents using the Hotel Analogy: Sanitised for your Protection?
In AISB '00 Symposium on Starting from Society - the Application of Social Analogies to Computational Systems, Birmingham, UK, April 2000
pp 67-72
AISB, 2000ISBN 1-902956-13-8
Dependability of Computer-Based Systems
In XIV Simposia Brasiliero de Engenharia de Software (14th Brazilian Symposium on Software Engineering) (SBES-2000), Joao Pessoa, Paraiba, Brazil, 4-6 October 2000
pp 16-20
2000
Notes : Invited Lecture
A Methodology for Animating Dynamic Enterprise Networks
In World Computing Congress WCC200,conference ITBM 2000: Information Technology for Business Management; Beijing, 21-25 August, 2000
Renchu Gan
pp 872
NCP, 2000ISBN 7 5053 6112 0
D.E.M.: A method for constructing and animating roles and responsibilities of enterprise models
In 16th International Conference on CAD/CAM, Robotics & Factories of the Future (CARS & FOF 2000), Port of Spain, Trinidad & Tobago, 26-28 June 2000
Persad, P. (ed)
2, pp 705-712
IEE, 2000ISBN 976-620-140-4
Diversity for Off-The-Shelf Components
In 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), Workshops and Fast Abstracts Digest, New York, USA, 25-28 June 2000
pp 61-62
IEEE Computer Society Press, 2000ISBN 0-7695-0707-7
Towards Modelling and Verification of Concurrent Ada Programs using Petri Nets
In International Workshop on Software Engineering and Petri Nets (SEPN 2000) (in conjunction with the 21st International Conference on Application and Theory of Petri Nets (ICATPN 2000)), Aarhus, Denmark, 26 June 2000
Pezze, M. and Shatz, S.M. (eds.)
pp 115-134
Dept. of Computer Science, University of Aarhus, Denmark, 2000ISBN 0105-8517
An Architecture for a Parallel Object Database
In Workshop on High Performance Object Databases (HIPOD 2000), Cardiff University, Cardiff, UK, 20-21 July 2000
Rana, O.F. and Caine, N. (eds.)
Department of Computer Science, Cardiff University, 2000
Creating Product Line Architectures
In Software Architectures for Product Families. International Workshop IW-SAPF-3, Las Palmas de Gran Canaria, Spain, March 15-17, 2000
van der Linden, F. (ed)
Lecture Notes in Computer Science, 1951, pp 210-216
Springer-Verlag, 2000ISBN 3-540-41480-0
Exploring Timing Properties Using VDM++ on an Industrial Application
In VDM Workshop - York
2000
Issues in designing group invocation and management policies for using replica groups over the Internet
In International SRDS Workshop on Dependable System Middleware and Group Communication (DSMGC 2000). Held as part of the 19th IEEE Symposium on Reliable Distributed Systems (SRDS '00), Nürnberg, Germany, 16-18 October 2000
IEEE Computer Society, 2000
[Abstract]Implementing Scalable Networked Virtual Environments using Replicated VRML Servers
In International SRDS Workshop on Object-Oriented Reliable Distributed Systems (WOODS 2000). Held as part of the 19th IEEE Symposium on Reliable Distributed Systems (SRDS '00), Nürnberg, Germany, 16-18 October 2000
IEEE Computer Society, 2000
Loads and Delays in Distributed Systems using Multicast
In 16th Annual UK Performance Engineering Workshop (UKPEW 2000), University of Durham, Durham, UK, 24-25 July 2000
Thomas, N. and Bradley, J. (eds.)
Dept. of Computer Science, University of Durham, 2000
Implementing Flexible Object Group Invocation in Networked Systems
In 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), New York, USA, 25-28 June 2000
pp 439-448
IEEE Computer Society Press, 2000ISBN 0-7695-0707-7
[Abstract]A Workflow and Agent based Platform for Service Provisioning
In 4th IEEE/OMG International Enterprise Distributed Object Computing Conference (EDOC 2000), Makuhari, Japan, 25-28 September 2000
pp 38-47
IEEE Computer Society Press, 2000ISBN 0-7695-0865-0
[Abstract]A Framework for Dynamic Supply Chain Modelling
In International Conference on Manufacturing (ICM2000), Dhaka, Bangladesh, 24-26 February 2000
Anwarul Haque, A.F.M., Ahmed, M. ,Dhar, N.R. and Begum, S. (eds)
pp 423-430
ICM, 2000
LP Deadlock Checking Using Partial Order Dependencies
In 11th International Conference on Concurrency Theory (CONCUR 2000), University Park, Pennsylvania, USA, August 22-25, 2000
Palamidessi, C. (ed)
Lecture Notes in Computer Science, 1877, pp 410-425
Springer-Verlag, 2000ISBN 3-540-67897-2
Expert error: The case of trouble-shooting in electronics
In Computer Safety, Reliability and Security. 19th International Conference (SAFECOMP 2000), Rotterdam, The Netherlands, 24-27 October 2000
Koornneef, F. and Meulen, M. van der(eds.)
Lecture Notes in Computer Science, 1943, pp 74-85
Springer-Verlag, 2000ISBN 3-540-41186-0
[Abstract]On Persistent and Reliable Streaming in Ada
In 5th Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe 2000), Potsdam, Germany, 26-30 June 2000
Keller, H. B. and Plöderer, E. (eds.)
Lecture Notes in Computer Science, 1845, pp 82-95
Springer-Verlag, 2000ISBN 3-540-67669-4
Process Semantics of P/T-Nets with Inhibitor Arcs
In 21st International Conference on Application and Theory of Petri Nets (ICATPN 2000), Aarhus, Denmark, June 26-30, 2000
Neilsen, M. and Simpson, D. (eds.)
Lecture Notes in Computer Science, 1825, pp 261-281
Springer-Verlag, 2000ISBN 3-540-67693-7
A Compositional Model of Time Petri Nets
In 21st International Conference on Application and Theory of Petri Nets (ICATPN 2000), Aarhus, Denmark, June 26-30, 2000
Neilsen, M. and Simpson, D. (eds.)
Lecture Notes in Computer Science, 1825, pp 303-322
Springer-Verlag, 2000ISBN 3-540-67693-7
PuLSE-I: Deriving Instances from a Product Line Infrastructure
In 7th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS 2000), 3-7 April 2000, Edinburgh, Scotland
pp 237-245
IEEE Computer Society Press, 2000ISBN 0-7695-0604-6
Implementation Issues in Product Line Scoping
In Software Reuse: Advances in Software Reliability. 6th International Conference, ICSR-6, Vienna, Austria, June 27-29, 2000
Frakes, W.B. (ed)
Lecture Notes in Computer Science, 1844, pp 170-189
Springer-Verlag, 2000ISBN 3-540-67696-1
Efficient Distributed Simulation of a Communication Switch with Bursty Sources and Losses
In 14th ACM/IEEE/SCS Workshop on Parallel and Distributed Simulation (PADS 2000), Bologna, Italy, 28-31 May 2000
Bruce, D., Donatiello, L. and Turner, S. (eds.)
pp 85-92
IEEE Computer Society Press, 2000ISBN 0-7695-0667-1
1999
Modeling Dynamic Networks: Advantages and Limitations of the O-O Approach
In 31st International Conference on Technology of Object-Oriented Language and Systems
Chen, J. and Lu, J. (eds)
TOOLS Series, pp 448-457
IEEE Computer Society, 1999
Visual Composition as Optimisation
In AISB Symposium on AI and Creativity in Entertainment and Visual Art, Edinburgh, April 1999
pp 22-30
AISB, 1999
Case Based Reasoning Systems for Knowledge Mediation.
In Human-Computer Interaction - Interact '99, Edinburgh
Sasse, M.A. and Johnson, C. (eds)
pp 425-433
IOS Press, 1999
The 'QoS Query Service' for Improved Quality-of-Service Decision Making in CORBA
In 18th IEEE Symposium on Reliable Distributed Systems, October 19-22, 1999, Lausanne, Switzerland
pp 274-287
IEEE Computer Society, 1999
Enterprise Thesaurus: Enterprise Modelling Approach
In IFIP International Enterprise Modelling Conference IEMC '99, Verdal, Norway, 14-16 June, 1999
pp 123-135
SINTEF, 1999
CORBA Transactions Through Firewalls
In 1999 IEEE International Symposium on Distributed Objects and Applications (DOA '99), Edinburgh, UK, 5-7 September 1999
Tari, Z., Meersman, R., Soley, R. and Bukhres, O. (eds.)
pp 284-295
IEEE Computer Society Press, 1999ISBN 0-7695-0182-6
[Abstract]Farmers' knowledge information networks: a key component to be incorporated into the development and transfer of knowledge
In XXXVII Congresso Brasileiro de Sociologia e Economia Rural, Foz do Iguaçu, Brazil, 1999
SOBER/Sonopress, 1999
Understanding the Role of Atomic Transactions and Group Communications in Implementing Persistent Replicated Objects
In 8th International Workshop on Persistent Object Systems: Design, Implementation and Use (POS8), Advances in Persistent Object Systems, Tiburon, California, USA, 30 August - 1 September 1998
Morrison, R., Jordan, M.J. and Atkinson, M.P. (eds.)
pp 17-28
Morgan Kaufmann, 1999ISBN 1-55860-585-1
[Abstract]Object decomposition in transactional applications
In 8th High Performance Transaction Processing Workshop (HPTS99), Asilomar Conference Center, Pacific Grove, California, USA, 26-29 September 1999
1999
Exception Handling in a Cooperative Object-Oriented Approach
In 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '99), St. Malo, France, 2-5 May 1999
pp 3-13
IEEE Computer Society Press, 1999ISBN 0-7695-0207-5
A Semidefinite Programming Approach to the Optimal Control of a Single Server Queueing System with Imposed Second Moment Constraints
In 10th INFORMS Applied Probability Conference, Ulm, Germany, 26-28 July 1999
INFORMS, 1999
Implementing High Availability CORBA Applications with Java
In 1st IEEE Workshop on Internet Applications (WIAPP '99), San Jose, CA, USA, 26-27 July 1999
pp 112-119
IEEE Computer Society Press, 1999ISBN 0-7695-0197-4
[Abstract]On the Provision of Replicated Internet Auction Services
In 1999 IEEE Workshop on Electronic Commerce (WELCOM '99), part of the 18th IEEE Symposium on Reliable Distributed Systems (SRDS '99), Lausanne, Switzerland, 19-22 October 1999
pp 390-395
IEEE Computer Society Press, 1999ISBN 0-7695-0290-3
[Abstract]Engineering Look-Ahead in Distributed Conversations
In 4th International Symposium on Autonomous Decentralized Systems (ISADS '99), Tokyo, Japan, 20-23 March 1999
pp 142-149
IEEE Computer Society Press, 1999ISBN 0-7695-0137-0
A Method for Combining Replication with Cacheing
In 1999 IEEE Workshop on Reliable Middleware (WREMI '99), part of the 18th IEEE Symposium on Reliable Distributed Systems (SRDS '99), Lausanne, Switzerland, 19-22 October 1999
pp 316-321
IEEE Computer Society Press, 1999ISBN 0-7695-0290-3
[Abstract]ClusterProbe: An Open, Flexible and Scalable Cluster Monitoring Tool
In 1st IEEE International Workshop on Cluster Computing (IWCC’99), Melbourne, Australia, 2-3 December, 1999
Buyya, R. (ed)
pp 261-268
IEEE Computer Society Press, 1999ISBN 0-7695-0343-8
Non-linear continuum regression using genetic programming
In 1st Genetic and Evolutionary Computation Conference (GECCO-99), Orlando, Florida, USA, July 1999
Banzhaf, W. et. al. (eds.)
GECCO-99 Proceedings, 2, pp 1106-1111
Morgan Kaufmann, 1999ISBN 1-55860-611-4
A Distributed Object-Oriented Framework for Dependable Multiparty Interactions
In 1999 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA '99), Denver, Colorado, USA, 1-5 November 1999
pp 435-446
Addison-Wesley/ACM Press, New York, 1999ISBN 0-201-48561-3
From Dalang to Kava - The Evolution of a Reflective Java Extension
In 2nd International Conference on Meta-Level Architectures and Reflection (Reflection '99), Saint-Malo, France, 19-21 July 1999
Cointe, P. (ed.)
Lecture Notes in Computer Science, 1616, pp 2-21
Springer-Verlag, 1999ISBN 3-540-66280-4
The Informed Traveller: A Case Study in Building Internet Brokering Services
In 1st IEEE Workshop on Internet Applications (WIAPP '99), San Jose, CA, USA, 26-27 July 1999
pp 44-53
IEEE Computer Society Press, 1999ISBN 0-7695-0197-4
[Abstract]Improving controller performance using genetically evolved structures with co-adaptation
In 18th IASTED International Conference on Modelling, Identification and Control (MIC 99), Innsbruck, Austria, February 1999
Hamza, M.H. (ed)
pp 316-319
ACTA Press, 1999ISBN 0-88986-239-7
The NIP Parallel Object-Oriented Computational Model
In 3rd International Workshop on Communication, Architecture and Applications for Network-based Parallel Computing (CANPC 1999), Orlando, Florida, USA, 9 January 1999
Sivasubramaniam, A. and Lauria, M. (eds.)
Lecture Notes in Computer Science, 1602, pp 122-136
Springer-Verlag, 1999ISBN 3-540-65915-3
A Distributed Object-Oriented Method for Particle Simulations on Clusters
In 7th International Conference on High-Performance Computing and Networking (HPCN Europe 1999), Amsterdam, The Netherlands, 12-14 April 1999
Sloot, P.M.A., Bubak, M., Hoekstra, A.G. and Hertzberger, B. (eds.)
Lecture Notes in Computer Science, 1593, pp 251-259
Springer-Verlag, 1999ISBN 3-540-65821-1
Analysis and Optimization of a Distributed Directory
In 10th GI/ITG Special Interest Conference (MMB '99), Trier, Germany, 22-24 September 1999
Baum, D., Müller, N.T. and Rödler, R. (eds.)
pp 201-211
VDE Verlag GmbH, Berlin, 1999ISBN 3-8007-2472-3
Automatic Generation of Distributed System Simulations from UML
In 13th European Simulation Multiconference (ESM'99), Warsaw, Poland, 1-4 June 1999
Szczerbicka, H. (ed)
ESM'99: Modelling and Simulation : A Tool for the Next Millenium, 1, pp 85-91
SCS Publishing House, 1999ISBN 1-56555-171-0
[Abstract]Architectural Discourse for Information Systems
In 4th Annual Conference of the UK Academy for Information Systems (UKAIS '99), University of York, UK, 7-9 April 1999
Brooks, L. and Kimble, C. (eds.)
McGraw-Hill Publishing, 1999ISBN 0-07-709558-8
Enhancing Replica Management Services to Tolerate Group Failures
In 2nd IEEE International Symposium on Object Oriented Real-Time Computing (ISORC '99), St. Malo, France, 2-5 May 1999
pp 263-270
IEEE Computer Society Press, 1999ISBN 0-7695-0207-5
[Abstract]A Multicast Transport Protocol for Reliable Group Applications
In 1st International Workshop on Networked Group Communication (NGC 1999), Pisa, Italy, 17-20 November 1999
Rizzo, L. and Fdida, S. (eds.)
Lecture Notes in Computer Science, 1736, pp 170-187
Springer-Verlag, 1999ISBN 3-540-66782-2
Approximation of Chaotic Shapes with Tree-Structured Neural Networks
In INNS - IEEE International Joint Conference on Neural Networks (IJCNN '99), Washington DC, USA, 10-16 July 1999
IJCNN '99 Proceedings, 2, pp 817-820
IEEE Press, 1999ISBN 0-7803-5532-6
The Design of an ODMG Compatible Parallel Object Database Server
In 3rd International Conference on Vector and Parallel Processing (VECPAR '98), Porto, Portugal, 21-23 June 1998
Palma, J.M.L.M., Dongarra, J. and Hernandez, V. (eds.)
Lecture Notes in Computer Science, 1573, pp 593-621
Springer-Verlag, 1999ISBN 3-540-66228-6
[Abstract]Dealing with Environmental Dynamics
In 11th Belgium-Dutch Artificial Intelligence Conference (BNAIC '99), Maastricht University, Netherlands, 3-4 November 1999
pp 211-218
1999
Abstract Object State and Version Recovery in N-Version Programming
In 29th IEEE International Conference on Technology of Object-Oriented Languages and Systems (TOOLS / Europe-29 '99), Nancy, France, 7-10 June 1999
Mitchell, R., Cameron, A.C., Bosch, J. and Meyer, B. (eds.)
pp 86-95
IEEE Computer Society Press, 1999ISBN 0-7695-0275-X
Automatically Detecting Mismatches during Component-Based and Model-Based Development
In 14th IEEE International Conference on Automated Software Engineering (ASE '99), Cocoa Beach, FL, USA, 12-15 October 1999
pp 191-198
IEEE Computer Society Press, 1999ISBN 0-7695-0415-9
On N-Version Programming and Exception Handling
In 10th European Workshop on Dependable Computing (EWDC-10): Design Methods and Tools for Dependable Systems and Quality of Service, Vienna, Austria, 6-7 May 1999
Puschner, P. (ed)
Schriftenreihe - Osterreichischen Computer Gesellschaft, 125, pp 126-130
Österreichische Computer Gesellschaft, 1999ISBN 3-85403-125-4
VERITY: Towards an integrated information searching and skills development system for young people
In World Wide Web:Technologies and Applications for the New Millenium
Young, G. (ed)
pp 221-227
CSREA Press, 1999
Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions
In 29th International Symposium on Fault-Tolerant Computing (FTCS-29), Madison, Wisconsin, USA, 15–18 June 1999
pp 68-75
IEEE Computer Society Press, 1999ISBN 0-7695-0213-X
Large Scale and Heavy Traffic Asymptotics for Systems with Unreliable Servers
In 10th INFORMS Applied Probability Conference, Ulm, Germany, 26-28 July 1999
INFORMS, 1999
Design and Implementation of a CORBA Fault-Tolerant Object Group Service
In 2nd IFIP TC 6 WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems (DAIS 1999), Helsinki, Finland, 28 June - 1 July 1999
Kutvonen, L., Koenig, H. and Tienari, M. (eds.)
IFIP Conference Proceedings, 143, pp 361-374
Kluwer Academic Publishers, 1999ISBN 0-7923-8527-6
[Abstract]Fault Tolerance in Decentralized Systems
In 4th International Symposium on Autonomous Decentralized Systems (ISADS '99), Tokyo, Japan, 20-23 March 1999
pp 174-179
IEEE Computer Society Press, 1999ISBN 0-7695-0137-0
Process Algebra and Non-Interference
In 12th IEEE Computer Security Foundations Workshop (CSFW '99), Mordano, Italy, 28-30 June 1999
pp 214-227
IEEE Computer Society Press, 1999ISBN 0-7695-0201-6
Modelling Enterprises in Context
In International Conference on Computational Intelligence for Modelling, Control and Automation (CIMCA '99), Vienna, Austria, 17-19 February 1999
Mohammadian, M. (ed)
Concurrent Systems Engineering Series, 56,
IOS Press, 1999ISBN 90-5199-475-3
Towards Physiological Control of Recombinant Escherichia coli Fermentations
In 14th International Federation of Automatic Control (IFAC) World Congress, Beijing, China, 5-9 July 1999
Han-Fu Chen, Dai-Zhan Cheng, and Ji-Feng Zhang (eds.)
Elsevier Science Ltd. (Pergamon Press), 1999ISBN 0-08-043247-6
Anonymous and Confidential Communications from an IP Addressless Computer
In International Symposium on Handheld and Ubiquitous Computing (HUC '99), Karlsruhe, Germany, 27-29 September 1999
Gellersen, H.-W. (ed)
Lecture Notes in Computer Science, 1707, pp 383-385
Springer-Verlag, 1999ISBN 3-540-66550-1
[Abstract]Non-Repudiation Evidence Generation for CORBA Using XML
In 15th Annual Computer Security Applications Conference (ACSAC '99), Phoenix, Arizona, USA, 6-10 December 1999
pp 320-329
IEEE Computer Society Press, 1999ISBN 0-7695-0346-2
[Abstract]An Optimised Lazy Task Creation Technique for Iterative and Recursive Computations
In 1999 International Conference on Parallel and Distributed Processing Techniques and Applications, Las Vegas, Nevada, USA, June 1999
Arabnia, H.R. (ed)
Proceedings, 4, pp 1971-1977
CSREA Press, 1999ISBN 1-892512-12-2
Using Probability to Reason about Soft Deadlines
In COTIC Workshop, 1999
1999
Three-Level Architecture for Query Closure in Database Systems
In 1st International Conference on Enterprise Information Systems (ICEIS 1999), Setubal, Portugal, 27-30 March 1999
pp 1-8
ICEIS Secretariat, 1999
Tool support for implementation and analysis of traceability structures
In 9th Annual International Symposium of the International Council on Systems Engineering (INCOSE '99), Brighton, UK, 6-11 June 1999
1999
Using SimML to Bridge the Transformation from UML to Simulation
In Workshop on Software Performance Prediction extracted from Designs, Heriot-Watt University, Edinburgh, UK, 25 November 1999
Heriot-Watt University, 1999
Automatic Synthesis and Optimization of Partially Specified Asynchronous Systems
In 36th Annual ACM/IEEE Conference on Design Automation (DAC '99), New Orleans, Louisiana, USA, 21-25 June 1999
pp 110-115
ACM Press, New York, 1999ISBN 1-58133-109-7
Implementing Support for Work Activity Coordination within a Distributed Workflow System
In 3rd IEEE/OMG International Enterprise Distributed Object Computing Conference (EDOC '99), University of Mannheim, Germany, 27-30 September 1999
pp 116-123
IEEE Press, 1999ISBN 0-7803-5784-1
[Abstract]Simulation Generation from UML Like Specifications
In 1999 IASTED International Conference on Applied Modelling and Simulation (AMS 1999), Cairns, Australia, 1-3 September 1999
Hamza, M.H. (ed)
ACTA Press Series on Modelling and Simulation: Applied Modelling and Simulation, pp 384-388
ACTA Press, 1999ISBN 0-88986-259-1
[Abstract]Stochastic Specification and Verification
In 3rd Irish Workshop on Formal Methods (IWFM '99), Galway, Ireland, July 1999
Butterfield, A. and Haegele, K. (eds.)
BCS Electronic Workshops in Computing,
British Computer Society, 1999ISBN 1-902505-23-9
A Systolic Algorithm for the Factorisation of Matrices Arising in the Field of Hydrodynamics
In 3rd International Conference on Vector and Parallel Processing (VECPAR '98), Porto, Portugal, 21-23 June 1998
Palma, J.M.L.M., Dongarra, J. and Hernandez, V (eds.)
Lecture Notes in Computer Science, 1573, pp 355-364
Springer-Verlag, 1999ISBN 3-540-66228-6
Formal Development and Validation of Java Dependable Distributed Systems
In 5th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '99), Las Vegas, Nevada, USA, 18-22 October 1999
pp 98-108
IEEE Computer Society Press, 1999ISBN 0-7695-0434-5
Scientific Decisions which Characterise VDM
In FM'99 - Formal Methods. World Congress on Formal Methods in the Development of Computing Systems , Toulouse, France, September 20-24, 1999. Proceedings. Vol. 1
Wing, J.M., Woodcock, J. and Davies, J. (eds.)
Lecture Notes in Computer Science, 1708, pp 28-47
Springer-Verlag, 1999ISBN 3-540-66587-0
Notes : Invited Paper
[Abstract]A Model of Behaviour Abstraction for Communicating Processes
In 16th Annual Symposium on Theoretical Aspects of Computer Science (STACS '99), Trier, Germany, 4-6 March 1999
Meinel, C. and Tison, S. (eds.)
Lecture Notes in Computer Science, 1563, pp 313-322
Springer-Verlag, 1999ISBN 3-540-50214-9
An Object-Based Software DSM for the NIP Parallel System
In 1st Workshop on Software Distributed Shared Memory (WSDSM '99), Rhodes, Greece, 25 June 1999. Held in conjunction with the 1999 ACM International Conference on Supercomputing (ICS '99)
ACM Press, New York, 1999
The Shift from Formal to Informal in Court Language
In 4th Biennial Conference of the International Association of Forensic Linguists (IAFL '99) , Birmingham, UK, 28 June - 1 July 1999
1999
What is the Cost of Delay-Insensitivity?
In 1999 IEEE/ACM International Conference on Computer-Aided Design (ICCAD '99), San Jose, California, USA, November 1999
pp 316-323
IEEE Computer Society Press, 1999ISBN 0-7803-5832-5
The Box Algebra - A Model of Nets and Process Expressions
In 20th Conference on Application and Theory of Petri Nets (ICATPN '99), Williamsburg, Virginia, USA, June 21-25, 1999
Donatelli, S. and Kleijn, H.C.M. (eds.)
Lecture Notes in Computer Science, 1639, pp 344-363
Springer-Verlag, 1999ISBN 3-540-66132-8
1998
An Axiomatisation of Duplication Equivalence in the Petri Box Calculus
In 19th International Conference on Application and Theory of Petri Nets (ICATPN '98), Lisbon, Portugal, June 22-26, 1998
Desel, J. and Silva, M. (eds.)
Lecture Notes in Computer Science, 1420, pp 165-184
Springer-Verlag, 1998ISBN 3-540-64677-9
PRMP: A Scaleable Polling-Based Reliable Multicast Protocol
In 4th International Workshop on High Performance Protocol Architectures (HIPPARCH '98), University College, London, UK, 15-16 June 1998
University College, London, 1998
[Abstract]A CORBA Compliant Transactional Workflow System for Internet Applications
In IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing (Middleware '98), The Lake District, UK, 15-18 September 1998
Davies, N., Raymond, K. and Seitz, J. (eds.)
pp 3-18
Springer-Verlag, 1998ISBN 1-852-33088-0
[Abstract]Tracing Safety for Dependable Avionic Systems: An Object-Oriented and Deductive Approach
In 16th International System Safety Conference, Seattle, USA
1998
Coordinated Exception Handling in Distributed Object Systems: From Model to System Implementation
In 18th IEEE International Conference on Distributed Computing Systems (ICDCS '98) , Amsterdam, The Netherlands, 26-29 May 1998
pp 12-21
IEEE Computer Society Press, 1998ISBN 0-8186-8292-2
An End-to-End Reliable Multicast Protocol Using Polling for Scalability
In 17th Annual Joint Conference of the IEEE Computer and Communications Societies: Gateway to the 21st Century (IEEE INFOCOM '98), San Francisco, CA, USA, 29 March - 2 April 1998
Proceedings of IEEE INFOCOM '98, 3, pp 1180-1187
IEEE Press, 1998ISBN 0-7803-4383-2
Synthesis of ENI-systems Using Minimal Regions
In 9th International Conference on Concurrency Theory (CONCUR '98), Nice, France, 8-11 September 1998
Sangiorgi, D. and de Simone, R. (eds.)
Lecture Notes in Computer Science, 1466, pp 565-580
Springer-Verlag, 1998ISBN 3-540-64896-8
Recursive Nets in the Box Algebra
In 1st International Conference on Application of Concurrency to System Design (CSD '98), Fukushima, Japan, 23-26 March 1998
pp 239-249
IEEE Computer Society Press, 1998ISBN 0-8186-8350-3
Lazy Transition Systems: Application to Timing Optimization of Asynchronous Circuits
In 1998 IEEE/ACM International Conference on Computer-Aided Design (ICCAD '98), San Jose, USA, 8-12 November 1998
pp 324-331
IEEE Computer Society Press, 1998ISBN 0-7803-5176-2
Reusable Software Components for Performability Tools, and Their Utilization for Web-Based Configurable Tools
In Computer Performance Evaluation: Modelling Techniques and Tools. 10th International Conference, Tools'98, Palma de Mallorca, Spain, September 14-18,1998
Puigjaner, R., Savino, N.N. and Serra, B. (eds.)
Lecture Notes in Computer Science, 1469, pp 37-50
Springer, 1998
Notes : Also Bell Labs Research Technical Memorandum BL011356-980130-04, Jan. 1998.
Metabroker: A Generic Broker for Electronic Commerce
In 7th International World Wide Web Conference (WWW7), Brisbane, Australia, 14-18 April 1998
Ashman, H. and Thistlewaite, P. (eds.)
Special Issues 1-7: Computer Networks and ISDN Systems, 30, pp 619-620
Elsevier Science Publishers BV, 1998ISBN 0169-7552
[Abstract]Architectural Support for Dynamic Reconfiguration of Large Scale Distributed Applications
In 4th IEEE International Conference on Configurable Distributed Systems (ICCDS '98), Annapolis, Maryland, USA, 4-6 May 1998
pp 10-17
IEEE Computer Society Press, 1998ISBN 0-8186-8451-8
[Abstract]Action Models: A Reliability Modeling Formalism for Fault-Tolerant Distributed Computing Systems
In Proceedings. IEEE International Computer Performance and Dependability Symposium, IPDS '98, September 7-9, 1998, Durham, North Carolina
pp 119-128
IEEE Computer Society, 1998
Some mistakes I have made and what I have learned from them
In Fundamental Approaches to Software Engineering. First International Conference, FASE'98. Held as part of the European Joint Conferences on Theory and Practice of Software , ETAPS'98, Lisbon, Portugal, March 28- April 4, 1998. Proceedings
Astesiano, E. (ed.)
Lecture Notes in Computer Science, 1382, pp 7-20
Springer-Verlag, 1998ISBN 3-540-64303-6
Notes : Invited Paper
Traceability for the Development and Assessment of Safe Avionic Systems
In 8th INCOSE International Conference on Systems Engineering, Vancouver BC, Canada, July 1998
pp 445-452
1998
The Application of Mobile Agents to Software Testing
In 15th International Conference and Exposition on Testing Computer Software: Testing under Pressure (TCS '98), Washington DC, USA, 8-12 June 1998
1998
Developing Control Software for Production Cell II: Failure Analysis and System Design Using CA Actions
In 3rd International Workshop on Design for Validation, Louvain-La-Neuve, 1998
1998
Tree Arbiter with Nearest-Neighbour Scheduling
In 13th International Symposium on Computer and Information Sciences: Advances in Computer and Information Sciences '98 (ISCIS '98), Ankara, Turkey, October 1998
Gudukbay, U., Dayar, T., Gursoy, A. and Gelenbe, E. (eds.)
Concurrent Systems Engineering Series, 53, pp 83-92
IOS Press, 1998ISBN 90-5199-405-2
A Timed Rewriting Logic Semantics for SDL: A Case Study of the Alternating Bit Protocol
In International Workshop on Rewriting Logic and its Applications, Abbaye des Prémontrés at Pont-à-Mousson, France, September 1998
Kirchner, C. and Kirchner, H. (eds.)
Electronic Notes in Theoretical Computer Science, 15,
Elsevier Science, 1998ISBN 0-444-50778-7
Exception Handling in Object-Oriented Real-Time Distributed Systems
In 1st IEEE International Symposium on Object-Oriented Real-time Distributed Computing (ISORC '98), Kyoto, Japan, 20-22 April 1998
pp 32-42
IEEE Computer Society Press, 1998ISBN 0-8186-8430-5
Numerical Solution of Non-homogeneous Markov Processes through Uniformization
In 12th European Simulation MultiConference. Simulation - Past, Present and Future, June 16-19, 1998, Manchester
Zobel, R.N. and Moeller, D.P.F.M. (eds.)
pp 710-717
SCS Europe, 1998
Notes : Also Bell Labs Research Technical Memorandum BL011356-980130-03, Jan. 1998.
Analysis of a Multimedia Stream using Stochastic Process Algebra
In 6th International Workshop on Process Algebras and Performance Modelling (PAPM '98), Nice, France, 12 September 1998
Priami, C. (ed)
pp 51-69
1998
A Management Interface for Distributed Fault Tolerance CORBA Services
In IEEE Third International Workshop on Systems Management , April 22-24 1998 , Newport, Rhode Island
pp 98-107
IEEE Computer Society, 1998
Notes : Also Bell Labs Research Technical Memorandum BL011356-980109-01, Jan. 1998.
Dependability - A Unifying Concept
In Workshop on Computer Security, Dependability and Assurance: From Needs to Solutions, Williamsburg, VA , USA, November 1998
Amman, P. (ed)
pp 16-25
IEEE Computer Society Press, Los Alamitos, CA, 1998ISBN 0-7695-0337-3
[Abstract]Language and Space: Coordinating the Visual and Verbal Domains
In Second International Conference on Cooperative Multimodal Communication Theory and Applications, Tilburg, The Netherlands
1998
A Methodology for Detection and Estimation of Software Aging
In Ninth International Symposium on Software Reliability Engineering, November 4-7, 1998, Paderborn, Germany
pp 283-292
IEEE Computer Society, 1998
Notes : Also Bell Labs Research Technical Memorandum BL011356-980116-02, Jan. 1998.
Modelling Amesic Syndrome with Artificial Neural Networks
In International Conference on Automation and Quality Control, Cluj-Napoca, Romania
pp 604-611
1998
Composing Components: How Does One Detect Potential Architectural Mismatches?
In 1998 OMG-DARPA-MCC Workshop on Compositional Software Architectures, Monterey, California, USA, 6-8 January 1998
Thompson, C. (ed)
1998
Checked Transactions in an Asynchronous Message Passing Environment
In 1st IEEE International Symposium on Object-Oriented Real-time Distributed Computing (ISORC '98), Kyoto, Japan, 20-22 April 1998
pp 222-229
IEEE Computer Society Press, 1998ISBN 0-8186-8430-5
[Abstract]Inter-task Co-ordination in Long-Lived Distributed Applications
In 12th International Symposium on Distributed Computing (DISC '98), Andros, Greece, 24-26 September 1998
Kutten, S. (ed)
Lecture Notes in Computer Science, 1499, pp 20-21
Springer-Verlag, 1998ISBN 3-540-65066-0
On the Propagation of Updates in Distributed Replicated Systems
In 3rd IEEE International Computer Performance and Dependability Symposium (IPDS '98), Durham, NC, USA, 7-9 September 1998
IEEE Computer Society Press, 1998ISBN 0-8186-8679-0
Approaches to Designing Complex Dependable Systems
In 15th IFAC Workshop on Distributed Computer Control Systems (DCCS '98), Como, Italy
1998
Java Transactions for the Internet
In 4th USENIX Conference on Object-Oriented Technologies and Systems (COOTS IV), Santa Fe, New Mexico, USA, April 1998
USENIX Association, 1998ISBN 1-88044-693-6
[Abstract]Coordinated Atomic Actions in Modelling Object Cooperation
In 1st IEEE International Symposium on Object-Oriented Real-time Distributed Computing (ISORC '98), Kyoto, Japan, 20-22 April 1998
pp 152-161
IEEE Computer Society Press, 1998ISBN 0-8186-8430-5
A Language for Specifying the Composition of Reliable Distributed Applications
In 18th IEEE International Conference on Distributed Computing Systems (ICDCS '98), Amsterdam, The Netherlands, 26-29 May 1998
pp 534-543
IEEE Computer Society Press, 1998ISBN 0-8186-8292-2
[Abstract]A Transactional Workflow based Distributed Application Composition and Execution Environment
In 8th ACM SIGOPS European Workshop on Support for Composing Distributed Applications (EW-8), Sintra, Portugal, 7-10 September 1998
pp 74-81
ACM Press, New York, 1998
Integrating joint behaviour and dialogue description
In Design, Specification and Verification of Interactive Systems’98 . Proceedings of the Eurographics Workshop in Abingdon, UK, June 3-5, 1998
Markopoulos, P. and Johnson, P. (eds.)
pp 293-308
Springer, 1998
The role of verification in interactive systems design
In Design, Specification and Verification of Interactive Systems’98. Proceedings of the Eurographics Workshop in Abingdon, UK, June 3-5, 1998
Markopoulos, P. and Johnson, P. (eds.)
pp 155-170
Springer, 1998
Chemical process controller design using genetic programming
In 3rd Annual Conference on Genetic Programming , Madison, Wisconsin, USA, July 1998
Koza, J.R. et. al. (eds.)
pp 359-364
Morgan Kaufmann, 1998ISBN 1-55860-548-7
Evolutionary design of process controllers
In 1998 United Kingdom Automatic Control Council International Conference on Control (UKACC International Conference on Control '98), University of Wales, Swansea, UK, 1-4 September 1998
IEE Conference Publications, 455,
Institution of Electrical Engineers (IEE), 1998ISBN 0-85296-708-X
Business and Market Models of Brokerage in Network-Based Commerce
In 5th International Conference on Intelligence in Services and Networks: Technology for Ubiquitous Telecom Services (IS&N '98), Antwerp, Belgium, 25-28 May 1998
Trigila, S., Mullery, A.P., and Campolargo, M. et. al. (eds.)
Lecture Notes in Computer Science, 1430, pp 315-326
Springer-Verlag, 1998ISBN 3-540-64598-5
Building Configurable Applications in Java
In 4th IEEE International Conference on Configurable Distributed Systems (ICCDS '98), Annapolis, Maryland, USA, 4-6 May 1998
pp 172-179
IEEE Computer Society Press, 1998ISBN 0-8186-8451-8
[Abstract]A Concept for the Transition-Net Based Derivation of Software Versions for the Recovery Block Scheme
In 9th European Workshop on Dependable Computing (EWDC-9): Testing Methods and Tools for Modern Computer Systems & Networks, Gdansk, Poland, 14-15 May 1998
1998
Comparison of Evolutionary Selection Methods for RBF Neural Networks
In Romanian Symposium on Computer Science (ROSYCS '98), Faculty of Computer Science, 'A.I. Cuza' University, Iasi, Romania, 1998
1998
Rapid Design of Asynchronous Logic Using Reconfigurable Architectures
In International Conference on Microelectronics and Packaging (ICMP '98), Curitiba, Brazil
1998
Parallel Simulation of ATM Switches Using Relaxation
In 6th IFIP International Conference on ATM Networks (IFIP ATM '98), West Yorkshire, UK, 1998
1998
Constructing Standards for Cross-Platform Operation
In BCS Conference on Software Quality Management (SQM '98), Amsterdam, Netherlands
Springer-Verlag, 1998
Identifying State Coding Conflicts in Asynchronous System Specifications Using Petri Net Unfoldings
In 1st International Conference on Application of Concurrency to System Design (CSD '98), Fukushima, Japan, 23-26 March 1998
pp 152-163
IEEE Computer Society Press, 1998ISBN 0-8186-8350-3
Neural Network Design Using Spectral Analysis
In 5th International Conference on Neural Information Processing (ICONIP '98), Kitakyushu, Japan, October 1998 (in conjunction with the 1998 Annual Conference of the Japanese Neural Network Society (JNNS '98))
Usui, S. and Omori, T. (eds.)
3, pp 1228-1231
Ohmsha/IOS Press, 1998ISBN 90-5199-463-X
Integrating the Object Transaction Service with the Web
In 2nd IEEE International Enterprise Distributed Object Computing Workshop (EDOC '98), La Jolla, California, USA, 3-5 November 1998
pp 194-205
IEEE Computer Society Press, 1998ISBN 0-7803-5158-4
[Abstract]Theory and Logic of Legal Information Networks
In 2nd European/6th National Conference on Law, Computers and Artificial Intelligence, St Albans, UK
1998
Modelling Enterprise Networks Using an Object Oriented Design
In 27th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS 27-TOOLS Asia '98) Beijing, China, 22-25 September 1998
Chen, J. (ed)
pp 148-162
IEEE Computer Society Press, 1998ISBN 0-8186-9096-8
Approximate Solution of a Pipeline with Server Vacations
In 12th European Simulation Multiconference: Simulation Past, Present and Future (ESM98), Manchester, UK, 16-19 June 1998
Zobel, R. and Moeller, D. (eds.)
SCS Publishing House, 1998ISBN 1-56555-148-6
Current Research and Development in Self-Managed Network Technology for Law
In 2nd European/6th National Conference on Law, Computers and Artificial Intelligence, St Albans, UK
1998
An Agent Mechanism for Version Support in Engineering Design
In ASME Design Engineering Technical Conference (DETC '98), Atlanta, Georgia, USA, 13-16 September 1998
1998
Supporting and Controlling Complex Concurrency in Fault-Tolerant Distributed Systems
In International Symposium on Special Topics of Computers, China
pp 53-59
1998
1997
On Synchronisation in Fault-Tolerant Data and Compute Intensive Programs over a Network of Workstations
In 3rd International Euro-Par Conference (Euro-Par '97), Passau, Germany, 26-29 August 1997
Lengauer, C., Griebl, M. and Gorlatch, S. (eds.)
Lecture Notes in Computer Science, 1300, pp 1025-1029
Springer-Verlag, 1997ISBN 3-540-63440-1
[Abstract]Objectives, strategies and resources as design drivers.
In Human-Computer Interaction. Interact 97: IFIP TC13 International Conference on Human-Computer Interaction, 14th-18th July 1997, Sydney, Australia
Howard, S., Hammond, J. and Lindgaard, G. (eds.)
IFIP Conference Proceedings, 96, pp 164-171
Chapman and Hall, 1997
Tree Arbiter With Nearest-Neighbour Scheduling
In 13th UK Workshop on Performance Engineering of Computer and Telecommunication Systems (UKPEW '97), Ilkley, West Yorkshire, UK, 24th July 1997
pp 29/1-29/15
UK Performance Engineering Workshop/Edinburgh University Press, 1997ISBN 0-9524027-2-6
CSP, PVS and a Recursive Authentication Protocol
In DIMACS Workshop on Design and Formal Verification of Security Protocols, DIMACS Center, Rutgers University, Piscataway, NJ, USA, 3-5 September 1997
DIMACS, 1997
Locating the scene: The particular and the general in contexts for ambulance control
In GROUP'97. Proceedings of the International ACM SIGGROUP Conference on Supporting Group Work: The Integration Challenge, November 16-19, 1997, Phoenix, Arizona, USA
Hayne, S.C. and Prinz, W. (eds.)
pp 101-110
ACM , 1997
Estimating Visuospatial Properties in Graphics
In Fourteenth National Conference on Artificial Intelligence (AAAI-97), Workshop on Language and Space, Providence, Rhode Island
1997
Using executable interactor specifications to explore the impact of operator interaction errors
In SAFECOMP 97. The 16th International Conference on Computer Safety, Reliability and Security, York, UK, September 7-10, 1997
Daniel, P. (ed.)
pp 138-147
Springer, 1997
Estimating Visuospatial Properties in Graphics
In Expert Systems '97. 17th BCS SGES International Conference, Cambridge, December 1997
Hunt, J. and Miles, R. (eds)
Research and Development in Expert Systems, 14, pp 109-122
SGES Publications, 1997
Information Systems in Support of the Environment
In Report for the VIIth International ICEF Conference: Environment and Culture the Common Heritage of Humankind, Paestum, Italy
1997
Transition Systems of Elementary Net Systems with Inhibitor Arcs
In 18th International Conference on Application and Theory of Petri Nets (ICATPN '97), Toulouse, France, 23-27 June 1997
Azéma, P. and Balbo, G. (eds.)
Lecture Notes in Computer Science, 1248, pp 310-327
Springer-Verlag, 1997ISBN 3-540-63139-9
Fault-Tolerant Parallel Applications Using Queues and Actions
In 26th International Conference on Parallel Processing (ICPP '97), Bloomington, IL, USA, 11-15 August 1997
pp 145-149
IEEE Computer Society Press, 1997ISBN 0-8186-8108-X
A System for Specifying and Coordinating the Execution of Reliable Distributed Applications
In 1st IFIP TC 6 WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems (DAIS '97), Cottbus, Germany, 30 September - 2 October 1997
Konig, H., Geihs, K.G. and Preuss, T. (eds.)
pp 281-294
Chapman & Hall, 1997ISBN 0-412-82340-3
[Abstract]Parallel Generation of k-ary Trees
In Conference on High Performance Computing on the Information Superhighway (HPC-Asia '97), Seoul, Korea, 28 April-2 May 1997
pp 117-121
IEEE Computer Society Press, 1997ISBN 0-8186-7901-8
Formally verifying interactive systems: a review
In Design, Specification, and Verification of Interactive Systems’97. Proceedings of the Eurographics Workshop in Grenada, Spain, June 4-6, 1997
Harrison, M.D. and Torres , J.C. (eds.)
pp 109-124
Springer, 1997
Coordinating the Visual and Verbal Domains
In ACM Workshop on Perceptual User Interfaces, Banff, Alberta, Canada
1997
Coupling Asynchrony and Interrupts: Place Chart Nets and their Synthesis
In 18th International Conference on Application and Theory of Petri Nets (ICATPN '97), Toulouse, France, 23-27 June 1997
Azéma, P. and Balbo, G. (eds.)
Lecture Notes in Computer Science, 1248, pp 328-347
Springer-Verlag, 1997ISBN 3-540-63139-9
A representational approach to the specification of presentations
In Design, Specification, and Verification of Interactive Systems’97. Proceedings of the Eurographics Workshop in Grenada, Spain, June 4-6, 1997
Harrison, M.D. and Torres, J.C. (eds.)
pp 273-290
Springer, 1997
Whither formal methods? A plea to investigate new applications
In 1st International Conference on Formal Engineering Methods (ICFEM '97), Hiroshima, Japan, 12-14 November 1997
Hinchey, M.G. and Liu, S. (eds.)
pp 5
IEEE Computer Society Press, 1997ISBN 0-8186-8002-4
Optimization of Reliability Allocation and Testing Schedule for Software Systems
In Eighth International Symposium on Software Reliability Engineering, November 2-5 ,1997, Albuquerque, New Mexico
pp 336-347
IEEE Computer Society, 1997
Notes : Also Bell Labs Research Technical Memorandum BL011256-970409-02, April 1997.
Denotational Semantics and Refinement
In 1st Irish Workshop on Formal Methods (IWFM '97), Dublin, Ireland, 3-4 July 1997
O'Regan, G. and Flynn, S. (eds.)
BCS Electronic Workshops in Computing,
Springer-Verlag/British Computer Society, 1997ISBN 3-540-76196-9
Parameterised Higher-Order Algebraic Specifications
In 6th International Joint Conference on Algebraic and Logic Programming (ALP '97 - HOA '97), Southampton, UK, 3-5 September 1997
Hanus, M., Heering, J. and Meinke, K. (eds.)
Lecture Notes in Computer Science, 1298, pp 76-98
Springer-Verlag, 1997ISBN 3-540-63459-2
Optimal Parallel Algorithms for Generating K-ary Trees
In 12th International Conference on Computers and Their Applications (CATA-97), Tempe, Arizona, USA, 13-15 March 1997
Woodfill, M.C. (ed)
pp 201-204
International Society for Computers and their Applications (ISCA), Raleigh, 1997ISBN 1-880843-19-6
A Framework for Configurable Distributed Transactions
In 7th High Performance Transaction Systems Workshop (HPTS 1997), Asilomar Conference Center, Pacific Grove, California, USA, September 1997
1997
An Optimal Systolic Algorithm for Generating P-Sequences
In 10th ISCA International Conference on Parallel and Distributed Computing Systems (PDCS-97), New Orleans, Louisiana, USA, 1-3 October 1997
El-Amawy, A. and Zheng, S.Q. (eds.)
pp 209-212
International Society for Computers and their Applications (ISCA), Raleigh, 1997ISBN 1-880843-21-8
Using Coordinated Atomic Actions to Design Dependable Distributed Object Systems
In OOPSLA '97 Workshop on Dependable Distributed Object Systems, Atlanta, Georgia, USA, 5 October 1997. Part of the 1997 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA '97), Atlanta, 5-9 October 1997
ACM, 1997
The Ontology of Enterprises and Information Systems
In Americas Conference in Information Systems, Indianapolis, USA
pp 296-299
Indianapolis, Association for Information Systems, 1997
Decomposition and Technology Mapping of Speed-Independent Circuits Using Boolean Relations
In 1997 IEEE/ACM International Conference on Computer-Aided Design (ICCAD '97), San Jose, CA, USA, 9–13 November 1997
pp 220-229
IEEE Computer Society Press, 1997ISBN 0-8186-8200-0
An Object-Based Approach to Modelling and Analysis of Failure Properties
In 16th International Conference on Computer Safety, Reliability and Security (SAFECOMP '97), University of York, UK, 7-10 September 1997
Daniel, P. (ed)
Workshops in Computing,
Springer-Verlag, London, 1997ISBN 3-540-76191-8
An Object-oriented Modelling Approach for Enterprise Networks
In 24th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS-24 '97), Beijing, China, September 1997
Chen, J. (ed)
IEEE Computer Society Press, 1997ISBN 0-8186-8551-4
Constructing Reliable Web Applications Using Atomic Actions
In 6th International World Wide Web Conference, Santa Clara, California, USA, 7-11 April 1997
Computer Networks and ISDN Systems, 29, pp 561-571
Elsevier Science Publishers, 1997
[Abstract]Flexible Open Caching for the Web
In 6th International World Wide Web Conference, Santa Clara, California, USA, 7-11 April 1997
Computer Networks and ISDN Systems, 29,
Elsevier Science Publishers, 1997
[Abstract]Distributed Transactions in Java
In 7th High Performance Transaction Systems Workshop (HPTS 1997), Asilomar Conference Center, Pacific Grove, California, USA, September 1997
1997
An Integrated Test Environment for the National Conference Information Systems
In 5th National Conference on Defense Management (NCDM'97), Taipei, Taiwan
pp 607-619
1997
Diagrams and Machine Reasoning
In EPSRC/ESRC Workshop on Thinking with Diagrams, Plymouth
1997
Systematic Development of WWW Pages
In 1997 Romanian Internet Learning Workshop (RILW '97), Ilieni, Romania, 9-14 June 1997
pp 126-133
1997