Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Timed rewriting logic with an application to object-based specification
Science of Computer Programming - Special issue: on formal specifications: foundations, methods, tools and applications: selected papers from the FMTA '95 conference (29–31 May 1995, Konstancin n. Warsaw, Poland)
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Revisiting the Categorical Approach to Systems
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
A foundation for actor computation
Journal of Functional Programming
Logic in Computer Science: Modelling and Reasoning about Systems
Logic in Computer Science: Modelling and Reasoning about Systems
Reo: a channel-based coordination model for component composition
Mathematical Structures in Computer Science
Process Algebras for Quantitative Analysis
LICS '05 Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science
Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude
Formal Methods in System Design
Stochastic Relations
A Rewriting Logic Framework for Soft Constraints
Electronic Notes in Theoretical Computer Science (ENTCS)
A Heterogeneous Approach to UML Semantics
Concurrency, Graphs and Models
Engineering of Software-Intensive Systems: State of the Art and Research Challenges
Software-Intensive Systems and New Computing Paradigms
Formalizing the notion of adaptive system behavior
Proceedings of the 2009 ACM symposium on Applied Computing
Which Soft Constraints do you Prefer?
Electronic Notes in Theoretical Computer Science (ENTCS)
PMaude: Rewrite-based Specification Language for Probabilistic Object Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
A probabilistic formal analysis approach to cross layer optimization in distributed embedded systems
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
Constraint-muse: a soft-constraint based system for music therapy
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
A Logical Basis for Component-Oriented Software and Systems Engineering
The Computer Journal
Position paper: towards a requirements-driven design of ensemble-based component systems
Proceedings of the 2013 international workshop on Hot topics in cloud services
DCCL: verification of component systems with ensembles
Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering
Engineering autonomous systems
Proceedings of the 17th Panhellenic Conference on Informatics
Hi-index | 0.00 |
Ensembles--software-intensive systems with massive numbers of nodes or complex interactions between nodes, operating in open and non-deterministic environments and dynamically adapting to changes in their environment or requirements--pose many challenges to software development. We present first steps towards a system model for ensembles that allows us to express requirements using a wide variety of logics and fitness criteria over arbitrary preorders. Using this system model we then give a precise definition of "black-box" adaptation and show how this naturally leads to a preorder of adaptability on ensembles.