Chris Tofts' Publications
  • Temporal Ordering for Concurrency, Computer Science Research Report LFCS-48, University of Edinburgh.
  • Timing Concurrent Processes, Computer Science Research Report LFCS-103, University of Edinburgh.
  • Relative Frequency in A Synchronous Calculus, Computer Science Research Report LFCS-108, University of Edinburgh.
  • Reactive,Generative and Stratified Models of Probabilistic Processes (with R. van Glabbek, S.A. Smolka, B. Steffen), proceedings of LICS'90 (Logics In Computer Science).
  • Timed Concurrent Processes, proceeding of the Leicester Workshop on the Semantics of Concurrency. Springer-Verlag, pp 281-294.
  • A Synchronous Calculus Of Relative Frequency, proceedings of CONCUR'90, Springer-Verlag Lecture Notes in Computer Science 458, pp 467-480.
  • A Temporal Calculus of Communicating Systems (with F. Moller), proceedings of CONCUR'90, Springer-Verlag Lecture Notes in Computer Science 458, pp 401-415.
  • The Autosynchronisation of Leptothorax acervorum(Flavius) Described in WSCCS, Computer Science Research Report LFCS-128, University of Edinburgh.
  • Task Allocation in Monomorphic Ant Species, Computer Science Research Report LFCS-144, University of Edinburgh.
  • Self-Organised Nest Construction in Ants, Sophisticated Building by Blind Building (with N.R. Franks, A. Wilby, B.W. Silverman), Bull. Math. Bio.
  • Relating Processes with Respect to Speed (with F. Moller), proceedings of CONCUR'91, Springer-Verlag Lecture Notes in Computer Science 458, pp 424-438.
  • Proof Methods and Pragmatics for Parallel Programming, PhD Thesis University of Edinburgh.
  • Mutual Exclusion as a Mechanism for Information Exchange within Ant Nests (with M.J. Hatcher, N.R. Franks), Naturwissenschaften 79:32-34.
  • The Autosynchronisation of Leptothorax Acevorum(Flavius): Theory, Experiment and Testability (with M.J. Hatcher, N.R. Franks), Journal of Theoretical Biology 157: 71-82.
  • Synchronization and Mutual Exclusion within Ant Nests (with M.J. Hatcher, N.R. Franks), proceedings of First European Conference on Social Insects.
  • Behavioural Abstraction in TCCS (with F. Moller), ICALP'92, pp 559-570.
  • An Overview of TCCS (with F. Moller) EuroMicro 1992.
  • Doing the Right Thing: Ants, Bees and Naked Mole Rats, (with N.R. Franks) Trends in Evolution and Ecology 7: 346-349.
  • Algorithms for Path Choice in Ants (with T.R. Stickland and N.R. Franks) Naturwissenschaften 79:567-572.
  • Describing Social Insect Behaviour Using Process Algebra, Transactions of the Society for Computer Simulation, pp227-283, December 1992.
  • A temporal calculus of communicating systems. (with F. Moller) In Real-Time Systems: Abstractions, Languages, and Design Methodologies. Krishna M. Kavi (editor), IEEE Computer Society Press, pp242-256, 1992.
  • Algorithmns for Task Allocation in Ants: A Study of Temporal Polyethism: Theory, Bulletin of Mathematical Biology, 5:891-918.
  • A Food Dependant Path Choice Algorithm (with T.R. Stickland and N.R. Franks) Naturwissenschaften, July 1993.
  • The Efficiency of Ant Path Finding Algorimths in Proceedings 1st Copenhagen Symposium on Computer Simulation in Biology, Ecology and Medicine, 5pp.
  • Algorithms \& Collective Decisions in Ants: Information Exchange, Numbers of Individuals \& Search Limits (with T.R. Stickland and N.R. Franks) poster in European Congress on Artificial Life 1993. 1019-1027.
  • Process with Probabilities, Priorities and Time (extended abstract), in Workshop on Performance Enhanced Process Algebra, Research Report, Department of Computer Science, Edinburgh.
  • Reasoning about Resource Bounded Computation in a Real Time Process Algebra (with F. Moller), Softsem, 1993.
  • A Process Semantics for DEMOS (with G. Birtwistle) Computer Science Research Report, University College Swansea.
  • Charactersing the Structure of Simulations Using CCS, (with G. Birtwistle and R. Pooley), Transactions of the Simulation Society, 10(3):205-236, 1993.
  • The Relationship Between SCAs and SCCS Department of Computer Science Report, University College Swansea, 1993.
  • Exactly Solving Finite State Simulation Problems, Dept. of Computer Science Report 93/530/35, University of Calgary.
  • The Operational Semantics of Demos: part 1, (with G. Birtwistle), Transactions of the Simulation Society 10(4):299-333, 1993
  • Processes with Probabilities, Priorities and Time, Formal Aspects of Computer Science, 6: 536-564, 1994.
  • Foraging for work: how tasks allocate workers, with N. Franks, Anim. Behav. 48:470-472, 1994.
  • The Operational Semantics of Demos: part II, (with G. Birtwistle), Transactions of the Simulation Society, 11(4):303-337.
  • The Effect of Point of Expression on ESS with M.J. Hatcher, Journal of Theoretical Biology, 175:263-266.
  • A Genetic Basis for Environmental Sex Determination, with M.J. Hatcher, Computer Science Departmental Report , University of Manchester.
  • The effect of the embryonic bottleneck on vertical microparasite transmission (with M.J. Hatcher, A. Dunn), first conference, Information Processing in Cells and Tissues (IPCAT'95).
  • Exact and Approximate Analytic Solutions of Properties of Probabilistic Processes, first TACAS 1995. LNCS 1019.
  • A Purely Functional Implementation of an Object Orientated Simulation Language with G. Birtwistle, Proceedings UKSCS Conference 1995, North Berwick, 1995.
  • Efficiently simulating large scale SCCS systems Proceedings UKSCS Conference 1995, North Berwick, 1995.
  • Compositional Approach to Evaluating the Performance of Asynchronous Pipelines ACM workshop Timing Analysis of Hardware 1995
  • The verfication of a COMA cache coherence protocol with G. Birtwistle and F.Moller, ACM SIGSOFT formal methods in software practice, pp70-81, 1996.
  • Some formal musings on the performance of asynchronous hardware, Department Report UMCS-96-2-2, Department of Computer Science, the University, Manchester.
  • Evolutionary ecology of vertically transmitted parasites: strategies of transovarial transmission of a microsporidian sex ratio distorter in {\it Gammarus duebeni. (with M.J. Hatcher, A. Dunn, R. Terry), Parasitology 111, S91-S109, 1996
  • State Space Reduction Techniques for Asynchronous Hardware, with G. Birtwistle, and Y. Ying, first Northern Formal Methods Workshop, 1996.
  • Compositional Performance Analysis Proceedings third TACAS LNCS 1217, pp290-305, 1997
  • Structured Sampling for Simulation with M.J. Hatcher, third UKSCS
  • The Relationship Between the Operational and Denotational Semantics of Demos, (with G. Birtwistle) Simulation Practice and Theory, (1),1997.
  • Studies of division of labour: neither physics nor stamp collecting (with N.R. Franks, and A.B. Sendova-Franks), Animal Behaviour, 53:219-224, 1997.
  • The effect of the embryonic bottleneck on vertically transmitted parasites, (with Hatcher, M.J., Dunn, A.M),pp 339-351 in: Cuthbertson, R., Holcombe, M. \& R. Paton (eds) Computation in Cellular and Molecular Biological Systems. World Scientific: Singapore.
  • A Denotational Semantics for a Process-Based Simulation Language, (with G. Birtwistle) ACM Transactions on Modelling and Computer Systems, 8(4), 1998
  • Exact, Analytic, and Locally Approximate Solutions to Discrete Event Simulation Problems, Simulation Practice and Theory, 6:721-759, 1998
  • A lightwieght distributed termination detection protocol (with D. Goodeve and S. Dobson) Report YCS 307 (1998), 20pp, Department of Computer Science, York University, 1998. submitted Parallel Processing Letters.
  • Population dynamics of parasitic sex ratio distorters in finite host populations (with D. Tanneyhill, M. Hatcher and A. Dunn) Evolution and Ecology.
  • Population dynamics under parasitic sex ratio distortion, (with M. Hatcher, D. Tanneyhill, and A. Dunn), Theoretical Population Biology 56, 11-28, 1999
  • Symbolic Approaches to Probability Distributions in Process Algebra, FACS 12:392-415, 2000
  • The coexistence of hosts and sex ratio distorters in structured populations., (with Melanie J. Hatcher, Alison M. Dunn), Evolutionary Ecology Research, Evolutionary Ecology Research 2 (2), pp. 185-205
  • The performance of self-scheduled concurrent systems, HPLB report-2001-121.
  • Operational semantics of demos 2000, (with G. Birtwistle) HPLB report-2001-263.
  • Compling demos 2000 into Petri nets., HPLB report-2001-274.
  • HOLOS a simulation and multi mathematical modelling tool, HPLB report-2001-276.
  • {Performance modelling using probabilistic process algebra pp223-257, in Engineering theories of software construction, C.A.R. Hoare et al Eds, 2001.
  • Four Disasters and a Funeral E-service Development: A Case Study, Taylor, Richard; Tofts, Chris, HPL-2001-51
  • Getting Demos models right. (I). PracticeBirtwistle, G., Simulation Practice and Theory 8 (6-7), pp. 377-393
  • Getting Demos models right. (II) ... and theory Birtwistle, G. Simulation Practice and Theory 8 (6-7), pp. 395-414
  • Fast graph generation for synchronous processes, HPLB report-2002-16.
  • Traffic modelling and probabilistic process abstraction, BCS Computer Journal, 45(1):62-67, 2002.
  • Review: Proof, language, and interaction, BCS Computer Journal, 45(1):70-71, 2002.
  • Performance Implications of Memory Buffered Pipelines, Tofts, Chris, HPL-2002-151
  • A Reliability Calculator You Can Rely On,Tofts, Chris; Taylor, Richard , HPL-2003-132
  • A System for Calculating and Simulating Reliability., Tofts, Chris; Taylor, Richard, HPL-2003-133
  • A fast simulator/calculator for reliability, Tofts, Chris, HPL-2003-135
  • A simple capability model for reliability modelling, Tofts, Chris, HPL-2003-135
  • Standard Operations Reference Models - the key to realising HP's Adaptive Enterprise,Taylor, Richard; Tofts, Chris; Yearworth, Mike; Francis, Joe; Riordan, Bill, HPL-2003-168
  • Efficiently Modelling Resource in a Process Algebra, Tofts, Chris, HPL-2003-181
  • Modelling, myth vs reality, map vs territory,Taylor, Richard; Tofts, Chris, HPL-2003-246
  • Business as a Control System: the essence of an intelligent enterpriseTaylor, Richard; Tofts, Chris, HPL-2003-247
  • The Economic Value Principle : a summary, Taylor, Richard; Tofts, Chris; Yearworth, Mike, HPL-2003-250
  • Self Managed Systems - A Control Theory Perspective, Taylor, Richard; Tofts, Chris, HPL-2004-49
  • Open Analytics Taylor, Richard; Tofts, Chris; Yearworth, Mike, HPL-2004-138
  • A Calculus and Logic of Resources and Processes Pym, David; Tofts, Chris, HPL-2004-170R1
  • Supercomputers from Commodity Components Report 1 - Availability Survey, Taylor, Richard; Tofts, Chris, HPL-2004-176
  • Supercomputers from Commodity Components Report 2 - Analysis Framework, Taylor, Richard; Tofts, Chris, HPL-2004-177
  • Supercomputers from Commodity - Final Report, Taylor, Richard; Tofts, Chris, restricted document.
  • Reductionism isn't Functional Hatcher, Melanie J.; Tofts, Chris, HPL-2004-222
  • Towards an analytic model of security flaws Tofts, Chris; Monahan, Brian, HPL-2004-224
  • Death by a thousand SLAs: a short study of commercial suicide pacts, Taylor, Richard; Tofts, Chris, HPL-2005-11
  • Using VAR (Value At Risk) on Large Outsourcing Deals, Tofts, Chris, HPL-2005-102
  • A Tool Suite for Availability and Performance Modelling in the Field (Seymour), Tofts, Chris; Taylor, Richard, HPL-2005-109
  • DBSy in a Commercial Services Context, Monahan, Brian; Gittler, Frederic; Horne, William; Shiu, Simon; Baldwin, Adrian; Dalton, Chris I.; Goldsack, Patrick; Taylor, Richard; Tofts, Chris; Yearworth, Mike, HPL-2005-141
  • Process Algebra as Modelling, Pages 323-326, Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25), ENTCS volume 162.
  • A Calculus and logic of resources and processes. David J. Pym, Chris M. N. Tofts, FACS 18(4): 495-517 (2006)
  • BP3 a Large IT Vendors View Tofts, Chris, HPL-2006-7
  • How is a fairer IT outsourcing market achieved?, Tofts, Chris, HPL-2006-8
  • Here be Dragons: coping with the transition between managed facilities and managed services, Taylor, Richard; Tofts, Chris, HPL-2006-21
  • Making the transition from quality control to quality assurance in services businesses, Taylor, Richard; Tofts, Chris, HPL-2006-22
  • A Lower Bound on the Value of Open Analytics, Taylor, Richard; Tofts, Chris, HPL-2006-87
  • HP Laboratories - The 2006 Rough Guide, Taylor, Richard; Tofts, Chris, HPL-2006-97
  • Grand Challenges for Systems and Services Sciences, Monahan, Brian; Pym, David; Taylor, Richard; Tofts, Chris; Yearworth, Mike, HPL-2006-99
  • Engineering the Polymath Innovation in Systems and Services Education, Monahan, Brian; Pym, David; Taylor, Richard; Tofts, Chris; Yearworth, Mike, HPL-2006-100
  • Goldstar - tutorial on a general compositional reward system, Tofts, Chris, HPL-2006-110
  • A simple model of personal connections in a project structured organisation, Tofts, Chris, HPL-2006-111
  • Systems and services sciences: a rationale and a research agenda, Pym, David; Taylor, Richard; Tofts, Chris; Yearworth, Mike; Monahan, Brian; Gittler, Frederic, HPL-2006-112
  • Exploiting strong attractors to slaughter monsters - taming $10^1500$ states and beyond, Tofts, Chris, HPL-2006-121
  • Relaxen und Watchen das Blinkengraffen 3D visualisation for simulation traces, Tofts, Chris, HPL-2006-122
  • Adventures in TRspace, Tofts, Chris, HPL-2006-152
  • A Simple Layout for Social Networks, Tofts, Chris, HPL-2006-158
  • Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic, David J. Pym, Chris M. N. Tofts, Pages: 545-587, ENTCS volume 170, 2007
  • Leaving the Crystal Ball Behind, Heneghan, Steve; Taylor, Richard; Tofts, Chris, HPL-2007-14
  • Information Lifecycle Policy and Management, Taylor, Richard; Tofts, Chris, HPL-2007-15
  • Board of Risk? re-order your deployment and make plans that might survive contact with the enemy!, Heneghan, Steve; Taylor, Richard; Tofts, Chris, HPL-2007-21
  • Public services innovation through technology, Pym, David; Taylor, Richard; Tofts, Chris, HPL-2007-22
  • Model Based Services Discovery and Management - Taylor, Richard; Tofts, Chris, HPL-2008-19, Also PICMET 2008.
  • Taking a RaSP to Enterprise Stakeholder Dissonance - Taylor, Richard; Tofts, Chris, HPL-2008-82, Also EDOC 2008.
  • Service Comprehension - Taylor, Richard; Tofts, Chris, HPL-2008-140
  • Enabling the Web of Services - Taylor, Richard; Tofts, Chris, HPL-2008-147
  • Demos2k as a Bridge to Formal Methods - Taylor, Richard; Tofts, Chris, HPL-2008-184
  • BSSP Monitoring and Evaluation Simulation Sttudy Taylor, Richard; Tofts, Chris, DBERR report to appear.
Patents
 1. US7298501 B2 B41J 20071120 HEWLETT PACKARD DEVELOPMENT CO
Method of, computer program for, and system for maintaining print system media resources
2. US7230744 B2 H04N 20070612 HEWLETT PACKARD DEVELOPMENT CO
Performance of a multi-stage service within an information technology network
3. US7148985 B2 G06F 20061212 HEWLETT PACKARD DEVELOPMENT CO
Management of print services
4. US7143316 B2 G06F 20061128 HEWLETT PACKARD DEVELOPMENT CO
Fault diagnosis in a network
5. US7099815 B2 G06F 20060829 HEWLETT PACKARD DEVELOPMENT CO
Method of managing workflow in a computer-based system
6. US6883038 B2 G06F 20050419 HEWLETT PACKARD DEVELOPMENT CO
Print device and method of acquiring print data with a data link or network
7. US6873270 B2 H03M 20050329 HEWLETT PACKARD DEVELOPMENT CO
Data storage and analysis
8. US20070097882 A1 H04L 20070503 HEWLETT PACKARD DEVELOPMENT CO
Distribution of data in a network
9. US20070101181 A1 G06F 20070503 HEWLETT PACKARD DEVELOPMENT CO
System design and manufacture
10. US20070100788 A1 G06F 20070503 HEWLETT PACKARD DEVELOPMENT CO
System design and manufacture
11. US20060107084 A1 G06F 20060518 HEWLETT PACKARD DEVELOPMENT CO
Supercomputing
12. US20060129882 A1 G06F 20060615 HEWLETT PACKARD DEVELOPMENT CO
Supercomputing
13. US20060107110 A1 G06F 20060518 HEWLETT PACKARD DEVELOPMENT CO
Supercomputing
14. US20060095891 A1 G06F 20060504 HEWLETT PACKARD DEVELOPMENT CO
Scheduling software
15. US20060080641 A1 G06F 20060413 HEWLETT PACKARD DEVELOPMENT CO
Inferring data type in a multi stage process
16. US20060071754 A1 H04L 20060406 HEWLETT PACKARD DEVELOPMENT CO
Securing electronic annotations
17. US20060020925 A1 G06F 20060126 HEWLETT PAKARD DEV COMPANY L P
Analysing a multi stage process
18. US20050027815 A1 G06F 20050203 HEWLETT PACKARD DEVELOPMENT CO
Establishment of network connections
19. US20040225708 A1 G06F 20041111 HEWLETT PACKARD DEVELOPMENT CO
Establishment of network connections
20. US20040133621 A1 G06F 20040708 HEWLETT PACKARD DEVELOPMENT CO
Establishment of network connections
21. US20040122916 A1 G06F 20040624 HEWLETT PACKARD DEVELOPMENT CO
Establishment of network connections
22. US20040088356 A1 G06Q 20040506 HEWLETT PACKARD DEVELOPMENT CO
Remote worker's display device
23. US20040086126 A1 H04L 20040506 HEWLETT PACKARD DEVELOPMENT CO
Management of security key distribution
24. US20040086125 A1 G06F 20040506 HEWLETT PACKARD DEVELOPMENT CO
Management of security key distribution
25. US20030142347 A1 B41J 20030731 HEWLETT PACKARD CO
Method and apparatus for embodying documents
26. US20030025937 A1 G06K 20030206 HEWLETT PACKARD CO
Media loading in printing systems
27. US20030016388 A1 G06F 20030123 HEWLETT PACKARD CO
Management of print services
28. US20020184000 A1 G06Q 20021205 HEWLETT PACKARD CO
Method of managing workflow in a computer-based system
29. US20020181019 A1 G06F 20021205 HEWLETT PACKARD CO
Print device and method of acquiring print data
30. US20020159092 A1 G06F 20021031 HEWLETT PACKARD CO
Method and apparatus for embodying documents
31. US20020102119 A1 G06F 20020801 HEWLETT PACKARD CO
Method and apparatus for embodying documents
32. EP1387302 A3 G06F 20060524 HEWLETT PACKARD DEVELOPMENT CO
Establishment of network connections
33. EP1387301 A3 G06F 20060524 HEWLETT PACKARD DEVELOPMENT CO
Establishment of network connections
34. EP1387300 A3 G06F 20060524 HEWLETT PACKARD DEVELOPMENT CO
Establishment of network connections
35. EP1394701 A3 G06F 20060503 HEWLETT PACKARD DEVELOPMENT CO
Establishment of network connections
36. EP1387301 A2 G06F 20040204 HEWLETT PACKARD DEVELOPMENT CO
Establishment of network connections
37. EP1394701 A2 G06F 20040303 HEWLETT PACKARD DEVELOPMENT CO
Establishment of network connections
38. EP1387302 A2 G06F 20040204 HEWLETT PACKARD DEVELOPMENT CO
Establishment of network connections
39. EP1387300 A2 G06F 20040204 HEWLETT PACKARD DEVELOPMENT CO
Establishment of network connections
40. EP1229436 A1 G06F 20020807 HEWLETT PACKARD CO
Method and apparatus for embodying documents
41. GB2431744 A G06F 20070502 HEWLETT PACKARD DEVELOPMENT CO
System design using nodes in tree structures
42. GB2427333 A H04L 20061220 HEWLETT PACKARD DEVELOPMENT CO
Encryption using a combination of first and second One-Time Pad (OTP) data
43. GB2429546 A G06F 20070228 HEWLETT PACKARD DEVELOPMENT CO
Processing and display of a real world model
44. GB2431814 A H04L 20070502 HEWLETT PACKARD DEVELOPMENT CO
Distribution of data in a network
45. GB2431743 A G06F 20070502 HEWLETT PACKARD DEVELOPMENT CO
System design utilising spreadsheet
46. GB2430848 A H04L 20070404 HEWLETT PACKARD DEVELOPMENT CO
Device with multiple One-Time Pads having different security tings
47. GB2430846 A H04L 20070404 HEWLETT PACKARD DEVELOPMENT CO
Alignment of one-time pad data between users
48. GB2430845 A H04L 20070404 HEWLETT PACKARD DEVELOPMENT CO
Provisioning devices with one-time pad data using a hierarchical distribution
49. GB2430775 A H04L 20070404 HEWLETT PACKARD DEVELOPMENT CO
Managing one-time pad data
50. GB2425680 A H04L 20061101 HEWLETT PACKARD DEVELOPMENT CO
Network analysis
51. GB2424790 A H04M 20061004 HEWLETT PACKARD DEVELOPMENT CO
Communication assistance system responsive to user identification data
52. GB2424789 A H04M 20061004 HEWLETT PACKARD DEVELOPMENT CO
Communication assistance system responsive to user identification data
53. GB2419972 A G06Q 20060510 HEWLETT PACKARD DEVELOPMENT CO
Scheduling software using algebra homomorphism
54. GB2419699 A G06F 20060503 HEWLETT PACKARD DEVELOPMENT CO
Configuring supercomputer for reliable operation
55. GB2419698 A G06F 20060503 HEWLETT PACKARD DEVELOPMENT CO
Setting the number of redundant processing elements in a multiprocessor
56. GB2419696 A G06F 20060503 HEWLETT PACKARD DEVELOPMENT CO
Communication link fault tolerance in a supercomputer
57. GB2418760 A G06K 20060405 HEWLETT PACKARD DEVELOPMENT CO
Securing electronic annotations on memory tags
58. GB2416221 A G06Q 20060118 HEWLETT PACKARD DEVELOPMENT CO
Analysing a multi stage process
59. GB2416048 A G06F 20060111 HEWLETT PACKARD DEVELOPMENT CO
Inferring data type in a multi stage process
60. GB2394805 A G06F 20040505 HEWLETT PACKARD CO
Determining when to revoke a key in an ancestral hierarchy key distribution system
61. GB2394803 A H04L 20040505 HEWLETT PACKARD CO
Management of security key distribution using an ancestral hierarchy
62. GB2394801 A G06Q 20040505 HEWLETT PACKARD CO
Remote worker's display device
63. GB2393802 A G06F 20040407 HEWLETT PACKARD CO
Establishment of network connections
64. GB2376330 A G06F 20021211 HEWLETT PACKARD CO
Maintaining media resources in a print system
65. GB2391132 A H04L 20040128 HEWLETT PACKARD CO
Fault diagnosis in a network
66. GB2385500 A H04L 20030820 HEWLETT PACKARD CO
Optimised message transfer protocol and system using such a protocol
67. GB2384898 A B41J 20030806 HEWLETT PACKARD CO
Networked printers having a distributed print management programme
68. GB2382492 A H04L 20030528 HEWLETT PACKARD CO
System analysis
69. GB2382263 A H04L 20030521 HEWLETT PACKARD CO
Network/system modelling using node discovery and node associated data
70. GB2382258 A H04B 20030521 HEWLETT PACKARD CO
Traffic manipulation to improve throughput in a Computer Network
71. GB2382009 A H04L 20030514 HEWLETT PACKARD CO
Randomising traffic flow by causing collisions between data packets
72. GB2381606 A H03M 20030507 HEWLETT PACKARD CO
Data compression, storage and analysis
73. GB2380911 A G06F 20030416 HEWLETT PACKARD CO
Network printing where document is sent directly to printer or via intermediate pre-processing device in dependence on expected performance
74. GB2380910 A H04L 20030416 HEWLETT PACKARD CO
Traffic manipulation on a computer network
75. GB2380895 A H04B 20030416 HEWLETT PACKARD CO
Traffic manipulation on a computer network
76. GB2380039 A G06K 20030326 HEWLETT PACKARD CO
Media loading in printing systems
77. GB2378279 A G06Q 20030205 HEWLETT PACKARD CO
Distribution of information
78. GB2378275 A G06F 20030205 HEWLETT PACKARD CO
Distributed metadata processing system
79. GB2377798 A G06F 20030122 HEWLETT PACKARD CO
Print job and maintenance scheduling in a print shop
80. GB2376331 A G06K 20021211 HEWLETT PACKARD CO
Print device with two local memories
81. GB2376329 A G06F 20021211 HEWLETT PACKARD CO
A print device and method of acquiring print data
82. GB2376311 A G06Q 20021211 HEWLETT PACKARD CO
Print manager with predictive modelling
83. GB2375848 A G06Q 20021127 HEWLETT PACKARD CO
Equipment supply method
84. GB2374953 A G06F 20021030 HEWLETT PACKARD CO
Executing a print job over a network of printers
85. GB2371906 A G06F 20020807 HEWLETT PACKARD CO
Network printing using a print suspension function