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

Jump to: Article | Book section | Conference or workshop item | Book | Patent | Edited book

Number of items at this level: 30.

Article

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.

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.

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.

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.

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.

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.

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

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.

Book section

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.

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.

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 . Springer, Berlin. ISBN TBC. (In press) The full text of this publication is not available from this repository.

Conference or workshop item

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.

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.

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

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

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.

Preview Preview

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.

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.

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

Book

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.

Patent

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.

Edited book

de Lemos, Rogério and Fabre, Jean-Charles and Gacek, Cristina and Gadducci, Fabio and ter Beek, Maurcie H., eds. (2009) Architecting Dependable Systems VI. Lecture Notes in Computer Science, 5835 . Springer, 335 pp. ISBN 9783642102479. The full text of this publication is not available from this repository.

Casimiro, Antonio and de Lemos, Rogério and Gacek, Cristina, eds. (2010) Architecting Dependable Systems VII. Lecture Notes in Computer Science, 6420 . Springer, 324 pp. ISBN 9783642172441. The full text of this publication is not available from this repository.

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.

Weyns, Danny and Malek, Sam and de Lemos, Rogério and Andersson, Jesper, eds. (2010) Self-Organizing Architectures. Lecture Notes in Computer Science, 6090 . Springer, 301 pp. ISBN 9783642144110. The full text of this publication is not available from this repository.

Cheng, Betty H.C. and de Lemos, Rogério and Giese, Holger and Inverardi, Paola and Magee, Jeff, eds. (2009) Software Engineering for Self-Adaptive Systems. Lecture Notes in Computer Science/Programming and Software Engineering, 5525 . Springer, 261 pp. ISBN 9783642021602. The full text of this publication is not available from this repository.

This list was generated on Wed Jun 19 14:11:28 2013 BST.