A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Combining Graphical and Formal Development of Open Distributed Systems
[chapter]
2002
Lecture Notes in Computer Science
Preserved Fulltext
A specification of a software system involves several aspects. Two essential aspects are convenience in specification and possibility for formal analysis. These aspects are, to some extent, exclusive. This paper describes an approach to the specification of systems that emphasizes both aspects, by combining UML with a language for description of the observable behavior of object viewpoints, OUN. Whereas both languages are centered around object-oriented concepts, they are complementary in the
doi:10.1007/3-540-47884-1_18
fatcat:wy7b6x3nvzaevb6567xocdua7m
more »
... nse that one is graphical and semi-formal while the other is textual and formal. The approach is demonstrated by a case study focusing on the specification of an open communication infrastructure.
Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587)
2001
Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat No 01TH8587) HCC-01
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Mudabushi 120 "Integrating UML and OUN for Specification of Open Distributed Systems", Wenhui Zhang, Einar B. Johnsen, Olaf Owe, Demissie B. ...
Aredo Bringing robustness to end-user programming'' Mikael Baron, Patrick Girard End-User Programming in New Domains How to Teach a Fish to Swim", Stephen Farrell, Paul P. Maglio, Christopher P. ...
doi:10.1109/hcc.2001.995227
fatcat:gds4tf4mcjgpthuj3zdv5k5aem
Implementation of secure customized monitoring tool for adapative distributed systems
2014
2014 International Conference on Contemporary Computing and Informatics (IC3I)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
LITERATURE REVIW 2.1 Security Issues in Adaptive Distributed Systems Demissie B. Aredo et al. ...
Demissie B. Aredo et al. [3] does not address about how to achieve an adaptation through the minimal impact on its security mechanism. ...
doi:10.1109/ic3i.2014.7019586
fatcat:ghtyluwaxndtljidzeyuwpsx7q
Program Promises
[article]
2008
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
We denote this S Π:B =⇒ R ≡ s 1 π:b 1 −→ r 1 , . . . s d , π:b d −→ r d . (2) where Π denotes a bundle of promises and B is the collection of promise bodies b 1 , b 2 , . . . , b d . ...
Symbol Interpretation a π:+b −→ a ′ Promise with body b a ′ π:−b −→ a Promise to accept b v a (a π:b −→ a ′ ) The value of promise to a v a ′ (a π:b −→ a ′ ) The value of promise to a ′ Promises can be ...
arXiv:0802.1586v1
fatcat:krrwu5pym5c2jm5cdwv7cnl5pq
Specification of Dynamic Reconfiguration in the Context of Input/Output Relations
[chapter]
1999
Formal Methods for Open Object-Based Distributed Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Demissie Aredo and Olaf Owe read a draft version and provided helpful feedback. The research presented in this paper has been carried out within the ADAPT-Ff project. ...
If A and B are not disjoint, then the result is still deterministic for each channel name in (A \ B) U (B \ A). ...
Initially, there is no direct connection from A to B, but there is an indirect one via Central; from B to A there is no connection at all. ...
doi:10.1007/978-0-387-35562-7_20
fatcat:5n6gvk62gvbejjfkiep27djzpm
Concepts for personal location privacy policies
2001
Proceedings of the 3rd ACM conference on Electronic Commerce - EC '01
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Ragni Ryvold Arnesen, Demissie B. Aredo, Hans Jacob Rivertz and Christian Hauknes made several helpful comments. ...
For example, we have the 'paranoid' location specification (B(.),B(.),B(.)) and the naive location specification (T(.), T(.),T(.)). ...
doi:10.1145/501158.501164
dblp:conf/sigecom/Snekkenes01
fatcat:jgmkt6i3lfe4vcqvtqnezrbsge
Framework of Security Mechanisms for Monitoring Adaptive Distributed Systems
2016
IOSR Journal of Computer Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Related Works Demissie B. Aredo et al. [7] highlighted about the two main problems in adaptive distributed systems. ...
The parameter coefficients a, b, c is non-negative coefficients whose values can be determined using analytical techniques. ...
doi:10.9790/0661-1804012536
fatcat:keozhs43vjgltkrp5r23ahwe7y
Verification of Statecharts Using Data Abstraction
2016
International Journal of Advanced Computer Science and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Based on this work, Demissie B. Aredo developed a similar -but more elaborated -formalisation [17] . In contrast to our work, this is a formalisation of UML Statecharts, which is not based on HA. ...
Normal form (2 2 k ) B 1 ∧ B 2 B 1 ∨ (¬ B 1 ∧ B 2 ) ¬ B 1 ∧ B 2 B 1 ∨ (¬ B 1 ∧ ¬ B 2 ) ¬ B 1 ∧ ¬ B 2 B 2 ∨ (¬ B 1 ∧ ¬ B 2 ) B 1 ∧ ¬ B 2 B 2 ∨ (B 1 ∧ ¬ B 2 ) B 1 ∨ B 2 (B 1 ∧ ¬ B 2 ) ∨ (¬ B 1 ∧ B 2 ) ¬ ...
doi:10.14569/ijacsa.2016.070179
fatcat:iyfbrril5bcbrhft2x5zuppemu
How social capital can inform targeting formal social safety net interventions in vulnerable communities in eastern Ethiopia: an ethnographic case study
2020
Journal of International Humanitarian Action
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Despite rapid economic growth, 31% of the Ethiopian population is poor with 54% of its population classified as vulnerable to shocks (Demissie and Kasie 2017) and the majority of them living in rural ...
These arrangements have cushioned communities from adverse livelihood shocks and uncertainties (Bernier and Meinzen-Dick 2014; Bhattamishra and Barrett 2010; Aredo 2010; Kebede 2012; Kebede and Butterfield ...
doi:10.1186/s41018-020-00075-3
fatcat:o4ijacu2d5hptcghfvmcxh35ju
Verifikation von Statecharts durch struktur- und eigenschaftserhaltende Datenabstraktion
[article]
2008
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Aufbauend auf dieser Arbeit wurde von Demissie B. Aredo einë ahnliche, aber im Detail besser ausgearbeitete Formalisierung entwickelt [Are04]. ...
∧ ¬ B 2 ) B 1 ∨ B 2 (B 1 ∧ ¬ B 2 ) ∨ (¬ B 1 ∧ B 2 ) ¬ B 1 ∨ B 2 (B 1 ∧ B 2 ) ∨ (¬ B 1 ∧ ¬ B 2 ) ¬ B 1 ∨ ¬ B 2 (B 1 ∧ ¬ B 2 ) ∨ (¬ B 1 ∧ ¬ B 2 ) B 1 ∨ ¬ B 2 (¬ B 1 ∧ B 2 ) ∨ (¬ B 1 ∧ ¬ B 2 ) Approximation ...
doi:10.14279/depositonce-1778
fatcat:6g2qi7m6ezhafotfuzndpa3v64
Transformational Leadership and Health Related NGOs in Ethiopia: Members' perspectives of their leaders: A case study of Addis Ababa Network of PLHIV Associations (ANOPA+)
2016
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
In addition, the study proved that a statistically significant relationship existed between extrinsic (B= 0.45, p<0.01) and intrinsic job satisfaction (B= 0.32, p<0.05). ...
According to Aredo (2010) members pool their small (weekly or monthly) savings and receive the collected money on a lottery basis. ...
fatcat:wjwunrhbsnewpmkv2qvrrrgkza