Abstract
The final session summarized the main conclusions of the workshop and addressed some open issues. Another objective was to decide whether a new IRTAW is needed, and, if so, the location and time frame.
- Zerzelidis, A., Burns, A., Wellings, A. J. Correcting the EDF protocol in Ada 2005. In Ada-Letters (this issue). Google Scholar
Digital Library
- Wellings, A. J., Burns, A. Integrating OOP and Tasking --- The missing requeue. In Ada-Letters (this issue) Google Scholar
Digital Library
- Urueña, S., Zamorano, J. Building High-Integrity Distributed Systems with Ravenscar Restrictions. In Ada-Letters (this issue)Google Scholar
- Wellings, A. J., Burns, A. A Framework for Real-Time Utilities for Ada 2005. In Ada-Letters (this issue). Google Scholar
Digital Library
- Burns, A., Wellings, A. J. Programming Execution-Time Servers in Ada 2005. In Ada-Letters (this issue). Google Scholar
Digital Library
- Pulido, J., de la Puente, J. A., Bordin, M., Vardanega, T., Hugues, J. Ada 2005 Code Patterns for Metamodel-Based Code Generation. In Ada-Letters (this issue). Google Scholar
Digital Library
- Urueña, S., Pulido, J., Redondo, J., Zamorano, J. Implementing the New Ada 2005 Real-Time Features on a Bare Board Kernel. In Adá-Letters (this issue).Google Scholar
- Aldea, M., González Harbour, M. Operating System Support for Execution Time Budgets for Thread Groups. In Ada-Letters (this issue).Google Scholar
- Burns, A., Wellings, A. J. Beyond Ada 2005: Allocating Tasks to Processors in SMP Systems. In Ada-Letters (this issue). Google Scholar
Digital Library
- Ward, M., Audsley, N. C. Suggestions for Stream Based Parallel Systems in Ada. In Ada-Letters (this issue). Google Scholar
Digital Library
- Michell, S. Interfacing Ada to Operating Systems. In Ada-Letters (this issue). Google Scholar
Digital Library
Index Terms
Summary
Recommendations
Workshop Summary of AISec'14: 2014 Workshop on Artificial Intelligent and Security
CCS '14: Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications SecurityIt is our great pleasure to welcome you to the 2014 ACM Workshop Artificial Intelligence and Security (AISec 2014) -- the seventh annual workshop addressing technologies that fuse intelligent systems into computer security applications and the ...
Current and emerging topics in software architecture (ECSA 2010 Workshops Summary)
ECSA '10: Proceedings of the Fourth European Conference on Software Architecture: Companion VolumeSince 2004 in St. Andrews (Scotland, U.K.), ECSA the European Conference on Software Architecture (formerly EWSA, the European Workshop on Software Architecture) has been considered as an important meeting point for researchers and practitioners on the ...
Workshop Summary of AISec'15: 2015 Workshop on Artificial Intelligent and Security
CCS '15: Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications SecurityIt is our great pleasure to welcome you to the 2015 ACM Workshop Artificial Intelligence and Security (AISec 2015) - the eight annual workshop addressing technologies that fuse intelligent systems into computer security applications and the implications ...







Comments