Search results for "Java Language"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Shi Zhang, Linpeng Huang	Research on dynamic update transaction for Java classes.	Frontiers of Computer Science in China	2007	DBLP DOI BibTeX RDF	Java language, program design, dynamic software update, update transaction
2	Eric Van Wyk, Lijesh Krishnan, Derek Bodin, Eric Johnson	Adding domain-specific and general purpose language features to Java with the Java language extender.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	attribute grammars, forwarding, extensible languages
2	Bernd Mathiske, Douglas N. Simon, Dave Ungar	The Project Maxwell assembler system.	PPPJ	2006	DBLP DOI BibTeX RDF	assembler generator, cross assembler, domain-specific framework, the Java language, Java, automated testing, systems programming, disassembler
2	Christopher J. F. Pickett, Clark Verbrugge	Software Thread Level Speculation for the Java Language and Virtual Machine Environment.	LCPC	2005	DBLP DOI BibTeX RDF
2	Tom Lunney, Aidan McCaughey	Object persistence in Java.	PPPJ	2003	DBLP DOI BibTeX RDF	Java Object Serialization, Java Language, remote method invocation, orthogonal persistence
2	Frank Dévai, Mizanur Rahman	The Suitability of the Java Language for Computer-Graphics and Visualisation Research.	IV	2002	DBLP DOI BibTeX RDF
2	John Hale, Mauricio Papa, Oliver Bremer, Rodrigo Chandia, Sujeet Shenoi	Extending Java for Package based Access Control.	ACSAC	2000	DBLP DOI BibTeX RDF	package based access control, programmable security, TBAC, primitive ticket, language translation preprocessor, security service library, ticket management, Java, object-oriented programming, RBAC, MAC, source code, software libraries, syntax, authorisation, program interpreters, DAC, Java language, bytecode interpretation
2	Elliot B. Koffman, Ursula Wolz	CS1 using Java language features gently.	ITiCSE	1999	DBLP DOI BibTeX RDF	Java, user interface, interactivity, programming, CS1, graphics
2	Tatsurou Sekiguchi, Hidehiko Masuhara, Akinori Yonezawa	A Simple Extension of Java Language for Controllable Transparent Migration and Its Portable Implementation.	COORDINATION	1999	DBLP DOI BibTeX RDF
2	Mariangela L. Silva, Stella C. S. Porto	An Object-Oriented Approach to a Parallel Tabu Search Algorithm for the Task Scheduling Problem.	SCCC	1999	DBLP DOI BibTeX RDF	parallelization, tabu search, task scheduling, object-oriented modeling, Java language
2	Kuhanandha Mahalingam, Michael N. Huhns	An Ontology Tool for Query Formulation in an Agent-Based Context. (PDF / PS)	CoopIS	1997	DBLP DOI BibTeX RDF	ontology tool, agent-based context, distributed information environment, heterogeneous information environment, dynamic information environment, ontology-based distributed information system, healthcare administrators, Internet, software tools, query formulation, query formulation, client-server architecture, Java language
2	Rohit Valia, Yahya Y. Al-Salqan	Secure Workflow Environment. (PDF / PS)	WETICE	1997	DBLP DOI BibTeX RDF	administrative data processing, secure workflow environment, workflow management products, geographical distribution, platform-independent environment, group-oriented virtual private network, write once, run anywhere paradigm, Internet, heterogeneity, portability, public-key encryption, future, Java language, Secure Sockets Layer
2	Vasudevan Jagannathan, George S. Almasi, Anca Suvaiala	Collaborative infrastructures using the WWW and CORBA-based environments. (PDF / PS)	WETICE	1996	DBLP DOI BibTeX RDF	collaborative infrastructures, CORBA based environments, computer vendors, interoperable standard, interoperable CORBA standards, popular WWW browsers, public domain, fieldable systems, Internet, Internet, WWW, World Wide Web, Common Object Request Broker Architecture, CORBA, programming, Web browsers, Java language, information sources
1	A. V. Klepinin, A. A. Melentyev	Integration of semantic verifiers into Java language compilers.	Automatic Control and Computer Sciences	2011	DBLP DOI BibTeX RDF
1	Ralf Lämmel, Vadim Zaytsev	Recovering grammar relationships for the Java Language Specification.	Software Quality Journal	2011	DBLP DOI BibTeX RDF
1	Ralf Lämmel, Vadim Zaytsev	Recovering Grammar Relationships for the Java Language Specification	CoRR	2010	DBLP BibTeX RDF
1	Nabil El Boustani, Jurriaan Hage	Corrective hints for type incorrect generic Java programs.	PEPM	2010	DBLP DOI BibTeX RDF	compilers, heuristics, error correcting, type checking, java generics, error reporting
1	Gautam Upadhyaya, Samuel P. Midkiff, Vijay S. Pai	Using data structure knowledge for efficient lock generation and strong atomicity.	PPOPP	2010	DBLP DOI BibTeX RDF	automatic lock generation, parallel programming, transactional memory
1	Ralf Lämmel, Vadim Zaytsev	Recovering Grammar Relationships for the Java Language Specification.	SCAM	2009	DBLP DOI BibTeX RDF
1	Jian Su, Wenyong Weng, Zebing Wang	A Teaching Path for Java Object Oriented Programming.	IFITA	2009	DBLP DOI BibTeX RDF	teaching path, object oriented programming, Java language
1	Martin Th Görg, Jianjun Zhao	Identifying semantic differences in AspectJ programs.	ISSTA	2009	DBLP DOI BibTeX RDF	aop, difference analysis, disjunctive matching, static analysis, aspectj, semantic analysis
1	Myoungkyu Song, Eli Tilevich, Wesley Tansey	Trailblazer: a tool for automated annotation refactoring.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	metadata, frameworks, annotations, refactoring, eclipse
1	Nabil El Boustani, Jurriaan Hage	Improving type error messages for generic java.	PEPM	2009	DBLP DOI BibTeX RDF	compilers, type checking, java generics, error reporting
1	Sarita V. Adve	Memory models: a case for rethinking parallel languages and hardware.	PODC	2009	DBLP DOI BibTeX RDF	safe programming, memory models, multicore architecture, memory consistency models
1	Philip Hanna, Ian M. O'Neill, Darryl Stewart, Behrang QasemiZadeh	Development of a Java-based unified and flexible natural language discourse system.	PPPJ	2009	DBLP DOI BibTeX RDF	human computer interaction, spoken dialogue systems, dialogue management
1	Niels Brouwers, Koen Langendoen, Peter Corke	Darjeeling, a feature-rich VM for the resource poor.	SenSys	2009	DBLP DOI BibTeX RDF	wireless sensor networks, Java, virtual machines
1	Pascal Vicaire, Zhiheng Xie, Enamul Hoque, John A. Stankovic	Physicalnet: a middleware for programming concurrent, across administrative domain sensor and actuator networks.	SenSys	2009	DBLP DOI BibTeX RDF	wireless sensor networks, middleware, architecture
1	Brian Hanks, Matt Brandt	Successful and unsuccessful problem solving approaches of novice programmers.	SIGCSE	2009	DBLP DOI BibTeX RDF	problem solving approaches, java, pair programming, introductory programming, novice, distributed pair programming
1	Sarita V. Adve	Memory models: a case for rethinking parallel languages and hardware.	SPAA	2009	DBLP DOI BibTeX RDF	safe programming, memory models, multicore architecture, memory consistency models
1	Joshua S. Auerbach, David F. Bacon, Daniel T. Iercan, Christoph M. Kirsch, V. T. Rajan, Harald Röck, Rainer Trummer	Low-latency time-portable real-time programming with Exotasks.	ACM Trans. Embedded Comput. Syst.	2009	DBLP DOI BibTeX RDF	time portability, virtual machine, Real-time scheduling, UAVs
1	Avinash Malik, Zoran A. Salcic, Partha S. Roop	SystemJ compilation using the tandem virtual machine approach.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	SystemJ, compilation, virtual machines, System-level design, esterel
1	Eli Tilevich, Yannis Smaragdakis	J-Orchestra: Enhancing Java programs with distribution capabilities.	ACM Trans. Softw. Eng. Methodol.	2009	DBLP DOI BibTeX RDF	Java, middleware, distributed computing, Separation of concerns, RMI, bytecode engineering
1	Lauro Snidaro, Massimo Belluz, Gian Luca Foresti	Modelling and Managing Domain Context for Automatic Surveillance Systems.	AVSS	2009	DBLP DOI BibTeX RDF
1	Zibin Zheng, Hao Ma, Michael R. Lyu, Irwin King	WSRec: A Collaborative Filtering Based Web Service Recommender System.	ICWS	2009	DBLP DOI BibTeX RDF
1	Lorenzo Bettini, Viviana Bono, Erica Turin	I-Java: An Extension of Java with Incomplete Objects and Object Composition.	Software Composition	2009	DBLP DOI BibTeX RDF	Class-based languages, Java, Object-oriented programming, Language extension, Object composition
1	Dongsik Kim, Jiyoon Yoo	A Web-based Virtual Educational System for Self-Learning of Java Language Using Java Web Player.	HPCNCS	2008	DBLP BibTeX RDF
1	Keita Matsuo, Leonard Barolli, Fatos Xhafa, Akio Koyama, Arjan Durresi	Implementation of new functions for improving learners motivation in a web-based e-learning system.	iiWAS	2008	DBLP DOI BibTeX RDF	end-device control, e-learning, web-based systems, Java language, Java applications
1	Vladi Kolici, Fatos Xhafa, Keita Matsuo, Arjan Durresi, Leonard Barolli, Rozeta Miho	A P2P system based on JXTA-overlay and its application for end-device control.	MoMM	2008	DBLP DOI BibTeX RDF	end-device control, JXTA, P2P systems, Java language, Java applications
1	Tales P. Nogueira, Luis C. L. Neto, Lincoln S. Rocha, Rossana M. C. Andrade	An adaptation of the collections framework, reflection and object cloning from J2SE to J2ME.	SAC	2008	DBLP DOI BibTeX RDF	mobile programming, java language, code migration
1	Matthew M. Papi, Mahmood Ali, Telmo Luis Correa Jr., Jeff H. Perkins, Michael D. Ernst	Practical pluggable types for java.	ISSTA	2008	DBLP DOI BibTeX RDF	igj, javari, pluggable type, java, verification, compiler, annotation, case study, type system, polymorphism, intern, type qualifier, bug finding, flow sensitivity, readonly, immutable, nonnull, javac
1	Damien Masson, Serge Midonnet	RTSJ extensions: event manager and feasibility analyzer.	JTRES	2008	DBLP DOI BibTeX RDF
1	Kelvin Nilsen	Simple low-level real-time threading semantics to enable portability, efficiency, analyzability, and generality.	JTRES	2008	DBLP DOI BibTeX RDF	safety-critical certification, Java, real-time, threading, RTSJ
1	Elias Teodoro Silva Jr., Daniel Barcelos, Flávio Rech Wagner, Carlos Eduardo Pereira	A virtual platform for multiprocessor real-time embedded systems.	JTRES	2008	DBLP DOI BibTeX RDF	real-time systems, energy efficiency, network on chip, embedded applications
1	Craig Anslow, James Noble, Stuart Marshall, Ewan D. Tempero	Visualizing the word structure of Java class names.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	class names, java, evolution, software visualization
1	Nels E. Beckman, Kevin Bierhoff, Jonathan Aldrich	Verifying correct usage of atomic blocks and typestate.	OOPSLA	2008	DBLP DOI BibTeX RDF	transactional memory, permissions, typestate
1	Matthew M. Papi, Mahmood Ali, Michael D. Ernst	Compile-time type-checking for custom type qualifiers in java.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	java, verification, compiler, annotation, type system, type qualifier, nonnull, javac
1	Matthew M. Papi, Mahmood Ali, Michael D. Ernst	Compile-time type-checking for custom type qualifiers in Java.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	java, verification, compiler, annotation, type system, type qualifier, nonnull, javac
1	Wesley Tansey, Eli Tilevich	Annotation refactoring: inferring upgrade transformations for legacy applications.	OOPSLA	2008	DBLP DOI BibTeX RDF	java, metadata, frameworks, annotations, refactoring, eclipse, JUnit, upgrading
1	Muga Nishizawa, Shigeru Chiba	A small extension to Java for class refinement.	SAC	2008	DBLP DOI BibTeX RDF	class refinement, java, programming transformation
1	Marc L. Corliss, E. Christopher Lewis	Bantam: a customizable, java-based, classroom compiler.	SIGCSE	2008	DBLP DOI BibTeX RDF	bantam java
1	Yoshiro Imai, Keiichi Kaneko, Masaki Nakagawa	Design of a web-based visual simulator and its evaluation based on real computer education.	SimuTools	2008	DBLP DOI BibTeX RDF	built-in e-mail handler, visualization, computer simulator
1	Shan Shan Huang, David Zook, Yannis Smaragdakis	Domain-specific languages and program generation with meta-AspectJ.	ACM Trans. Softw. Eng. Methodol.	2008	DBLP DOI BibTeX RDF	program transformation, program verification, domain-specific languages, program synthesis, language extensions, Metaprogramming
1	Mathias Santos de Brito, Liria Matsumoto Sato	Extending OGSA-DAI Possibilities with a JDBC Driver.	CSE	2008	DBLP DOI BibTeX RDF	Grid Computing, Distributed Databases, OGSA-DAI, JDBC
1	Aamir Shafi, Aftab Hussain, Jamil Raza	A parallel implementation of the Finite-Domain Time-Difference algorithm using MPJ express.	IPDPS	2008	DBLP DOI BibTeX RDF
1	Andrew Cain, Tsong Yueh Chen, D. D. Grant, Fei-Ching Kuo, Jean-Guy Schneider	An Object Oriented Approach towards Dynamic Data Flow Analysis (Short Paper).	QSIC	2008	DBLP DOI BibTeX RDF	Meta-level Programming, Object-Oriented Programs, Program Instrumentation, Dynamic Data Flow Analysis
1	Enrique Costa-Montenegro, Juan C. Burguillo-Rial, Pedro S. Rodríguez-Hernández, Francisco J. González-Castaño, Maria Curras-Parada, Patricia Gomez-Rana, Juan P. Rey-Souto	Multi-Agent System Model of a BitTorrent Network.	SNPD	2008	DBLP DOI BibTeX RDF
1	J. Javier Samper, Vicente R. Tomás, Eduardo Carrillo, Rogério Patricio Chagas do Nascimento	Visualization of Ontologies to Specify Semantic Descriptions of Services.	IEEE Trans. Knowl. Data Eng.	2008	DBLP DOI BibTeX RDF	Ontology design, Intelligent Web Services and Semantic Web
1	Jaroslav Sevcík, David Aspinall	On Validity of Program Transformations in the Java Memory Model.	ECOOP	2008	DBLP DOI BibTeX RDF
1	Irene Luque Ruiz, Miguel Ángel Gómez-Nieto	A Java Tool for the Management of Chemical Databases and Similarity Analysis Based on Molecular Graphs Isomorphism.	ICCS	2008	DBLP DOI BibTeX RDF	similarity and diversity analysis, chemical database management, Java, matching, isomorphism, Computational chemistry
1	Yijun Wang, Liyuan Zhang, Yu Sheng, Hang Zhang	Design and Implementation of Principles of Computer Organization Virtual Lab Based on Component.	WBL	2008	DBLP DOI BibTeX RDF	PCO (Principles of Computer Organization), multithreading, data-driven, virtual lab, Java bean
1	John M. Hunt, John D. McGregor	When less is more: implementing optional features.	ACM Southeast Regional Conference	2007	DBLP DOI BibTeX RDF	feature separation, java, reuse, feature interaction
1	Joshua S. Auerbach, David F. Bacon, Bob Blainey, Perry Cheng, Michael Dawson, Mike Fulton, David Grove, Darren Hart, Mark G. Stoodley	Design and implementation of a comprehensive real-time java virtual machine.	EMSOFT	2007	DBLP DOI BibTeX RDF	AOT, java, real time, garbage collection, JVM, JIT
1	Tamar Vilner, Ela Zur, Judith Gal-Ezer	Fundamental concepts of CS1: procedural vs. object oriented paradigm - a case study.	ITiCSE	2007	DBLP DOI BibTeX RDF	OOP paradigm, procedural paradigm, CS1
1	Kelvin Nilsen	Improving abstraction, encapsulation, and performance within mixed-mode real-time Java applications.	JTRES	2007	DBLP DOI BibTeX RDF	safety-critical certification, Java, RTSJ, DO-178B
1	Georgios Gousios	The JikesXen Java server platform.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	performance, virtual machine, operating system, JVM
1	Matthew M. Papi, Michael D. Ernst	Compile-time type-checking for custom type qualifiers in Java.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	Java, verification, compiler, annotation, type system, type qualifier, NonNull, javac
1	Matthew M. Papi, Michael D. Ernst	Compile-time type-checking for custom type qualifiers in Java.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	Java, verification, compiler, annotation, type system, type qualifier, NonNull, javac
1	Ben Titzer, Joshua S. Auerbach, David F. Bacon, Jens Palsberg	The ExoVM system for automatic VM and application reduction.	PLDI	2007	DBLP DOI BibTeX RDF	VM design, VM modularity, pre-initialization, static compilation, embedded systems, static analysis, persistence, feature analysis, dead code elimination
1	Gautier Loyauté, Rémi Forax, Gilles Roussel	A Java toolkit for the design and the automatic checking of server architectures.	PPPJ	2007	DBLP DOI BibTeX RDF	Java toolkit, software engineering, formal model, automatic generation, internet server
1	Fabio Mancinelli, Paola Inverardi	Quantitative resource-oriented analysis of Java (Adaptable) applications.	WOSP	2007	DBLP DOI BibTeX RDF	resource aware frameworks, adaptable applications
1	Patrick Eugster	Type-based publish/subscribe: Concepts and experiences.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	Java, distribution, Abstraction, generics, reflection, publish/subscribe, type
1	Martin Hirzel, Daniel von Dincklage, Amer Diwan, Michael Hind	Fast online pointer analysis.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	class loading, native interface, reflection, Pointer analysis
1	Gilles Grimaud, Yann Hodique, Isabelle Simplot-Ryl	A Verifiable Lightweight Escape Analysis Supporting Creational Design Patterns.	AINA Workshops	2007	DBLP DOI BibTeX RDF
1	Ninh-Thuan Truong, Viet Ha Nguyen	Using B to Verify the Weaving of Aspects.	APSEC	2007	DBLP DOI BibTeX RDF
1	Shi Zhang, Linpeng Huang	Type-Safe Dynamic Update Transaction.	COMPSAC	2007	DBLP DOI BibTeX RDF
1	Nelson Baloian, Gustavo Zurita, Pedro Antunes, Felipe Baytelman	A Flexible, Lightweight Middleware Supporting the Development of Distributed Applications across Platforms.	CSCWD	2007	DBLP DOI BibTeX RDF
1	Adam Kiezun, Michael D. Ernst, Frank Tip, Robert M. Fuhrer	Refactoring for Parameterizing Java Classes.	ICSE	2007	DBLP DOI BibTeX RDF
1	Kazuya Shibata, Koichiro Rinsaka, Tadashi Dohi	PISRAT: Proportional Intensity-Based Software Reliability Assessment Tool.	PRDC	2007	DBLP DOI BibTeX RDF	reliability modeling and measurement, proportional intensity based models, software reliability, tool, testing metrics
1	SeungJun Bang, JinHo Ahn	Implementation and Performance Evaluation of Socket and RMI based Java Message Passing Systems.	SERA	2007	DBLP DOI BibTeX RDF
1	Patrícia D. L. Machado, Jorge C. A. de Figueiredo, Emerson F. A. Lima, Ana E. V. Barbosa, Helton S. Lima	Component-based integration testing from UML interaction diagrams.	SMC	2007	DBLP DOI BibTeX RDF
1	Zhenchun Huang, Guoqing Li, Bin Du, Yi Zeng, Lei Gu	SIGRE - An Autonomic Spatial Information Grid Runtime Environment for Geo-computation.	APPT	2007	DBLP DOI BibTeX RDF	geo-computation, spatial information grid, runtime environment
1	Markus Degen, Peter Thiemann, Stefan Wehr	Tracking Linear and Affine Resources with Java(X).	ECOOP	2007	DBLP DOI BibTeX RDF
1	Fabio Martinelli, Paolo Mori	Enhancing Java Security with History Based Access Control.	FOSAD	2007	DBLP DOI BibTeX RDF
1	Yong Xue, Lei Zheng, Ying Luo, Jianping Guo, Wei Wan, Wei Wei, Ying Wang	Modelbase System in Remote Sensing Information Analysis and Service Grid Node.	International Conference on Computational Science	2007	DBLP DOI BibTeX RDF	Modelbase system, Remote sensing information analysis and Service Grid Node, modelbase management system
1	Jan Maly, Pavel Rajmic	Fast lifting wavelet transform and its implementation in Java.	PWC	2007	DBLP DOI BibTeX RDF	CDF, Java, wavelet, transform, convolution, lifting, Fast
1	Eduardo Mosqueira-Rey, Amparo Alonso-Betanzos, Belén Baldonedo del Río, Jesús Lago Piñeiro	A Misuse Detection Agent for Intrusion Detection in a Multi-agent Architecture.	KES-AMSTA	2007	DBLP DOI BibTeX RDF
1	Vincenzo Gervasi, Giacomo A. Galilei	Software Manipulation with Annotations in Java.	Lipari Summer School	2007	DBLP DOI BibTeX RDF
1	Salima Hacini, Zizette Boufaïda, Haoua Cheribi	Mobile Agent Protection in E-Business Application A Dynamic Adaptability Based Approach.	OTM Conferences	2007	DBLP DOI BibTeX RDF	environment key, trust, mobile agent security, malicious host
1	David Aspinall, Jaroslav Sevcík	Formalising Java's Data Race Free Guarantee.	TPHOLs	2007	DBLP DOI BibTeX RDF
1	Yonghwan Lee, Junaid Ahsenali Chaudhry, Dugki Min, Sunyoung Han, Seungkyu Park	A Dynamically Adjustable Rule Engine for Agile Business Computing Environments.	APWeb/WAIM	2007	DBLP DOI BibTeX RDF
1	Salem Y. Al-Agtash, Tamer Al-Dwairy, Adnan El-Nasan, Bruce Mull, Mamdouh Barakat, Anas Shqair	Re-Engineering BLUE Financial System Using Round-Trip Engineering and Java Language Conversion Assistant.	Software Engineering Research and Practice	2006	DBLP BibTeX RDF
1	Florian Forster	Cost and benefit of rigorous decoupling with context-specific interfaces.	PPPJ	2006	DBLP DOI BibTeX RDF	Java-specific metrics, software engineering with Java, the Java language, tools for Java programming, optimization
1	Curtis Clifton, Todd D. Millstein, Gary T. Leavens, Craig Chambers	MultiJava: Design rationale, compiler implementation, and applications.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	MultiJava language, Open classes, augmenting method problem, binary method problem, extensible classes, extensible external methods, external methods, method families, open objects, single dispatch, static typechecking, modularity, inheritance, subtyping, encapsulation, generic functions, Java language, separate compilation, object-oriented programming languages, multimethods, multiple dispatch, expression problem
1	Marco A. Wehrmeister, Carlos Eduardo Pereira, Leandro Buss Becker	Optimizing the generation of object-oriented real-time embedded applications based on the real-time specification for Java.	DATE	2006	DBLP DOI BibTeX RDF
1	Shan Shan Huang, Yannis Smaragdakis	Easy language extension with meta-aspectJ.	ICSE	2006	DBLP DOI BibTeX RDF	domain-specific languages, language extensions
1	Ian Utting	Problems in the initial teaching of programming using Java: the case for replacing J2SE with J2ME.	ITiCSE	2006	DBLP DOI BibTeX RDF	programming languages, introductory programming
1	Caroline Appert, Michel Beaudouin-Lafon	SwingStates: adding state machines to the swing toolkit.	UIST	2006	DBLP DOI BibTeX RDF	java swing, toolkit, state machine, widget
1	Gerwin Klein, Tobias Nipkow	A machine-checked model for a Java-like language, virtual machine, and compiler.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	Java, theorem proving, operational semantics
1	Boniface Hicks, Kiyan Ahmadizadeh, Patrick Drew McDaniel	From Languages to Systems: Understanding Practical Application Development in Security-typed Languages.	ACSAC	2006	DBLP DOI BibTeX RDF
1	Zhang Qiang, Zhao Zheng, Yantai Shu	SMIP an Incremental and Parallel Clustering Algorithm Based on Statistics and Morphology.	CCECE	2006	DBLP DOI BibTeX RDF