8 Hits in 9.1 sec

Automated test case generation from domain specific models of high-level requirements

Oyindamola Olajubu, Suraj Ajit, Mark Johnson, Scott Turner, Scott Thomson, Mark Edwards
2015 Proceedings of the 2015 Conference on research in adaptive and convergent systems - RACS  
This work reports on preliminary attempts to automate the generation of test cases from software requirement models using an industrial case study.  ...  Model-based software development has been shown to improve productivity and quality of software through automation. This involves using abstractions or models at several stages of development.  ...  RACS '15, October 9-12, 2015 [9] and Sequence diagrams [10] .  ... 
doi:10.1145/2811411.2811555 dblp:conf/racs/OlajubuAJTTE15 fatcat:p6pfmu4ivfdtxjrwmcoe3r6wrq

PageRank in malware categorization

BooJoong Kang, Suleiman Yerima, Kieran McLaughlin, Sakir Sezer
2015 Proceedings of the 2015 Conference on research in adaptive and convergent systems - RACS  
PageRank computes ranks of web pages based on structural information and can also compute ranks of instructions that represent the structural information of the instructions in malware analysis methods  ...  In the evaluation, we compare the effectiveness of different PageRank algorithms and also investigate bagging and boosting algorithms to improve the categorization accuracy.  ...  As future work, we will extend our proposed method to malware classification and investigate different machine learning algorithms. RACS'15, October 9-12, 2015, Prague, Czech Republic. © 2015 ACM.  ... 
doi:10.1145/2811411.2811514 dblp:conf/racs/KangYMS15 fatcat:tduzzbdainfyhnty5ijbvjsdfa

Enterprise information systems

Karel Cemus, Tomas Cerny, Lubos Matl, Michael J. Donahoo
2015 Proceedings of the 2015 Conference on research in adaptive and convergent systems - RACS  
The research shows that maintenance consumes about 65-75% of the software development time and about 40-60% of maintenance efforts are devoted to software understanding [2, 9] .  ...  While both approaches strive to avoid information restatement, they differ greatly in the underlying idea; thus, this work compares based on development efficacy and ease of maintenance.  ...  This research was supported by the Grant Agency of the Czech Technical University in Prague, grant No. SGS14/198/OHK3/3T/13. REFERENCES  ... 
doi:10.1145/2811411.2811477 dblp:conf/racs/CemusCMD15 fatcat:mjma2b3arne6rgdqzxuk4tczby

Montreal Protocol on Substances that Deplete the Ozone Layer

1996 International Negotiation  
Excerpt of the Final Report on Global inventories of the worldwide fleets of refrigerating and air-conditioning equipment in order to determine refrigerant emissions. The 1990 to 2006 updating.  ...  Drafting and reviewing meetings were held in Canada (Montreal), March 2009, Brazil (Sao Paulo), September 2009, Czech Republic (Prague), August 2010, and China (Hangzhou), December 2010.  ...  Misaki, "Hydrofluoroethers as Alternatives to CFCs, HCFCs, HFCs, and PFCs," Conference Proceedings of the Earth Technologies Forum (Conference on Climate Change and Ozone Protection, Washington, DC, 30  ... 
doi:10.1163/15718069620847781 fatcat:m6oleyyxubdkvoltco7irbudmy

IGS Technical Report 2015

Yoomin Jean, Rolf Dach
A total of 640 million tracking data files (60 TB) and 110 million product files (15 TB) were downloaded in 2015 from the NASA Crustal Dynamics Data Information System (CDDIS), one of four IGS global Data  ...  , products, and services in order to support high-precision applications for GNSS-related research and engineering activities.  ...  The success of the CDDIS and its recognition in the many international programs supported by the system can be directly attributed to the continued dedicated, consistent, professional, and timely support  ... 
doi:10.7892/boris.80307 fatcat:cooofi56gvgzbe5ehfofr5kzqi

Dagstuhl Reports, Volume 6, Issue 11, November 2016, Complete Issue [article]

, their use in potential functions methods, in SVM, the general "kernel trick", the observation that kernels can be defined on arbitrary sets of objects, the link to GPs, and finally the idea to represent  ...  The talk summarized the development of kernel methods for machine learning, focusing on the main ideas and some future possibilities: introduction of p.d. kernels within the theory of integral equations  ...  In Proceedings of the 2015 ACM SIGMIS Conference on Computers and People Research (pp. 153-159). 3 Sillaber, C., and Breu, R. (2015).  ... 
doi:10.4230/dagrep.6.11 fatcat:tfkdfittpjdydfv7ejvk4bvnh4

Keep it Simple, Make it Fast! An approach to underground music scenes (vol. 3)

Paula Guerra, Tânia Moreira
at the 2016 KISMIF conference in Porto; the members of the Popular Music Research Group for their constructive feedback; the KISMIF conference team; and the University of Porto for hosting us.  ...  I thank the organisers and other participants of this conference for an enjoyable and incredibly productive conference experience that I hope continues in the future.  ...  In my text, I am going to focus on the antiracist part of the skinhead subculture in the Czech Republic after 1989.  ... 

Proceedings e report Cultural Heritage on line empowering users: an aCtive role for user Communities Chiara Cirinnà and Maurizio Lunghi Cultural Heritage on line : Empowering users: an active role for user communities

Emanuele Bellini, Alessio Bertolani, Benedetta Caporioni, Maria Cunsolo, Verdiana Fontana, Gabrielle Giraudeau, Irene Lisi, Damiana Luzzi, Matteo Paternò, Marco Rufi
2009 unpublished
Special thanks to the hospitality of Teatro della Pergola. A special thanks to all the staff working for the organisation of the conference:  ...  Acknowledgements This work is possible due to a grant of French National Research Agency, under the number 08-CORD-003.  ...  We would thanks the ASTREE partners, and noticeally Yann Orlarey, Laurent Pottier and Pierre Jouvelot. [1] rEFErEnCES  ...