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 | K | L | M | P | R | S | T | U | W
Number of items at this level: 37.

B

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

Boiten, E.A. and Schneider, S.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, P.H.S. and de Lemos, R. and Rubira, C. and Martins, E. (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)

Brito, P.H.S. and de Lemos, R. and Rubira, C.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)

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 de Lemos, R. (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)

D

Derrick, J. and Boiten, Eerke A. (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, R. (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 Wandekokem, Estefhan D. and Mendel, Eduardo and Fabris, Fabio and Varejao, Flavio M. and Rauber, Thomas W. and Batista, Rodgrigo (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)

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)

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)

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)

K

Kaijian, S. and Jian, S. (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 (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

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, B. and Winzar, H. and Ward, S. (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

McKay, Fraser and Kölling, Michael (2013) Predictive Modelling for HCI Problems in Novice Program Editors. In: BCS HCI 2013 - The Internet of Things XXVII, 11-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, M. (1995) Using records and pointers with occam 2.1. In: Nixon, P. 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 (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 (2013) Estimation of Biliary Excretion of Foreign Compounds Using Properties of Molecular Structure. The AAPS journal, 16 (1). pp. 65-78. ISSN 1550-7416. (Access to this publication is restricted)
[img]

Sobhy, M.I. 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, M. and Derrick, J. and Boiten, E.A. and Bowman, H. (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, G.M. and Morse, D.R. (1998) The role of the user in computer-based species identification. In: Bridge, P. and Jeffries, P. and Morse, D.R. and Scott, P.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)

U

Ugawa, Tomoharu and Jones, Richard 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, L.T. and Ellis, M.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, L.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. (Full text available)
[img]

Webber, J.B.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, D.C. and Moores, J. (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 Apr 25 00:14:24 2014 BST.