w/in this Title
1-7 of 7 reviews
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 its user, the...
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 should be co...
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 supporting multi-...
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 model, mainly ...
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 used, ...
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
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 of Ada in lat...
Jun 1 1992
Reproduction in whole or in part without permission is prohibited. Copyright © 2000-2022 ThinkLoud, Inc.