scholarly journals Program Complexity in Hierarchical Module Checking

Author(s):  
Aniello Murano ◽  
Margherita Napoli ◽  
Mimmo Parente
Keyword(s):  
1988 ◽  
Vol 23 (2) ◽  
pp. 28-35
Author(s):  
P. F. Sorensen
Keyword(s):  

Author(s):  
Jean Zolnowski ◽  
Dick B. Simmons
Keyword(s):  

1982 ◽  
Vol 17 (3) ◽  
pp. 37-45 ◽  
Author(s):  
Kenneth Magel
Keyword(s):  

2010 ◽  
Vol 44-47 ◽  
pp. 844-848
Author(s):  
Yu Jiang ◽  
Yan Chun Liang ◽  
Li Li He ◽  
Ying Hui Cao ◽  
Cheng Quan Hu

Based on the analysis of the wireless sensor networks in the application of the public utilities, a new approach which can change channel dynamically in buildings using wireless sensor networks was designed and implemented. In this paper, the WSN platform supported for AES encryption. And on the basis of the TDMA protocol, using linear regression and BBS generator, a new WSN protocol which has the ability to change communication channel dynamically was designed. Compared with traditional network protocols, the proposed method can decrease the degree of network congestion, energy consumption, program complexity and easy to achieve.


1988 ◽  
Vol 13 (3-4) ◽  
pp. 109-123 ◽  
Author(s):  
William G. Bail ◽  
Marvin V. Zelkowitz
Keyword(s):  

1980 ◽  
Vol 15 (9) ◽  
pp. 64-66 ◽  
Author(s):  
Murat M. Tanik
Keyword(s):  

2021 ◽  
pp. 073401682110390
Author(s):  
Talita Egevardt de Castro ◽  
Marcelo Justus ◽  
Ana Lúcia Kassouf

The current study evaluates the impact of the National Public Security with Citizenship Program (PRONASCI) on the homicide rate in Brazilian municipalities. PRONASCI program was implemented in Brazilian metropolitan regions and urban territories with high violent crime rates in 2007. In this study, we have applied a spatial difference-in-differences model with matching approaches. Municipalities that did not receive funds from the program made up the control group. We found that the program was inefficient to reduce the homicide rate in all of the municipalities that had received funds from it, compared to those that had not, even considering their potential spatial spillover effects. This result was expected due to the program complexity, in particular due to its ineffective management and the resistance from municipalities to change with the program.


Sign in / Sign up

Export Citation Format

Share Document