„Systems Programming“

Suchergebnisse

10.000+ Treffer

• UML 2.0 based framework for the development of secure web application
  Pathak, Nitish ; Singh, B. M. ; Sharma, Girish
• General framework for testing using formal languages
  Lobato, S. ; Poncela, J. ; Aamir, M.
• Android malware detection: state of the art
  Muttoo, Sunil Kumar ; Badhani, Shikha
• An optimal path selection criterion in multi path routing using energy
  Kokilamani, M. ; Karthikeyan, E.
• Green-J $$^{3}$$ 3 Model: a novel approach to measure energy consumption of modified condition/decision coverage using concolic testing
  Godboley, Sangharatna ; Dutta, Arpita ; Mohapatra, Durga Prasad ; Mall, Rajib
• Convex contractive interval linear programming for resources and environmental systems management
  Cheng, Guanhui ; Huang, Guohe ; Dong, Cong
• A stochastic programming with imprecise probabilities model for planning water resources systems under multiple uncertainties
  WANG, Y. Y. ; Huang, G. H. ; Wang, S. ; Li, W.
• How to define modeling languages?
  Combemale, Benoit ; Gray, Jeff ; Rumpe, Bernhard
• Improved Prediction Analysis with Hybrid Models for Thunderstorm Classification over the Ranchi Region
  Bala, Kanchan ; Paul, Sanchita ; Mohanty, Sachi Nandan ; Mahapatra, Satyasundara
• Linial for lists
  Maus, Yannic ; Tonoyan, Tigran
• Safety und Security
  Kastner, Wolfgang ; Sauter, Thilo
• Underwater estimation of audio signal prediction using fruit fly algorithm and hybrid wavelet neural network
  Sagayam, K. Martin ; Ghosh, Ahona ; Bhushan, Bharat ; Andrew, J. ; Cengiz, Korhan ; Elngar, Ahmed A.
• Do It Yourself, but Not Alone: Companion-Technology for Home Improvement—Bringing a Planning-Based Interactive DIY Assistant to Life
  Bercher, Pascal Tobias ; Behnke, Gregor ; Kraus, Matthias ; Schiller, Marvin ; Manstetten, Dietrich ; Dambier, Michael ; Dorna, Michael ; Minker, Wolfgang ; Glimm, Birte ; Biundo-Stephan, Susanne
• Automatically recommending components for issue reports using deep learning
  Choetkiertikul, Morakot ; Dam, Hoa Khanh ; Tran, Truyen ; Pham, Trang ; Ragkhitwetsagul, Chaiyong ; Ghose, Aditya
• A longitudinal study of static analysis warning evolution and the effects of PMD on software quality in Apache open source projects
  Trautsch, Alexander ; Herbold, Steffen ; Grabowski, Jens
• Quantitative monitoring of STL with edit distance
  Jakšić, Stefan ; Bartocci, Ezio ; Grosu, Radu ; Nguyen, Thang ; Ničković, Dejan
• Umfassende Sicherheit – Safety und Security im Kontext autonomer Systeme
  Schneider, Daniel ; Trapp, Mario ; Dörr, Jörg ; Đukanović, Siniša ; Henkel, Thorsten ; Khondoker, Rahamatullah ; Krauß, Christoph ; Mauthofer, Sebastian ; Scheuermann, Dirk ; Zelle, Daniel
• First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014
  Bartocci, Ezio ; Falcone, Yliès ; Bonakdarpour, Borzoo ; Colombo, Christian ; Decker, Normann ; Havelund, Klaus ; Joshi, Yogi ; Klaedtke, Felix ; Milewicz, Reed ; Reger, Giles ; Rosu, Grigore ; Signoles, Julien ; Thoma, Daniel ; Zălinescu, Eugen ; Zhang, Yi
• Targeting customers for an optimized energy procurement – A Cost Segmentation Based on Smart Meter Load Profiles
  Albrecht, Simon ; Fritz, Manuel ; Strüker, Jens ; Ziekow, Holger
• On adaptive experiments for nondeterministic finite state machines
  Kushik, Natalia ; El-Fakih, Khaled ; Yevtushenko, Nina ; Cavalli, Ana R.