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 ASCII CitationBibTeXDublin CoreEP3 XMLEndNoteHTML CitationJSONMETSObject IDsOpenURL ContextObjectRDF+N-TriplesRDF+N3RDF+XMLReferReference Manager	Atom RSS 1.0 RSS 2.0

Group by: Creator's name | Item Type | Date | No Grouping

2013 2012 2011 2010 2009 2008 2007 1999 1998 1995 1991 1989

Number of items at this level: 29.

2013

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. (In press)

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 & Interfaces, 35 (3). pp. 247-256. ISSN 0920-5489. Access to this publication is restricted.

2012

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.

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.

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.

Preview

2011

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.

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.

2010

Casimiro, A. and de Lemos, R. and Gacek, C., eds. (2010) Architecting Dependable Systems VII. Lecture Notes in Computer Science, 6420 . Springer, 324 pp. ISBN 978-3-642-17244-1. The full text of this publication is not available from this repository.

Weyns, D. and Malek, S. and de Lemos, R. and Andersson, J., eds. (2010) Self-Organizing Architectures. Lecture Notes in Computer Science, 6090 . Springer, 301 pp. ISBN 978-3-642-14411-0. The full text of this publication is not available from this repository.

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.

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.

2009

de Lemos, R. and Fabre, J.-C. and Gacek, C. and Gadducci, F. and ter Beek, M., eds. (2009) Architecting Dependable Systems VI. Lecture Notes in Computer Science, 5835 . Springer, 335 pp. ISBN 978-3-642-10247-9. The full text of this publication is not available from this repository.

Cheng, B.H.C and de Lemos, R. and Giese, H. and Inverardi, P. and Magee, J., eds. (2009) Software Engineering for Self-Adaptive Systems. Lecture Notes in Computer Science, 5525 . Springer, 261 pp. ISBN 978-3-642-02160-2. 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.

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.

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

2008

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.

2007

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.

1999

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.

Preview 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.

Preview

1998

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.

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.

1995

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.

1991

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.

1989

Cook, S.J., ed. (1989) ECOOP'89: Proceedings of the 1989 European Conference on Object-oriented Programming. Cambridge University Press The full text of this publication is not available from this repository.

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.

Preview

This list was generated on Tue May 21 23:48:05 2013 BST.