Items where Subject is "Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, > QA76.76 Computer software"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creator's name | Item Type | Date | No Grouping
Jump to: B | C | D | F | J | K | L | M | P | R | S | T | U | W
Number of items at this level: 56.

B

Barnes, David J. and Hernandez-Castro, Julio C. (2015) On the limits of engine analysis for cheating detection in chess. Computers and Security, 48 . pp. 58-73. ISSN 0167-4048. (Access to this publication is restricted)
[img]

Berry, Michael and Kölling, Michael (2014) The State Of Play: A Notional Machine for Learning Programming. In: The 19th Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE 2014), June 2014, Uppsala, Sweden. (Full text available)
[img]
Preview

Berry, Michael and Kölling, Michael (2013) The design and implementation of a notional machine for teaching introductory programming. In: 8th Workshop in Primary and Secondary Computing Education (WiPSCE 2013), Nov 2013, Aarhus, Denmark. (Full text available)
[img]
Preview

Boiten, Eerke (2014) Cybersecurity czar dodges questions over IT security. . The Conversation UK Internet only. (Full text available)
[img]

Boiten, Eerke (2014) FireChat’s revolutionary use will not be revolutionary for long. . The Conversation UK Internet only. (Full text available)
[img]

Boiten, Eerke (2014) Google’s Larry Page wants to save 100,000 lives but big data isn’t a cure all. . The Conversation UK Internet only. (Full text available)
[img]

Boiten, Eerke (2014) It’s possible to write flaw-free software, so why don’t we? . The Conversation UK Internet only. (Full text available)
[img]

Boiten, Eerke (2014) NHS must think like Google to make data project work. . The Conversation UK Internet only. (Full text available)
[img]

Boiten, Eerke and Hernandez-Castro, Julio C. (2014) Can you really be identified on Tor or is that just what the cops want you to believe? . The Conversation UK Internet only. (Full text available)
[img]

Boiten, Eerke and Hernandez-Castro, Julio C. (2014) Targeted ‘malvertising’ reveals move towards more sophisticated hacks. . The Conversation UK Internet only. (Full text available)
[img]

Boiten, Eerke and Schneider, Steve A. (2014) Editorial: Special Issue on Cryptography and Formal Methods. Formal Aspects of Computing, 26 (1). pp. 1-2. ISSN 0934-5043 (Print) 1433-299X (Online). (The full text of this publication is not available from this repository)

Brito, Patrick H. S. and de Lemos, Rogério and Rubira, Cecilia M. F. (2009) Verifying Architectural Variabilities in Software Fault Tolerance Techniques. In: Joint Working IEEE/IFIP Conference on Software Architecture 2009 (WICSA 2009) & European Conference on Software Architecture 2009 (ECSA 2009), 14th - 17th September 2009, Cambridge, UK. (The full text of this publication is not available from this repository)

Brito, Patrick H. S. and de Lemos, Rogério and Rubira, Cecilia M. F. and Martins, Eliane (2009) Architecting Fault Tolerance with Exception Handling: Verification and Validation. Journal of Computer Science and Technology , 24 (2). pp. 212-237. ISSN 1000-9000. (The full text of this publication is not available from this repository)

Brown, Neil C.C. and Kölling, Michael (2013) A Tale of Three Sites: Resource and Knowledge Sharing Amongst Computer Science Educators. In: Ninth Annual International Computing Education Research Conference (ICER), Aug 2013, San Diego, USA. (Full text available)
[img]
Preview

C

Chadwick, David W. and Inman, George and Klingenstein, Nate (2010) A Conceptual Model for Attribute Aggregation. Future Generation Computer Systems, 26 (7). pp. 1043-1052. (The full text of this publication is not available from this repository)

Cámara, Javier and Pedro, Correia and Vieira, Marco and Rogério, de Lemos (2014) Empirical Resilience Evaluation of an Architecture-based Self-adaptive Software System. In: Proceedings of the 10th International ACM Sigsoft Conference on Quality of Software Architectures. (The full text of this publication is not available from this repository)

Cámara, Javier and de Lemos, Rogério (2012) Evaluation of Resilience in Self-Adaptive Systems Using Probabilistic Model-Checking. In: 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2012), June 2012, Zurich, Switzerland. (The full text of this publication is not available from this repository)

Cámara, Javier and de Lemos, Rogério and Laranjeiro, Nuno and Ventura, Rafael and Vieira, Marco (2014) Robustness evaluation of the rainbow framework for self-adaptation. In: Proceedings of the 29th Annual ACM Symposium on Applied Computing - SAC '14. pp. 376-383. (The full text of this publication is not available from this repository)

D

Derrick, John and Boiten, Eerke (2014) Refinement in Z and Object-Z: Foundations and Advanced Applications (2nd revised edition). Springer, London Heidelberg New York Dordrecht, 510 pp. ISBN 978-1-4471-5354-2. (Full text available)
[img]
Preview

da Silva, Carlos Eduardo and de Lemos, Rogério (2011) A Framework for Automatic Generation of Processes for Self-Adaptive Software Systems. Informatica, 35 (1). pp. 3-13. ISSN 0350-5596. (The full text of this publication is not available from this repository)

de Lemos, Rogério (2009) On Architecting Software Fault Tolerance using Abstractions. Electronic Notes in Theoretical Computer Science, 236 . pp. 21-32. ISSN 1571-0661. (The full text of this publication is not available from this repository)

de Oliveira, Marcelo V. and Estefhan, D. Wandekokem and Mendel, Eduardo and Fabris, Fabio and Flavio, M. Varejao and Thomas, W. Rauber and Rodrigo, J. Batista (2010) Constructing feature-based ensemble classifiers for real-world machines fault diagnosis. In: IECON 2010 - 36th Annual Conference on IEEE Industrial Electronics Society. pp. 1099-1104. (The full text of this publication is not available from this repository)

de Oliveira, Marcelo V. and Wandekokem, Estefhan D. and Mendel, Eduardo and Fabris, Fabio and Varejao, Flavio M. and Rauber, Thomas W. and Batista, Rodrigo J. (2010) A Comparison of Two Feature-Based Ensemble Methods for Constructing Motor Pump Fault Diagnosis Classifiers. In: 2010 22nd IEEE International Conference on Tools with Artificial Intelligence. pp. 417-420. (The full text of this publication is not available from this repository)

F

Fabris, Fabio and Drago, Idilio and Varejao, Flavio M. (2008) A Multi-measure Nearest Neighbor Algorithm for Time Series Classification. In: Advances in Artificial Intelligence – IBERAMIA 2008. Lecture Notes in Computer Science, 5290. Springer Berlin Heidelberg pp. 153-162. (The full text of this publication is not available from this repository)

Fischer, Michael D. (1994) Applications in Computing for Social Anthropologists. ASA Research Methods Series . Routledge, London (The full text of this publication is not available from this repository)

NCR Corporation (Dayton, OH) (2009) A Method of Determining the Cause of an Error State in an Apparatus. US Patent 7,600,671. (The full text of this publication is not available from this repository)

J

Jordanous, Anna (2013) Introducing Computational Creativity Research. . CreativityPost.com Internet. (The full text of this publication is not available from this repository)

Jordanous, Anna (2014) What is Computational Creativity? . CreativityPost.com Online web platform. (The full text of this publication is not available from this repository)

K

Kaijian, Shi and Jian, Sun (1991) A relational graphical editing method for PCB design. Computer-Aided Design, 23 (1). pp. 92-94. ISSN 0010-4485. (The full text of this publication is not available from this repository)

Kalibera, Tomas and Jones, Richard E. (2013) Rigorous Benchmarking in Reasonable Time. In: ACM SIGPLAN International Symposium on Memory Management (ISMM 2013), 20-12 June, 2013, Seattle, Washington, USA. (Full text available)
[img]
Preview

Kilov, Haim and Linington, Peter F. and Romero, José Raúl and Tanaka, Akira and Vallecillo, Antonio (2013) The Reference Model of Open Distributed Processing: Foundations, experience and applications. Computer Standards and Interfaces, 35 (3). pp. 247-256. ISSN 0920-5489. (Access to this publication is restricted)
[img]

Korporal, Anja and Regensburger, Georg and Rosenkranz, Markus (2010) A MAPLE package for integro-differential operators and boundary problems. ACM Communications in Computer Algebra, 44 (3). pp. 120-122. ISSN 1932-2240 . (The full text of this publication is not available from this repository)

Korporal, Anja and Regensburger, Georg and Rosenkranz, Markus (2011) Regular and singular boundary problems in Maple. In: Gerdt, V.P. and Koepf, W. and Mayr, E.W. and Vorozhtsov, E.V., eds. Proceedings of the 13th International Workshop on Computer Algebra in Scientific Computing (CASC'11). Lecture Notes in Computer Science, 6885 . Springer, Berlin, pp. 280-293. ISBN 978-3-642-23567-2 . (The full text of this publication is not available from this repository)

L

Lamela Seijas, Pablo and Li, Huiqing and Thompson, Simon (2013) Towards Property-Based Testing of RESTful Web Services. Technical report. School of Computing, University of Kent (Unpublished) (Full text available)
[img]
Preview

Lamela Seijas, Pablo and Li, Huiqing and Thompson, Simon (2013) Towards property-based testing of RESTful web services. In: Proceedings of the twelfth ACM SIGPLAN workshop on Erlang - Erlang '13. pp. 77-78. (Full text available)
[img]
Preview

Lamela Seijas, Pablo and Thompson, Simon and Taylor, Ramsay and Bogdanov, Kirill and Derrick, John (2014) Synapse: automatic behaviour inference and implementation comparison for Erlang. Technical report. University of Kent (Unpublished) (Full text available)
[img]
Preview

Linington, Peter F. and Miyazaki, Hiroshi and Vallecillo, Antonio (2012) Obligations and Delegation in the ODP Enterprise Language. In: EDOC Workshops 2012: VORTE, September 10-14 2012, Beijing, China. (Access to this publication is restricted)
[img]

Lowe, Ben and Winzar, Hume and Ward, Steven (2007) Essentials of SPSS for Windows Versions 14 and 15: A Business Approach. Cengage Learning, Australia, 158 pp. ISBN 9780170134651. (The full text of this publication is not available from this repository)

M

McCall, Davin and Kölling, Michael (2014) Meaningful Categorisation of Novice Programmer Errors. In: 2014 Frontiers In Education Conference, Oct 2014, Madrid, Spain. (Full text available)
[img]
Preview

McKay, Fraser and Kölling, Michael (2013) Predictive Modelling for HCI Problems in Novice Program Editors. In: HCI 2013 - The 27th International British Computer Society Human Computer Interaction Conference: The Internet of things, 9-13 September 2013, London, UK. (Full text available)
[img]
Preview

Micallef, Luana and Rodgers, Peter (2012) Poster: Drawing Area-Proportional Venn-3 Diagrams Using Ellipses. In: 2012 Grace Hopper Celebration of Women in Computing, ACM Student Research Competition and Poster Session, October 2012, Baltimore, MD, USA. (Full text available)
[img]
Preview

P

Poole, Michael D. (1995) Using records and pointers with occam 2.1. In: Nixon, Paddy and Transputer User, Grp, eds. Transputer and Occam Developments. Transputer & Occam Engineering Series, 44 . IOS Press, Amsterdam, pp. 151-162. ISBN 90-5199-222-X. (The full text of this publication is not available from this repository)

R

Ritson, Carl G. and Ugawa, Tomoharu and Jones, Richard E. (2014) Exploring Garbage Collection with Haswell Hardware Transactional Memory. In: ACM/SIGPLAN International Symposium on Memory Management (ISMM14), 12 June 2014, Edinburgh, UK. (In press) (Full text available)
[img]
Preview

Rosenkranz, Markus and Phisanbut, Nalina (2013) A Symbolic Approach to Boundary Problems for Linear Partial Differential Equations: Applications to the Completely Reducible Case of the Cauchy Problem with Constant Coefficients. In: Proceedings of the 15th International Workshop on Computer Algebra in Scientific Computing (CASC'13). Lecture Notes in Computer Science, 8136 . Springer, Berlin. ISBN TBC. (In press) (The full text of this publication is not available from this repository)

S

Sharifi, Mohsen and Ghafourian, Taravat (2014) Estimation of Biliary Excretion of Foreign Compounds Using Properties of Molecular Structure. AAPS journal, 16 (1). pp. 65-78. ISSN 1550-7416. (Access to this publication is restricted)
[img]

Sobhy, Mohammed and Makkey, M.Y. (1998) A new look at analogue computing using switched capacitor circuits. In: ISCAS '98 - Proceedings of the 1998 International Symposium on Circuits and Systems. IEEE, 345 E 47th St, New York, NY 10017 USA , New York pp. 484-487. ISBN 0-7803-4455-3. (The full text of this publication is not available from this repository)

Steen, Maarten and Derrick, John and Boiten, Eerke and Bowman, Howard (1999) Consistency of partial process specifications. In: 7th International Conference on Algebraic Methodology and Software Technology (AMAST 98), Jan 04-08, 1999, Amazonia, Brazil. (Full text available)
[img]
Preview
[img]
Preview

T

Tardivel, Gillian M. and Morse, David R. (1998) The role of the user in computer-based species identification. In: Bridge, Paul and Jeffries, Peter and Morse, David R. and Scott, Peter R., eds. Information technology, plant pathology and biodiversity. Cabi Publishing-CAB Int, Oxon, England pp. 247-259. ISBN 0-85199-217-X. (The full text of this publication is not available from this repository)

Thompson, Simon and Li, Huiqing (2013) Refactoring tools for functional languages. Journal of Functional Programming, 23 (03). pp. 293-350. ISSN 0956-7968. (The full text of this publication is not available from this repository)

U

Ugawa, Tomoharu and Jones, Richard E. and Ritson, Carl G. (2014) An On-The-Fly Copying Garbage Collection Framework for Jikes RVM. In: 12th Asian Symposium on Programming Languages and Systems, 17-19 November 2014, Singapore. (Full text available)
[img]
Preview

Ugawa, Tomoharu and Jones, Richard E. and Ritson, Carl G. (2014) Reference Object Processing in On-The-Fly Garbage Collection. In: ACM/SIGPLAN International Symposium on Memory Management (ISMM14), 12 June 2014, Edinburgh, UK. (In press) (Full text available)
[img]
Preview

W

Walczowski, Les T. and Ellis, Mark K. (2008) Using Web 2.0 Technology to Support Learning and Teaching. In: 2nd International Multi-Conference on Society, Cybernetics and Informatics, June 29th - July 2nd 2008, Orlando, Florida, USA. (The full text of this publication is not available from this repository)

Walczowski, Les T. and Elllis, M.K. (2008) A Novel Learning Management Portal to Support Engineering and Technology Education. In: 2008 International Technology, Education and Development Conference, March 3rd - 5th 2008, Valencia, Spain. (The full text of this publication is not available from this repository)

Webber, J. Beau W. (2008) APLX version 4 - from the viewpoint of an experimental physicist. Vector (Journal of the British APL Association), 23 (3). pp. 39-45. ISSN 0955-1433. (The full text of this publication is not available from this repository)

Webber, J. Beau W. (1989) A Pipe has two ends. Using APL in a multiprocess/multiprocessor environment. A proposal for a flexible but easy to use syntax. Apl Quad Quote, 20 (1). pp. 1-2. (Access to this publication is restricted)
[img] [img]
Preview

Wood, David C. and Moores, James (1999) User-defined data types and operators in occam. In: 22nd World-Occam-and-Transputer-User-Group Technical Meeting (WoTUG-22), April 11-14, 1999, Keele, England. (Full text available)
[img]
Preview

This list was generated on Fri Nov 28 19:28:46 2014 GMT.