Search results for "Java programming language"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	James T. Streib, Takako Soma	Using contour diagrams and JIVE to illustrate object-oriented semantics in the Java programming language.	SIGCSE	2010	DBLP DOI BibTeX RDF	contour diagrams, jive, object-oriented semantics, java
2	Mads Torgersen, Christian Plesner Hansen, Erik Ernst, Peter von der Ahé, Gilad Bracha, Neal M. Gafter	Adding wildcards to the Java programming language.	SAC	2004	DBLP DOI BibTeX RDF	genericity, wildcards, parameterized types
2	Mikhail Dmitriev	Language-specific make technology for the Java programming language.	OOPSLA	2002	DBLP DOI BibTeX RDF	dependency checking, development turnaround time, Java, make
2	Mait Harf, Kristiina Kindel, Vahur Kotkas, Peep Küngas, Enn Tyugu	Automated Program Synthesis for Java Programming Language.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
2	Tswen-Yuh Hsiao, Win-Tsung Lo, Shyan-Ming Yuan	An Asynchronous Message Exchange System on CORBA.	TOOLS	2000	DBLP DOI BibTeX RDF	asynchronous message exchange system, Internet-scale event-driven data exchange architecture, asynchronous publish/subscriber communication model, Inprise Visibroker, Java product families, distributed loosely-coupled, heterogeneous network systems, event generation, event observation, Java, Internet, CORBA, legacy systems, electronic data interchange, distributed object management, event service, OMG, naming services, naming service, event notification, Java programming language
2	Yasuhiro Takemura, Kazuyuki Shima, Ken-ichi Matsumoto, Katsuro Inoue, Koji Torii	Factor Analysis of Comprehension States in the Learning Phases of a Programming Language.	APSEC	1999	DBLP DOI BibTeX RDF	education, Object-orientated, factor analysis, Java programming language
2	Ian T. Foster, Steven Tuecke	Enabling Technologies for Web-Based Ubiquitious Supercomputing. (PDF / PS)	HPDC	1996	DBLP DOI BibTeX RDF	Web based ubiquitous supercomputing, mid range computing systems, advanced networks, remote high end computers, local environments, smart instruments, dynamic communication structures, global pointer, remote service request mechanisms, Nexus, transportable code, NexusJava library, Java, Internet, parallel programming, data structures, parallel machines, network operating systems, collaborative environments, program control structures, computational power, Java programming language, enabling technologies, communication library
1	Matthew Canton	The presence table: a reactive surface for ambient connection.	Tangible and Embedded Interaction	2011	DBLP DOI BibTeX RDF
1	Hartmut Schorrig, Thomas Henties	Java2C - developing in Java, deployment in C: short paper.	JTRES	2010	DBLP DOI BibTeX RDF
1	Jeff Zarnett, Mahesh V. Tripunitara, Patrick Lam	Role-based access control (RBAC) in Java via proxy objects using annotations.	SACMAT	2010	DBLP DOI BibTeX RDF	proxy objects, java, access control, RBAC, rmi
1	Layan M. Bin Saleh, Hend S. Al-Khalifa	AraTation: an Arabic semantic annotation tool.	iiWAS	2009	DBLP DOI BibTeX RDF	Arabic language, ontology, semantic web, experiments, RDF, semantic annotation
1	Sven Groppe, Jana Neumann, Volker Linnemann	SWOBE - embedding the semantic web languages RDF, SPARQL and SPARUL into java for guaranteeing type safety, for checking the satisfiability of queries and for the determination of query result types.	SAC	2009	DBLP DOI BibTeX RDF	SPARUL, semantic web, RDF, SPARQL, embedded languages
1	Sari Haj Hussein	The hush cryptosystem.	SIN	2009	DBLP DOI BibTeX RDF	base64, grammatical substitution, randomness degree, redundant data percentage, sentence substitution, word substitution, hidden markov models, statistical tests
1	Ching-seh Wu, Wei-chun Chang, Ishwar K. Sethi	A Metric-Based Multi-Agent System for Software Project Management.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
1	Amine Boukhtouta, Dima Alhadidi, Mourad Debbabi	A Practical Framework for the Dataflow Pointcut in AspectJ.	ARES	2009	DBLP DOI BibTeX RDF
1	Martin C. Rinard	Integrated Reasoning and Proof Choice Point Selection in the Jahob System - Mechanisms for Program Survival.	CADE	2009	DBLP DOI BibTeX RDF
1	Joseph R. Kiniry, Fintan Fairmichael	Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations.	CBSE	2009	DBLP DOI BibTeX RDF
1	Dominik Jochinger	A Software Implementation of the Rissanen Method for Partial Linear Systems Realization.	EUROCAST	2009	DBLP DOI BibTeX RDF
1	Arend Rensink, Eduardo Zambon	A Type Graph Model for Java Programs.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF
1	Malak Al-Nory, Alexander Brodsky, Hadon Nash	A Service Composition Framework for Decision Making under Uncertainty.	ICEIS	2009	DBLP DOI BibTeX RDF	Modelling for stochastic programming, Supply chain optimization, Decision Support Systems, Object-oriented simulation
1	Johan Holmgren, Jan A. Persson, Paul Davidsson	Agent-Based Dantzig-Wolfe Decomposition.	KES-AMSTA	2009	DBLP DOI BibTeX RDF
1	Kari Kähkönen, Jani Lampinen, Keijo Heljanko, Ilkka Niemelä	The LIME Interface Specification Language and Runtime Monitoring Tool.	RV	2009	DBLP DOI BibTeX RDF
1	Bruno De Fraine, Mario Südholt, Viviane Jonckers	StrongAspectJ: flexible and safe pointcut/advice bindings.	AOSD	2008	DBLP DOI BibTeX RDF
1	Christian P. Brackmann, Cauane Blumenberg Silva, Paulo Roberto G. Luzzardi	TVMark: benchmarking para TV digital.	IHC	2008	DBLP DOI BibTeX RDF	HDTV e TV interativa, JavaTV, TV digital, TVMark, embedded systems, benchmarking, SBTVD, interactive digital TV
1	Martin van Tonder, Kevin Naude, Charmain Cilliers	Jenuity: a lightweight development environment for intermediate level programming courses.	ITiCSE	2008	DBLP DOI BibTeX RDF	intermediate level programming, jenuity, visual interface builder, integrated development environment, cs2
1	Niels Brouwers, Peter Corke, Koen Langendoen	Darjeeling, a Java compatible virtual machine for microcontrollers.	Middleware (Companion)	2008	DBLP DOI BibTeX RDF	Java, sensor networks
1	Daniel Smith, Robert Cartwright	Java type inference is broken: can we fix it?	OOPSLA	2008	DBLP DOI BibTeX RDF	bounded quantification, polymorphic methods, type argument inference, generics, type inference, subtyping, intersection types, union types, wildcards, parameterized types
1	Andreas Gampe, Jeffery von Ronne, David Niedzielski, Kleanthis Psarris	Speculative improvements to verifiable bounds check elimination.	PPPJ	2008	DBLP DOI BibTeX RDF	SafeTSA, array bounds check elimination, verifiable annotations, Java, optimization, just-in-time compilation
1	Niels Brouwers, Peter Corke, Koen Langendoen	A java compatible virtual machine for wireless sensor nodes.	SenSys	2008	DBLP DOI BibTeX RDF	java, sensor network
1	Thomas Kotzmann, Christian Wimmer, Hanspeter Mössenböck, Thomas Rodriguez, Kenneth Russell, David Cox	Design of the Java HotSpot™ client compiler for Java 6.	TACO	2008	DBLP DOI BibTeX RDF	deoptimization, Java, optimization, compiler, register allocation, just-in-time compilation, intermediate representation
1	I-Lun Tseng, Adam Postula	Partitioning parameterized 45-degree polygons with constraint programming.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF	Parameterized polygons, analog and mixed-signal design, parameterized layouts, trapezoidal corner stitching, polygon decomposition
1	Peter Bertels, Dirk Stroobandt	Java and the Power of Multi-Core Processing.	CISIS	2008	DBLP DOI BibTeX RDF
1	Mikel Eguiraun, Josu Jugo	A Java based tool for distributed control systems.	ETFA	2008	DBLP DOI BibTeX RDF
1	Alex Kinneer, Gregg Rothermel	Assessing the usefulness of type inference algorithms in representing Java control flow to support software maintenance tasks.	ICSM	2008	DBLP DOI BibTeX RDF
1	Georgios Gousios, Diomidis Spinellis	Java Performance Evaluation Using External Instrumentation.	Panhellenic Conference on Informatics	2008	DBLP DOI BibTeX RDF
1	Malak Al-Nory, Alexander Brodsky	Unifying simulation and optimization of strategic sourcing and transportation.	Winter Simulation Conference	2008	DBLP DOI BibTeX RDF
1	Jianrui Wang, Richard A. Wysk	A Pi-calculus formalism for discrete event simulation.	Winter Simulation Conference	2008	DBLP DOI BibTeX RDF
1	Martin Monperrus, Fabre Jaozafy, Gabriel Marchalot, Joël Champeau, Brigitte Hoeltzener, Jean-Marc Jézéquel	Model-Driven Simulation of a Maritime Surveillance System.	ECMDA-FA	2008	DBLP DOI BibTeX RDF
1	Norbert Markus, Zoltan Juhasz, Gábor Bognár, András Arató	How Can Java Be Made Blind-Friendly.	ICCHP	2008	DBLP DOI BibTeX RDF	Accessibility for the Blind, Education, Java programming
1	Pradeep Kumar Nalla, Rajeev Wankar, Arun Agarwal	Design of Concurrent Utilities in Jackal: A Software DSM Implementation.	ICDCN	2008	DBLP DOI BibTeX RDF	concurrent utilities, Jackal, ReentrantLock, Atomic variable and ThreadPoolExecutor, DSM
1	Olivier Michel, Yvan Bourquin, Jean-Christophe Baillie	RobotStadium: Online Humanoid Robot Soccer Simulation Competition.	RoboCup	2008	DBLP DOI BibTeX RDF
1	Efstratios F. Georgopoulos, George P. Zarogiannis, Adam V. Adamopoulos, Anastasios P. Vassilopoulos, Spiridon D. Likothanassis	A Genetic Programming Environment for System Modeling.	SETN	2008	DBLP DOI BibTeX RDF	MEG modeling, fatigue modeling, Evolutionary Algorithms, Genetic Programming, System Modeling
1	Mathias Fritzsche, Jendrik Johannes, Uwe Aßmann, Simon Mitschke, Wasif Gilani, Ivor T. A. Spence, T. John Brown, Peter Kilpatrick	Systematic Usage of Embedded Modelling Languages in Automated Model Transformation Chains.	SLE	2008	DBLP DOI BibTeX RDF
1	Thomas W. Otani, Mikhail Auguston, Thomas S. Cook, Doron Drusinsky, James Bret Michael, Man-tak Shing	A design pattern for using non-developmental items in real-time Java.	JTRES	2007	DBLP DOI BibTeX RDF	non-developmental items, real-time system, design pattern, garbage collection, Java programming language
1	Osmar Marchi dos Santos, Andy J. Wellings	Cost enforcement in the real-time specification for Java.	Real-Time Systems	2007	DBLP DOI BibTeX RDF	Fault-tolerance, Model checking, Real-time specification for Java, Java programming language
1	Andrew David Eisenberg, Gregor Kiczales	Expressive programs through presentation extension.	AOSD	2007	DBLP DOI BibTeX RDF	MOP, metadata, annotations, expressiveness, metaobject protocol
1	Vladimir Mateev, Svilena Todorova, Angel Smrikarov	Test system in digital logic design virtual laboratory: tasks delivery.	CompSysTech	2007	DBLP DOI BibTeX RDF	digital logic design, knowledge testing system, eLearning, virtual laboratory
1	Alan Hayes, Pete G. Thomas, Neil Smith, Kevin G. Waugh	An investigation into the automated assessment of the design-code interface.	ITiCSE	2007	DBLP DOI BibTeX RDF	education, assessment
1	Michael T. Helmick	Interface-based programming assignments and automatic grading of java programs.	ITiCSE	2007	DBLP DOI BibTeX RDF	java, interfaces, automated grading
1	Brian P. Doherty	A real-time benchmark for Java™.	JTRES	2007	DBLP DOI BibTeX RDF	SPECjbb2005, Java, real-time, benchmarks, RTSJ
1	Antti Nummiaho, Timo Laakko	A framework for mobile context-based messaging applications.	Mobility Conference	2007	DBLP DOI BibTeX RDF	mobile, context, location, messaging, application framework
1	Eli Mayfield, John Kyle Roth, Daniel Selifonov, Nathan Dahlberg, Elena Machkasova	Optimizing java programs using generic types.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	java, specialization, generic types
1	Maurizio Cimadamore, Mirko Viroli	Reifying wildcards in Java using the EGO approach.	SAC	2007	DBLP DOI BibTeX RDF	java wildcards, variant parametric types, java generics
1	Saurabh Mittal, José Luis Risco-Martín, Bernard P. Zeigler	DEVSML: automating DEVS execution over SOA towards transparent simulators.	SpringSim	2007	DBLP DOI BibTeX RDF	DEVSML, JavaML, web services, SOA
1	Jui-Nan Lin, Jiun-Long Huang	A Virtual Machine-Based Programming Environment for Rapid Sensor Application Development.	COMPSAC	2007	DBLP DOI BibTeX RDF
1	Rafael Ramirez, Andrew E. Santosa	A Framework for Separation of Concerns in Concurrent Programming.	COMPSAC	2007	DBLP DOI BibTeX RDF
1	Lorenz Froihofer, Gerhard Glos, Johannes Osrael, Karl M. Göschka	Overview and Evaluation of Constraint Validation Approaches in Java.	ICSE	2007	DBLP DOI BibTeX RDF
1	Alan Ward, Jordi Castellà-Roca, Aleix Dorca-Josa	Designing a Cryptographic Scheme for e-Surveys in Higher-Education Institutions.	ARES	2007	DBLP DOI BibTeX RDF
1	Kazuo Nishimura	A New Semantic Network Program Based on Combination of Case Knowledge and General Knowledge.	IJCNN	2007	DBLP DOI BibTeX RDF
1	Yin Zhou, Xiao-Diao Chen, Xiaoyu Hua	Cascade: A P2P Live Media Broadcasting Middleware in Java.	IMSCCS	2007	DBLP DOI BibTeX RDF
1	Mistura L. Sanni, Ganiyu A. Aderounmu, Sururah A. Bello, Anuoluwapo O. Ajayi	An Improved Packet Resequencing Model for Selective Repeat Request Protocol in Data Communication Networks.	ISCC	2007	DBLP DOI BibTeX RDF
1	Omer Mahmood	Developing Web 2.0 Applications for Semantic Web of Trust.	ITNG	2007	DBLP DOI BibTeX RDF
1	Vijay A. Saraswat	X10: Concurrent Programming for Modern Architectures.	APLAS	2007	DBLP DOI BibTeX RDF
1	Hans Langmaack	On Revival of Algol-Concepts in Modern Programming and Specification Languages.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF	block concept, formal procedure, structural simulation, Abstract State Machine ASM, recursive procedure and rule, Java, verification, semantics, Programming language, specification language, object, Algol, class
1	Roberto Pirrone, Giovanni Pilato, Riccardo Rizzo, Giuseppe Russo	Semantics Driven Interaction Using Natural Language in Students Tutoring.	KES	2007	DBLP DOI BibTeX RDF	Semantic Driven Interaction, Semantic Navigation, Intelligent Tutoring Systems, Latent Semantic Analysis, Natural Language Dialogue
1	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
1	D. Andreou, Konstantinos Paparrizos, Nikolaos Samaras, Angelo Sifaleras	Visualization software of the network exterior primal simplex algorithm for the minimum cost network flow problem.	Operational Research	2007	DBLP DOI BibTeX RDF	Web-based Educational Software, Combinatorial Optimization, Operational Research
1	I-Lun Tseng, Adam Postula	An efficient algorithm for partitioning parameterized polygons into rectangles.	ACM Great Lakes Symposium on VLSI	2006	DBLP DOI BibTeX RDF	corner stitching, parameterized layouts, parameterized polygons, polygon decomposition
1	Kenneth Russell, David Detlefs	Eliminating synchronization-related atomic operations with biased locking and bulk rebiasing.	OOPSLA	2006	DBLP DOI BibTeX RDF	rebias, revoke, Java, optimization, synchronization, monitor, atomic, lock, bias, reservation
1	Guy L. Steele Jr.	Parallel programming and code selection in fortress.	PPOPP	2006	DBLP DOI BibTeX RDF
1	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
1	Axel Schmolitzky	Teaching inheritance concepts with Java.	PPPJ	2006	DBLP DOI BibTeX RDF	pedagogy
1	Chien-Min Wang, Shun-Te Wang, Hsi-Min Chen, Chi-Chang Huang	An extensible mechanism for Long-Term Persistence of JavaBeans components.	PPPJ	2006	DBLP DOI BibTeX RDF	Java, XML, cache, persistence, scripting, serialization, JavaBeans, LTP
1	Sivakumar Palaniappan, Anil Sawhney, Hessam S. Sarjoughian	Application of the DEVS framework in construction simulation.	Winter Simulation Conference	2006	DBLP DOI BibTeX RDF
1	Anthony H. Dekker	Lazy functional programming in Java.	SIGPLAN Notices	2006	DBLP DOI BibTeX RDF	lazy lists, Java, Java, functional programming
1	Martín Abadi, Cormac Flanagan, Stephen N. Freund	Types for safe locking: Static race detection for Java.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	type system, Concurrent programs, type inference, race conditions
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	Dusan Banovic, Igor Radusinovic	VOQ Simulator -Software Tool for Performance Analysis of VOQ Switches.	AICT/ICIW	2006	DBLP DOI BibTeX RDF
1	Massimo Orazio Spata, Giuseppe Pappalardo, Salvatore Rinaudo, Tonio Biondi	Agent-Based Negotiation Techniques for a Grid: The Prophet Agents.	e-Science	2006	DBLP DOI BibTeX RDF
1	Ramon Piedrafita Moreno, José Luis Villarroel Salcedo	Petri Nets and Java. Real-Time Control of a flexible manufacturing cell.	ETFA	2006	DBLP DOI BibTeX RDF
1	Mohammad Shirali-Shahreza	Java Applets Copy Protection by Steganography.	IIH-MSP	2006	DBLP DOI BibTeX RDF
1	Dusan Banovic, Igor Radusinovic	Simulator for Performance Analysis of VOQ Switches.	ISCC	2006	DBLP DOI BibTeX RDF
1	Daniel Ratiu, Florian Deissenboeck	Programs are Knowledge Bases.	ICPC	2006	DBLP DOI BibTeX RDF
1	Yahya E. Osais, Souhail Abdala, Ashraf Matrawy	A Multilayer Peer-to-Peer Framework for Distributed Synchronous Collaboration.	IEEE Internet Computing	2006	DBLP DOI BibTeX RDF	distributed synchronous collaboration, P2P, JXTA
1	Hajime Inoue, Darko Stefanovic, Stephanie Forrest	On the Prediction of Java Object Lifetimes.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	Object lifetimes, pretenuring, garbage collection, workload characterization, program behavior, object-oriented programming languages
1	Youngsun Han, Shinyoung Kim, Hokwon Kim, Seokjoong Hwang, Seon Wook Kim	Code Generation and Optimization for Java-to-C Compilers.	EUC Workshops	2006	DBLP DOI BibTeX RDF
1	Olga Brukman, Shlomi Dolev	Recovery Oriented Programming.	SSS	2006	DBLP DOI BibTeX RDF	autonomic computing, self-stabilization
1	Jonathan Misurda, James A. Clause, Juliya L. Reed, Bruce R. Childers, Mary Lou Soffa	Demand-driven structural testing with dynamic instrumentation.	ICSE	2005	DBLP DOI BibTeX RDF	demand-driven instrumentation, testing, structural testing, code coverage, Java programming language
1	Robert F. Cohen, Alexander V. Fairley, David Gerry, Gustavo R. Lima	Accessibility in introductory computer science.	SIGCSE	2005	DBLP DOI BibTeX RDF	accessibility, Java programming language
1	Ezio Catanzariti, Roberto Prevete, Matteo Santoro	MEDIARAD: A Multiplatform Software Environment for Developing Imaging Applications in RADiology.	CAMP	2005	DBLP DOI BibTeX RDF	Software Environment Architecture, Objectñ Oriented Programming, Computer Aided Detection, JAVA Programming Language
1	Nathan McEachen, Roger T. Alexander	Distributing classes with woven concerns: an exploration of potential fault scenarios.	AOSD	2005	DBLP DOI BibTeX RDF	foreign aspects, AspectJ, aspect-orientation, aspect interference
1	Peter Braun, Steffen Kern, Ingo Müller 0001, Ryszard Kowalczyk	Attacking the migration bottleneck of mobile agents.	AAMAS	2005	DBLP DOI BibTeX RDF	migration optimization, migration protocols, mobile agents
1	Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Nagi H. Nahas, Tony Tseng	Modeling and implementing software architecture with acme and archJava.	ICSE	2005	DBLP DOI BibTeX RDF
1	Gregory M. Kapfhammer, Mary Lou Soffa, Daniel Mossé	Testing in resource constrained execution environments.	ASE	2005	DBLP DOI BibTeX RDF	code unloading, test suite execution
1	Matthew Arnold, Adam Welc, V. T. Rajan	Improving virtual machine performance using a cross-run profile repository.	OOPSLA	2005	DBLP DOI BibTeX RDF	selective optimization, Java, virtual machine, profiling
1	Knut H. Pedersen, Constantinos Constantinides	AspectAda: aspect oriented programming for ada95.	SIGAda	2005	DBLP DOI BibTeX RDF	ada semantic interface specification (ASIS), aspect-oriented programming (AOP), concurrent programming, inheritance anomaly, ada95
1	Peter Braun, Ingo Müller 0001, Ryszard Kowalczyk, Steffen Kern	Increasing the Migration E.ciency of Java-based Mobile Agents.	IAT	2005	DBLP DOI BibTeX RDF
1	Rafael Ramirez, Andrew E. Santosa	Formal Verification of Concurrent and Distributed Constraint-Based Java Programs.	ICECCS	2005	DBLP DOI BibTeX RDF
1	Glenn Skinner, Grzegorz Czajkowski, David Hearnden, Mick J. Jordan, Michal Wegiel	A Service Management Facility for Java Platform.	IEEE SCC	2005	DBLP DOI BibTeX RDF
1	Gregory Bollella, Bertrand Delsart, Romain Guider, Christophe Lizzi, Frédéric Parain	Mackinac: Making HotSpotTM Real-Time.	ISORC	2005	DBLP DOI BibTeX RDF