Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
 
Ada
ACM Press
 
   
 
Options:
 
  1-7 of 7 reviews Date Reviewed 
  Temporal skeletons for verifying time
Naeser G., Lundqvist K., Asplund L.  Ada (Proceedings of the 2005 Annual ACM SIGAda International Conference on Ada, Atlanta, GA, USA, Nov 13-17, 2005) 49-56, 2005.  Type: Proceedings

In spite of recent developments, formal methods are still not widely used in practice, mostly because of their complexity and need for special training. This situation may be remedied by a formal method that hides the complexity from i...

Feb 9 2006
  Enforcing security and safety models with an information flow analysis tool
Chapman R., Hilton A.  Ada (Proceedings of the 2004 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-time & Distributed Systems Using Ada and Related Technologies, Atlanta, Georgia, USA, Nov 14-18, 2004) 39-46, 2004.  Type: Proceedings

Modern software development increasingly depends on integrating components developed by different teams, or even vendors. For security-critical applications, it is important to ensure that secrets (for example cryptographic keys) that ...

Feb 4 2005
  Teaching graphics using Ada
Brown C.  Ada (Proceedings of the 2004 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-time & Distributed Systems using Ada and Related Technologies, Atlanta, Georgia, USA, Nov 14-18, 2004) 47-50, 2004.  Type: Proceedings

A computer graphics teaching environment supporting multiple languages and a standard graphics library raises many issues, three of which are suitable language interfaces for the library, the representation of geometric data, and suppo...

Jan 26 2005
  A framework for designing and implementing the Ada standard container library
Marco J., Franch X.  Ada (Proceedings of the 2003 annual international conference, San Diego, CA, USA, Dec 7-11, 2003) 49-61, 2003.  Type: Proceedings

A framework for designing and implementing the Ada standard container library is described in this paper. The authors start with a short introduction, and then present the International Organization for Standardization (ISO) quality mo...

Jun 3 2004
  A practical comparison between Java and Ada in implementing a real-time embedded system
Potratz E.  Ada (Proceedings of the 2003 annual international conference, San Diego, CA, USA, Dec 7-11, 2003) 71-83, 2003.  Type: Proceedings

Undergraduate research on real-time control, using a model railway system at the University of Northern Iowa, is described in this paper. In lieu of the typical Ada implementation for such an embedded system, Java was us...

Apr 2 2004
  A DSA model for data access in self-organizing systems
Gantsou D.  Ada (Proceedings of the 2003 annual international conference, San Diego, CA, USA, Dec 7-11, 2003) 25-28, 2003.  Type: Proceedings

Self-organizing systems offer an alternative to traditional distributed systems in those cases where central coordination or central databases, pre-existing fixed network infrastructure, and centralized services are precluded....

Mar 24 2004
  Ada
Lynch B. (ed)  Ada, Dublin, Ireland, Jun 12-14, 1990,1990.  Type: Whole Proceedings

Ada has proven itself well suited to a variety of projects, though not without difficulty. This book contains the proceedings of the 1990 Ada-Europe conference, including a number of papers by US authors. It creates a useful snapshot o...

Jun 1 1992
 
 
 
Display per column
 
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy