Skip to search formSkip to main contentSkip to account menu
Self-stabilizing extensions for message-passing systems
TLDR
This paper explores the possibility of extending an arbitrary program into a self-stabilizing one using an asynchronous distributed message-passing system whose communication topology is an arbitrary graph.
View on ACM
A superimposition control construct for distributed systems
TLDR
A control structure called a superimposition is proposed, which captures a kind of modularity natural for distributed programming, which previously has been treated using a macro-like implantation of code.
View on ACM
Aspect Categories and Classes of Temporal Properties
  • Shmuel Katz
  • Computer Science
    LNCS Trans. Aspect Oriented Softw. Dev.
  • 2006
TLDR
The definitions of categories, identification procedures, and lemmas about property classes provide the needed foundations that justify and motivate automatic code analysis modules to identify aspect categories.
View via Publisher
Appraising fairness in languages for distributed programming
The relations among various languages and models for distributed computation and various possible definitions of fairness are considered. Natural semantic criteria are presented which an acceptable…
View on Springer
Architectural views of aspects
TLDR
An aspect architecture, a new software architecture viewtype, is proposed, and its general principles are explained, where designs of aspects provide maximal flexibility, and a new concern diagram is provided to show how aspects can be combined to treat different concerns of a system.
View on ACM
MAVEN: Modular Aspect Verification
TLDR
This is the first technique for once-and-for-all verification of an aspect relative to its specification, thereby increasing the modularity of proofs for systems with aspects.
View via Publisher
Self-stabilizing extensions for meassage-passing systems
TLDR
This paper develops a formal definition of the concept of one program being a self-stabilizing extension of another and a characterization of what properties may hold in such extensions.
View on Springer
Interleaving set temporal logic
A new temporal logic and interpretation are suggested which have features from linear temporal logic, branching time temporal logic, and partial order temporal logic. The new logic can describe…
View on ACM
On the Feasibility of Distributed Constraint Satisfaction
TLDR
This paper characterizes connectionist-type architectures that allow a distributed solution for classes of constraint-satisfaction problems and shows that the algorithms are guaranteed to be self-stabilizing, which makes them suitable for dynamic or error-prone environments.
View Paper
Superimpositions and Aspect-oriented Programming
TLDR
Internal’s first advice after(BOUND CLASS C): set(boolean BOUND CLASS.IDLE) && target(C) { checkRule(C); } declare parents: BOUND class implements InternalIF; //Internal”s second advice public void BOUND Class.repeat() throws RemoteException.
View via Publisher
...
...
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License