Found 98 results
Filters: First Letter Of Last Name is V [Clear All Filters]
Requirements and Initial Model for KnowLang - a Language for Knowledge Representation in Autonomic Service-Component Ensembles. Proceedings the Fourth International C* Conference on Computer Science & Software Engineering (C3S2E 2011)Proceedings the Fourth International C* Conference on Computer Science & Software Engineering (C3S2E 2011).
.
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 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. Knowledge Representation and Awareness in Autonomic Service-Component Ensembles – State of the Art. Proceedings of the 14th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISCORC 2011)Proceedings of the 14th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computin.
.
2011. Fundamentals of Designing Complex Aerospace Software Systems. Proceedings of Complex Systems Design & Management (CSDM2011)Proceedings of Complex Systems Design & Management (CSDM2011).
.
2011. 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 Properties for Distributed Pattern-Recognition Systems with ASSL. Transactions on Computational Science. Springer Verlag
.
2011. The ASSL Approach to Specifying Self-Managing Embedded Systems. Concurrency and Computation: Practice and Experience.
.
2011. An ASSL Approach to Handling Uncertainty in Self-adaptive Systems. Proceedings of the 34th annual IEEE Software Engineering Workshop.
.
2011. Swarm Technology at NASA: Building Resilient Systems. IT Professional. 14
.
2012. Representing Knowledge in Robotic Systems with KnowLang. Leveraging Applications of Formal Methods, Verification, and ValidationLeveraging Applications of Formal Methods, Verification, and Validation.
.
2012. Knowledge Representation with KnowLang - The marXbot Case Study. Proceedings of the 11th IEEE International Conference on Cybernetic Intelligent SystemsProceedings of the 11th IEEE International Conference on Cybernetic Intelligent Systems.
.
2012. Knowledge Representation for Self-Adaptive Behavior. Proceeding of C* Conference on Computer Science & Software Engineering (C3S2E ’12)Proceeding of C* Conference on Computer Science & Software Engineering (C3S2E ’12).
.
2012. Knowledge Representation for Cognitive Robotic Systems. Proceedings of the 15th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing Workshops (ISCORCW 2012).
.
2012. Fundamentals of Designing Complex Aerospace Software Systems. Complex Systems Design & ManagementComplex Systems Design & Management.
.
2012. Formal Specification as High-Level Programming: The ASSL Approach. Patterns, Programming and EverythingPatterns, Programming and Everything.
.
2012. 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. SEcube(TM): an Open Security Platform - General Approach and Strategies. International Conference on Security and Management (SAM)International Conference on Security and Management (SAM).
.
2016. Threat modeling at run time: the case for reflective and adaptive threat management (NIER track). 2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).
.
2021. SchröDinger's Security: Opening the Box on App Developers' Security Rationale. Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering.
.
2020. Privacy and Security Technologies for Smart City Development. Security and Privacy Applications for Smart City Development. :3–23.
.
2021. .
2020. Pages
- ‹ previous
- 1
- 2
- 3
- 4