5,091 Hits in 6.1 sec

Synthesizing framework models for symbolic execution

Jinseong Jeon, Xiaokang Qiu, Jonathan Fetter-Degges, Jeffrey S. Foster, Armando Solar-Lezama
2016 Proceedings of the 38th International Conference on Software Engineering - ICSE '16  
In this paper, we present Pasket, a new system that takes a first step toward automatically generating Java framework models to support symbolic execution.  ...  From these artifacts and Pasket's internal knowledge of design patterns, Pasket synthesizes a framework model whose behavior on the tutorial programs matches that of the original framework.  ...  Acknowledgments Supported in part by NSF CCF-1139021, CCF-1139056, CCF-1161775, and the partnership between UMIACS and the Laboratory for Telecommunication Sciences.  ... 
doi:10.1145/2884781.2884856 dblp:conf/icse/JeonQFFS16 fatcat:y3kzcpxfpbh7rg6iiwvytiy6be

An Agent based Personalized Intelligent elearning

Axita Shah, Sonal Jain
2011 International Journal of Computer Applications  
Digital repository on web is supportive for online discovery learning.  ...  However, most of the e-learners find difficulty to select location specific, relevant and significant tutorial on the web.  ...  QE agent will generate nearest meaning using keyword research tools and would result to synset like java tutorial for beginners, learn java, simplifying java, java tutorial, sun java tutorial, java tutorial  ... 
doi:10.5120/2411-3215 fatcat:ujwnes4dh5bmtjz25d5dikklby

Selecting an Open-source Framework: A Practical Case Based on Software Development for Sensory Analysis

Leonor Teixeira, Ana Raquel Xambre, Helena Alvelos, Nelson Filipe, Ana Luísa Ramos
2015 Procedia Computer Science  
The use of frameworks based on Free Open-Source  ...  Play framework is a highly performing and light-weight framework, the tutorials for Java however were not very detailed as Java, when compared to the Scala language.  ...  (ii) Grails is inspired by Ruby on Rails and "Grails is an Open-Source, full stack, web application framework for the JVM (Java Virtual Machine).  ... 
doi:10.1016/j.procs.2015.08.525 fatcat:gcviwy3n55b5ji47k4n4q6nyum

Cost-effective engineering of web applications pragmatic reuse

Stan Jarzabek, Ulf Pettersson
2006 Proceeding of the 28th international conference on Software engineering - ICSE '06  
This tutorial shows a practical way to exploit similarity patterns -at architecture and code levels -to simplify the design of WAs, helping to meet the unique challenges of Web engineering.  ...  Web Applications (WA) are developed and maintained under tight schedules. Much similarity across WAs creates opportunities for cutting development cost and easing evolution via reuse.  ...  The "mixed strategy" approach presented in the tutorial is based on a mechanism for generic design that plays the above role.  ... 
doi:10.1145/1134285.1134501 dblp:conf/icse/JarzabekP06a fatcat:unrrj6fswrg6bdlc5lvcibmnlq

User-Friendly Pattern-Based Transformation of OWL Ontologies [chapter]

Ondřej Šváb-Zamazal, Marek Dudáš, Vojtěch Svátek
2012 Lecture Notes in Computer Science  
Style heterogeneity contributes to conceptual heterogeneity on the Semantic Web and thus represent an obstacle to reusing ontologies in advanced semantic web scenarios.  ...  Furthermore, opting for a style when designing an ontology may have impact on the usability and performance of reasoners, as some features cause performance problems for certain reasoners.  ...  Naming transformation patterns serve for generating names for target entities.  ... 
doi:10.1007/978-3-642-33876-2_39 fatcat:4366cwedvzb5non3gximyjbqw4

Review of "Phishing Exposed by Lance James and Joe Stewart," Syngress Publishing, 2005, $49.95, ISBN: 159749030X

Radu State
2006 Queue  
Spring is an open source Java framework for achieving many of the same things that are usually achieved with Java EE (Java Platform, Enterprise Edition).  ...  Of course, some features that a complete AOP framework provides are lost (for example, support only for method joinpoints).  ...  This is one of those rare books that connect a tutorial for using a certain software product with a plethora of ideas on good software design and design patterns.  ... 
doi:10.1145/1180176.1180196 fatcat:f3sq63z7jnfu3dir4fvn6yizpu

Syllable-based large vocabulary continuous speech recognition

A. Ganapathiraju, J. Hamaker, J. Picone, M. Ordowski, G.R. Doddington
2001 IEEE Transactions on Speech and Audio Processing  
Developing web-based technology for interactive experimentation with speech recognition and signal processing concepts.  ...  Created a Java-Based Graphical User Interface (GUI) for the exploration of linear system response due to the poles and zeroes of the system.  ...  Accomplishing these goals required designing and testing a new framework for adaptation of noise and speech models.  ... 
doi:10.1109/89.917681 fatcat:stne3wq7wjbwrppngg3sxvhrwa

Integration of recommendations and adaptive hypermedia into java tutoring system

Aleksandra Klasnja-Milicevic, Boban Vesin, Mirjana Ivanovic, Zoran Budimac
2011 Computer Science and Information Systems  
This paper presents an idea for integration of such recommender system into existing web-based Java tutoring system in order to provide various adaptive programming courses.  ...  Adaptive e-learning system needs to use different strategies and technologies to predict and recommend the most likely preferred options for further learning material.  ...  We propose an architecture framework for new web-based learning system that will provide adaptive courses using hypermedia and recommender systems, based on existing web-based Java tutoring system called  ... 
doi:10.2298/csis090608021k fatcat:556fxfnkkvetlnpnx4q43dzbeq

Developments in CORG: a gene-centric comparative genomics resource

C. Dieterich, M. W. Franz, M. Vingron
2007 Nucleic Acids Research  
Reference sequence based data presentation and analysis was put into the well-known and modular Generic Genome Browser framework.  ...  Main emphasis was put on the design of a new JAVA WebStart application for comparative data display. Flexible data import and export options for standard formats complete the provided services.  ...  ACKNOWLEDGEMENTS We would like to thank Daniel Huson for sharing the source code of the CGViz framework.  ... 
doi:10.1093/nar/gkl977 pmid:17135197 pmcid:PMC1751536 fatcat:2c3wi6ff4bdq3ak732jyba7q5i

EvalWare: Granular Computing for Web Applications [Best of the Web]

Carlos Castillo, Yiyu Yao
2008 IEEE Signal Processing Magazine  
, search for patterns in data, manipulate data, and edit.  ...  It can perform tasks such as data preprocessing, browsing, computation of minimal attribute sets and generation of if-then rules or descriptive patterns, and validation of the induced rules or patterns  ... 
doi:10.1109/msp.2007.914239 fatcat:bk75lzqabbfa5iadaabbrvp56u

SINUX - Ubuntu spiced up with Semantic Web

Alina Gozman, Daniel Munteanu, Andrei Panu, Lenuta Alboaie, Sabin Buraga
2011 2011 RoEduNet International Conference 10th Edition: Networking in Education and Research  
In this paper we propose SINUX, a Linux distribution especially created for those who want to learn and use the currently existing Semantic Web technologies.  ...  It has integrated many important instruments and references to online informations, making it easy for the users to have a proper development environment without any hassle.  ...  SPARQL contains capabilities for querying required and optional graph patterns along with their conjunctions and disjunctions.  ... 
doi:10.1109/roedunet.2011.5993715 fatcat:76ov3iarirapblruq5dxdchhk4

An architecturally-evident coding style

George H. Fairbanks
2010 Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion - SPLASH '10  
It builds upon ideas like Kent Beck's Intention Revealing Method Name pattern and provides a set of lightweight coding patterns and idioms that let you express your design intent in the code.  ...  This tutorial describes an architecturally-evident coding style that lets you drop hints to code readers so that they can correctly infer the design.  ...  So general rules such as "Never do validation in the UI" cannot easily be expressed in Java.  ... 
doi:10.1145/1869542.1869627 dblp:conf/oopsla/Fairbanks10 fatcat:hsyfbnzg55clrgxh2dogabq35a

An Architecture for Dynamic Web Services that Integrates Adaptive Object Models with Existing Frameworks

Antonio Dias, Eduardo Guerra, Phyllipe Lima
2019 Proceedings of the XIII Brazilian Symposium on Software Components, Architectures, and Reuse - SBCARS '19  
The proposed architecture passes the adapters generated at runtime to the existing framework, which provide the web service based on its methods and code annotations.  ...  for providing the web services.  ...  This framework was chosen because it generates Java Beans adapters based on the AOM entities.  ... 
doi:10.1145/3357141.3357602 dblp:conf/sbcars/DiasGL19 fatcat:ctl2pqx4ljalhfifzvwxtaq27u

CASE: A Configurable Argumentation Support Engine

O. Scheuer, B. M. McLaren
2013 IEEE Transactions on Learning Technologies  
We present a highly configurable software framework, "Configurable Argumentation Support Engine" (CASE), designed to reduce effort and development costs considerably when building tutorial agents for graphical  ...  Teachers and researchers can configure the behavior of tutorial agents on three levels: patterns, tutorial actions, and tutorial strategies.  ...  This work was supported by the German Research Foundation (DFG) under the grant "Learning to Argue: Generalized Support Across Domains" (LASAD).  ... 
doi:10.1109/tlt.2013.3 fatcat:pu4rcslgr5gvdcvpue2cddu4uy

Automatically locating framework extension examples

Barthélémy Dagenais, Harold Ossher
2008 Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering - SIGSOFT '08/FSE-16  
Using and extending a framework is a challenging task whose difficulty is exacerbated by the poor documentation that generally comes with the framework.  ...  Based on our experience with concern-oriented documentation, we devised an approach that uses the framework documentation as a template and that finds instances of this template in a code base.  ...  Acknowledgments The authors thank Martin Robillard for his valuable comments on the paper and all the Eclipse committers who contributed to the validation study.  ... 
doi:10.1145/1453101.1453129 dblp:conf/sigsoft/DagenaisO08 fatcat:424p2oynzjh2bpjkfnxottiipi
« Previous Showing results 1 — 15 out of 5,091 results