Search
w/in this Title
for Titles
All Reviews
Ada
ACM Press
Options:
Date Reviewed
Title
Author
Publisher
Published Date
Descending Order
Ascending Order
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
5
10
15
25
50
100
per column
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy