Filters








11 Hits in 1.3 sec

Combining Graphical and Formal Development of Open Distributed Systems [chapter]

Einar B. Johnsen, Wenhui Zhang, Olaf Owe, Demissie B. Aredo
2002 Lecture Notes in Computer Science  
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
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.
doi:10.1007/3-540-47884-1_18 fatcat:wy7b6x3nvzaevb6567xocdua7m

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  
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

Manjunath Kotari, Niranjan N. Chiplunkar, H R Nagesh
2014 2014 International Conference on Contemporary Computing and Informatics (IC3I)  
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]

Demissies Aredo, Mark Burgess, Simen Hagen
2008 arXiv   pre-print
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]

Ketil Stolen
1999 Formal Methods for Open Object-Based Distributed Systems  
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

Einar Snekkenes
2001 Proceedings of the 3rd ACM conference on Electronic Commerce - EC '01  
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

Manjunath Kotari, Dr. Niranjan N. Chiplunkar, Dr. Nagesh H.R
2016 IOSR Journal of Computer Engineering  
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

Steffen Helke, Florian Kammuller
2016 International Journal of Advanced Computer Science and Applications  
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

Getachew Shambel Endris, Paul Kibwika, Bernard B. Obaa, Jemal Yousuf Hassan
2020 Journal of International Humanitarian Action  
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]

Steffen Helke, Technische Universität Berlin, Technische Universität Berlin, Stefan Jähnichen
2008
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+)

Berhane Dinbabo, Gregory Ruiters
2016 unpublished
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