Found 98 results
Filters: First Letter Of Last Name is V [Clear All Filters]
IoT-based system for monitoring conditions in an industrial painting booth. Conference: 2022 33rd Irish Signals and Systems Conference (ISSC).
.
2022. An improved simulated annealing heuristic for static partitioning of task graphs onto heterogeneous architectures. 2014 20th IEEE International Conference on Parallel and Distributed Systems (ICPADS).
.
2014. Parallel Multi Channel convolution using General Matrix Multiplication. 2017 IEEE 28th International Conference on Application-specific Systems, Architectures and Processors (ASAP)2017 IEEE 28th International Conference on Application-specific Systems, Architectures and Processors (ASAP).
.
2017. Automatic Repair of Software Systems. Encyclopedia of Software EngineeringEncyclopedia of Software Engineering.
.
2012. Developing Autonomic Properties for Distributed Pattern-Recognition Systems with ASSL. Transactions on Computational Science. Springer Verlag
.
2011. Representing Knowledge in Robotic Systems with KnowLang. Proceedings of the 1st International ISoLA Workshop on Software Aspects of Robotic Systems.
.
2011. Knowledge Representation for Intelligent Systems. Encyclopedia of Software EngineeringEncyclopedia of Software Engineering.
.
2011. Knowledge Representation for Autonomous Systems – the "ASCENS" Case Study. Organic Computing - Design of Self-Organizing Systems (Dagstuhl Seminar 11181)Organic Computing - Design of Self-Organizing Systems (Dagstuhl Seminar 11181). 1
.
2011. Knowledge Representation and Reasoning for Intelligent Software Systems. IEEE Computer. 44
.
2011. An ASSL Approach to Handling Uncertainty in Self-adaptive Systems. Proceedings of the 34th annual IEEE Software Engineering Workshop.
.
2011. The ASSL Approach to Specifying Self-Managing Embedded Systems. Concurrency and Computation: Practice and Experience.
.
2011. Developing Model-Checking Mechanisms for ASSL: An Experience Report. Proceedings of the 9th International Conference on Software Engineering and Formal Methods (SEFM2011)Proceedings of the 9th International Conference on Software Engineering and Formal Methods (SEFM2011).
.
2011. Efficient Space Exploration through Laziness. Proceedings of the International Conference on Context-Aware Systems and Applications (ICCASA 2012)Proceedings of the International Conference on Context-Aware Systems and Applications (ICCASA 2012).
.
2012. Efficient Reasoning with Ambient Trees for Space Exploration. Proceedings of the International Conference on Context-Aware Systems and Applications (ICCASA 2012)Proceedings of the International Conference on Context-Aware Systems and Applications (ICCASA 2012).
.
2012. Developing Autonomic Systems with ASSL - Theory and Practice. Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development and VerificationFormal and Practical Aspects of Autonomic Computing and Networking: Specification, Development and Verification.
.
2012. Building the Pyramid of Awareness. Awareness Magazine - Self-awareness in Autonomic Systems.
.
2012. Awareness in Software-intensive Systems. IEEE Computer. 45
.
2012. Implementing Artificial Awareness with KnowLang. Proceedings of the IEEE International Systems Conference (SysCon2013)Proceedings of the IEEE International Systems Conference (SysCon2013).
.
2013. On the Autonomy Requirements for Space Missions. Proceedings of the 16th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing Workshops (ISCORCW 2013).
.
2013. On the Autonomy Requirements for Space Missions. Proceedings of the 16th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing Workshops (ISCORCW 2013)Proceedings of the 16th IEEE International Symposium on Object/Component/Service-oriented Real-time Distribut.
.
2013. Requirements Engineering for Self-Adaptive Systems with ARE and KnowLang. EAI Endorsed Transactions on Self-Adaptive Systems. 1(8)
.
2015. Engineering Requirements for Autonomy Features. Software Engineering for Collective Autonomic Systems: Results of the ASCENS ProjectSoftware Engineering for Collective Autonomic Systems: Results of the ASCENS Project.
.
2015. Capturing Autonomy Features for Unmanned Spacecraft with ARE, the Autonomy Requirements Engineering Approach. Innovations in Systems and Software Engineering - a NASA Journal. 11
.
2015. Safe Artificial Intelligence and Formal Methods. Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part ILeveraging Applications of Formal Methods, Verific.
.
2016. Integration and Promotion of Autonomy with the ARE Framework. Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part ILeveraging Applications of Formal Methods, Verific.
.
2016. Pages
- ‹ previous
- 1
- 2
- 3
- 4
- next ›