Search results for "Applets"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Andries van Dam	Visualization Research Problems in Next-Generation Educational Software.	IEEE Computer Graphics and Applications	2005	DBLP DOI BibTeX RDF	clip models, Learning Federation, visualization, educational software
12	John Cigas, Wen-Jung Hsin	Teaching proofs and algorithms in discrete mathematics with online visual logic puzzles.	ACM J. Educ. Resour. Comput.	2005	DBLP DOI BibTeX RDF	education, Logic, proof
12	David Cachera, Thomas P. Jensen, David Pichardie, Gerardo Schneider	Certified Memory Usage Analysis.	FM	2005	DBLP DOI BibTeX RDF	certified memory analysis, Program analysis, theorem proving, constraint solving
12	Min-Sik Jin, Won-Ho Choi, Yoon-Sim Yang, Min-Soo Jung	The Research on How to Reduce the Number of EEPROM Writing to Improve Speed of Java Card.	ICESS	2005	DBLP DOI BibTeX RDF
12	Denis Caromel, Alexandre di Costanzo, Dennis Gannon, Aleksander Slominski	Asynchronous Peer-to-PeerWeb Services and Firewalls.	IPDPS	2005	DBLP DOI BibTeX RDF
12	Ana Azevedo, Arun Kejariwal, Alexander V. Veidenbaum, Alexandru Nicolau	High performance annotation-aware JVM for Java cards.	EMSOFT	2005	DBLP DOI BibTeX RDF	superoperators, virtual machine, high performance, Java card
12	Tongjun Ruan, Robert Balch, Susan Schrader	A fuzzy expert system for oil prospecting in the Lower Brushy Canyon of SE New Mexico.	IRI	2005	DBLP DOI BibTeX RDF
12	Imke Sassen, Birgit Schwartz-Reinken	Adaptation and Configuration - Support-Possibilities of Different Learner Types within Virtual Learning Environments - An Experience Report.	ITCC (1)	2005	DBLP DOI BibTeX RDF
12	Almut Herzog, Nahid Shahmehri	An Evaluation of Java Application Containers according to Security Requirements.	WETICE	2005	DBLP DOI BibTeX RDF
12	Susanne Loidl, Jörg R. Mühlbacher, Helmut Schauer	Preparatory Knowledge: Propaedeutic in Informatics.	ISSEP	2005	DBLP DOI BibTeX RDF
12	Dilian Gurov, Marieke Huisman	Interface Abstraction for Compositional Verificatio.	SEFM	2005	DBLP DOI BibTeX RDF
12	Gilles Barthe, Mariela Pavlova, Gerardo Schneider	Precise Analysis of Memory Consumption using Program Logics.	SEFM	2005	DBLP DOI BibTeX RDF
12	Robert Kotrys, Piotr Remlein, Andrzej Stelter, Pawel Szulakiewicz	Internet-Based Training in Decoding Algorithms and MAC Protocols.	AICT/SAPIR/ELETE	2005	DBLP DOI BibTeX RDF
12	Juan de Lara, Hans Vangheluwe, Manuel Alfonseca 0001	Meta-modelling and graph grammars for multi-paradigm modelling in AToM3.	Softw. Syst. Model.	2004	DBLP DOI BibTeX RDF	Multi-paradigm modelling, Causal block diagrams, AToM3, OOCSMP, Code generation, Model transformation, Meta-modelling, Statecharts, Graph grammars, Multi-formalism
12	Hanan Samet	Object-based and image-based object representations.	ACM Comput. Surv.	2004	DBLP DOI BibTeX RDF	feature query, geographic information systems (GIS), spatial databases, Access methods, quadtrees, R-trees, octrees, space-filling curves, pyramids, image space, object space, location query
12	Roberto Barbuti, Stefano Cataudella 0001	Java bytecode verification on Java cards.	SAC	2004	DBLP DOI BibTeX RDF	abstract interpretation, Java card, Java bytecode
12	Jingzhong Zhang, Chuanzhong Li	An Introduction to Logical Animation.	IWMM/GIAE	2004	DBLP DOI BibTeX RDF	logical animation, educational software, dynamic geometry
12	Xavier Burgués Illa, Xavier Franch	Formalising Software Quality Using a Hierarchy of Quality Models.	DEXA	2004	DBLP DOI BibTeX RDF
12	René Rydhof Hansen	A Hardest Attacker for Leaking References.	ESOP	2004	DBLP DOI BibTeX RDF
12	Minoru Uehara	A Distributed File System for Java Applet Based Distance Learning.	SAINT	2004	DBLP DOI BibTeX RDF	distance learning, distributed file system
12	Michael McDougall, Rajeev Alur, Carl A. Gunter	A model-based approach to integrating security policies for embedded devices.	EMSOFT	2004	DBLP DOI BibTeX RDF	policy integration, smartcards, model based design, Java cards
12	Werner Dietl, Peter Müller 0001, Arnd Poetzsch-Heffter	A Type System for Checking Applet Isolation in Java Card.	CASSIS	2004	DBLP DOI BibTeX RDF
12	Xavier Leroy	Java Bytecode Verification: Algorithms and Formalizations.	J. Autom. Reason.	2003	DBLP DOI BibTeX RDF	abstract interpretation, Java Virtual Machine, subroutines, dataflow analysis, bytecode verification
12	Vijay P. Shah, Nicolas H. Younan, Torey Alford, Anthony Skjellum	An advanced signal processing toolkit for JAVA applications.	PPPJ	2003	DBLP DOI BibTeX RDF	VSIPL, Java, algorithms, signal processing
12	Ahmed O. Abdul Salam, Tarik Ozkul	Java-based cyber technique for on-line engineering labs.	PPPJ	2003	DBLP BibTeX RDF	Java and LabVIEW programming, web-based and on-line engineering labs and applications
12	Pierre Wijkman, Mitra Wijkman, Suru Dissanaike	Transparent Java standard extensions with native libraries on multiple platforms.	PPPJ	2003	DBLP BibTeX RDF	multiple platforms, native libraries, Java
12	Tom Lunney, Aidan McCaughey	Object persistence in Java.	PPPJ	2003	DBLP DOI BibTeX RDF	Java Object Serialization, Java Language, remote method invocation, orthogonal persistence
12	William G. Morein, Angelos Stavrou, Debra L. Cook, Angelos D. Keromytis, Vishal Misra, Dan Rubenstein	Using graphic turing tests to counter automated DDoS attacks against web servers.	CCS	2003	DBLP DOI BibTeX RDF	graphic turing tests, Java, web proxies
12	Lilian Burdy, Antoine Requet, Jean-Louis Lanet	Java Applet Correctness: A Developer-Oriented Approach.	FME	2003	DBLP DOI BibTeX RDF	Proof User Interface, Java, Correctness Proof
12	Jean-Pierre Talpin, Abdoulaye Gamatié, David Berner, Bruno Le Dez, Paul Le Guernic	Hard Real-Time Implementation of Embedded Software in JAVA.	FIDJI	2003	DBLP DOI BibTeX RDF
12	Mike Jochen, Lisa M. Marvel, Lori L. Pollock	A Framework for Tamper Detection Marking of Mobile Applications.	ISSRE	2003	DBLP DOI BibTeX RDF
12	Bruno Blanchet, Benjamin Aziz	A Calculus for Secure Mobility.	ASIAN	2003	DBLP DOI BibTeX RDF
12	Toshiyuki Imamura, Nobuhiro Yamagishi, Hiroshi Takemiya, Yukihiro Hasegawa, Kenji Higuchi, Norihiro Nakajima	A Visual Resource Integration Environment for Distributed Applications on the ITBL System.	ISHPC	2003	DBLP DOI BibTeX RDF
12	Allan Meng Krebs, Mihail F. Ionescu, Bogdan Dorohonceanu, Ivan Marsic	The DISCIPLE System for Collaboration over the Heterogeneous Web.	HICSS	2003	DBLP DOI BibTeX RDF	Collaboration, agents, mobile devices, wireless communication, heterogeneity
12	Konstantin Hyppönen, David Naccache, Elena Trichina, Alexei Tchoulkine	Trading-Off Type-Inference Memory Complexity against Communication.	ICICS	2003	DBLP DOI BibTeX RDF
12	Torben Lorenzen, Ward Heilman	CS1 and CS2: write computer games in Java!	ACM SIGCSE Bull.	2002	DBLP DOI BibTeX RDF
12	Claus Brabrand, Anders Møller, Michael I. Schwartzbach	The project.	ACM Trans. Internet Techn.	2002	DBLP DOI BibTeX RDF	Interactive Web services, World Wide Web (WWW), program analysis, HTML
12	Algis Rudys, Dan S. Wallach	Transactional Rollback for Language-Based Systems.	DSN	2002	DBLP DOI BibTeX RDF
12	Neil C. Rowe, Jim Coffman, Yilmaz Degirmenci, Scott Hall, Shong Lee, Clifton Williams	Automatic removal of advertising from web-page display.	JCDL	2002	DBLP DOI BibTeX RDF	information retrieval, World Wide Web, images, information filtering, advertising
12	Moon-Jung Chung, Sangchul Kim, Hyun Kim, Ho Sang Ham	A Java-Based, Distributed Process Management System for Collaborative Design and Manufacturing.	FIDJI	2002	DBLP DOI BibTeX RDF
12	James Bret Michael	On the Response Policy of Software Decoys: Conducting Software-Based Deception in the Cyber Battlespace.	COMPSAC	2002	DBLP DOI BibTeX RDF
12	Serge Lefranc, David Naccache	Cut-&-Paste Attacks with JAVA.	ICISC	2002	DBLP DOI BibTeX RDF
12	Timothy E. Lindquist	Security Considerations for Distributed Web-Based E-commerce Applications in Java.	HICSS	2002	DBLP DOI BibTeX RDF	Distributed Web Applications, Security, Authentication, Integrity, Encryption, Servlets
12	Delfina Malandrino, Gennaro Meo, Giuseppina Palmieri, Vittorio Scarano	3WPS : A 3D Web-based Process Visualization Framework.	3DPVT	2002	DBLP DOI BibTeX RDF
12	David J. Greaves	Control Software for Home Automation, Design Aspects and Position Paper.	ICDCS Workshops	2002	DBLP DOI BibTeX RDF	Autohan, Iota, XML, UPnP
12	Junqi Zhang, Vijay Varadharajan, Yi Mu 0001	A Secure Object Sharing Scheme for Java Card.	ICICS	2002	DBLP DOI BibTeX RDF
12	Guijun Wang, Richard Robinson	An Architecture for Web-Enabled Engineering Applications Based on Lightweight High Performance CORBA.	EDOC	2002	DBLP DOI BibTeX RDF
12	James Begole, Randall B. Smith, Craig A. Struble, Clifford A. Shaffer	Resource sharing for replicated synchronous groupware.	IEEE/ACM Trans. Netw.	2001	DBLP DOI BibTeX RDF	distributed computing, object-oriented programming, concurrency control, software, Collaborative work, file servers
12	Xavier Leroy	Java Bytecode Verification: An Overview.	CAV	2001	DBLP DOI BibTeX RDF
12	Michael Montgomery, Ksheerabdhi Krishna	A Flexible Invocation Framework for Java Card.	E-smart	2001	DBLP DOI BibTeX RDF
12	Rajeev Goré, Phuong Thê Nguyên	CardS4: Modal Theorem Proving on Java Smartcards.	E-smart	2001	DBLP DOI BibTeX RDF	security of mobile code, modal deduction
12	Aluízio Haendchen Filho, Hércules Antônio do Prado, Paulo Martins Engel, Arndt von Staa	XSearch : A Neural Network Based Tool for Components Search in a Distributed Object Environment.	DEXA	2001	DBLP DOI BibTeX RDF
12	Yingdong Zhao, Lenny Grover, Richard M. Simon	TEST: A Web-Based T-Cell Epitope Search Tool.	CBMS	2001	DBLP DOI BibTeX RDF
12	John K. Estell	IPP: a web-based interactive programming portfolio.	SIGCSE	2001	DBLP DOI BibTeX RDF	Java, WEB
12	Hwa-Chun Lin, Yi-Fan Wang, Chien-Hsing Wang, Chien-Lin Chen	Web-Based Distributed Topology Discovery of IP Networks.	ICOIN	2001	DBLP DOI BibTeX RDF
12	Soon Myoung Chung, Qing Wang	Content-based Retrieval and Data Mining of a Skin Cancer Image Database.	ITCC	2001	DBLP DOI BibTeX RDF	skin cancer images, data mining, multimedia, association rules, Web database
12	Dieter Bühler, Wolfgang Küchlin, Gerhard Gruhler, Gerd Nusser	The Virtual Automation Lab - Web Based Teaching of Automation Engineering Concepts.	ECBS	2000	DBLP DOI BibTeX RDF	telematics supported learning, automation engineering, CANopen, Java, Internet, Distance education, client/server, CAN, fieldbus
12	Frédéric Andrès, Nicolas Dessaigne, José Martinez 0001, Noureddine Mouaddib, Kinji Ono, Douglas C. Schmidt, Panrit Tosukhowong	MISE: The MediaSys Image Search Engine.	DEXA	2000	DBLP DOI BibTeX RDF
12	P. J. Boon, N. Eminovic, A. de Vos, B. Buitendijk, E. J. van Raaij, M. J. den Broeder, W. J. Hage, Fons J. Verbeek	A Virtual Lab-Notebook for Multidimensional Microscopic Images.	IV	2000	DBLP DOI BibTeX RDF	Graphical annotation, XML, Database, 3D-Reconstruction, Java Applet, XSL, Microscopy, Stylesheet
12	Michael Syrjakow, Jörg Berdux, Helena Szczerbicka	Interactive Web-based animations for teaching and learning.	WSC	2000	DBLP DOI BibTeX RDF
12	S. Narayanan	Web-based simulation: web-based modeling and simulation.	WSC	2000	DBLP DOI BibTeX RDF
12	Hiroyuki Kawano, Minoru Kawahara	Mondou: Information Navigator with Visual Interface.	DaWaK	2000	DBLP DOI BibTeX RDF
12	Tien-Yan Ma, Ting-Wei Hou	Implementing FISC IC Card Specification and Developing Health Care Application Using Java Card.	ISMSE	2000	DBLP DOI BibTeX RDF	financial information system, Smart card, Java card, health information system
12	Stephen Huang, Hui Hu	Integrating Windows Streaming Media Technologies Into a Virtual Classroom Environment.	ISMSE	2000	DBLP DOI BibTeX RDF
12	Michael Kölling, John Rosenberg	Objects first with Java and BlueJ (seminar session).	SIGCSE	2000	DBLP DOI BibTeX RDF	Java
12	Oscar Luiz Monteiro de Farias, Luiz Má C. P. M. de Farias	Distributed information system on an Internet/intranet environment (DISI2E).	ACM-GIS	2000	DBLP DOI BibTeX RDF	object associations, hypertext, distributed information system
12	Marc Kekicheff, Forough Kashef, David Brewer	Open Platform Security.	Java Card Workshop	2000	DBLP DOI BibTeX RDF
12	Bogdan Dorohonceanu, Boi Sletterink, Ivan Marsic	A Novel User Interface for Group Collaboration.	HICSS	2000	DBLP DOI BibTeX RDF	CSCW, groupware, user interface design, end user programming, multimodal user interfaces
12	Sung-Hee Kim, Chi-Young Yoo, Hae-Young Bae, Young-Geol Lee, Jong-Hoon Kim, Jae-dong Lee, Jaehong Kim 0011	A Jigsaw Query Processing Technique for Web GIS.	ITCC	2000	DBLP DOI BibTeX RDF
12	James Begole, Mary Beth Rosson, Clifford A. Shaffer	Flexible collaboration transparency: supporting worker independence in replicated application-sharing systems.	ACM Trans. Comput. Hum. Interact.	1999	DBLP DOI BibTeX RDF	Flexible JAMM, Java, usability, computer-supported cooperative work, groupware, application sharing, collaboration transparency
12	Paul Tarau, Verónica Dahl	Towards a Logic Programming Infrastructure for Internet Programming.	Artificial Intelligence Today	1999	DBLP DOI BibTeX RDF	Logic Programming and Internet technologies, first order continuations, Linda coordination, blackboard based logic programming, mobile computations, mobile code, metaprogramming, remote execution, controlled natural language, intelligent mobile agents
12	Pinar Koksal, Ibrahim Cingil, Asuman Dogac	A Component-Based Workflow System with Dynamic Modifications.	NGITS	1999	DBLP DOI BibTeX RDF
12	Israel Hilerio, Weidong Chen 0005	Herbal-T, enabling integration, interoperability, and reusability of Internet components.	WACC	1999	DBLP DOI BibTeX RDF	Herbal-T, Internet components, active relations, distributed relations, integration
12	Wen Li, Weicong Wang, Ivan Marsic	Collaboration transparency in the DISCIPLE framework.	GROUP	1999	DBLP DOI BibTeX RDF	CSCW frameworks, collaboration-transparent applications, JavaBeans, synchronous groupware
12	Andrew Yang, Yael Bachar	Using Java and the socket interface in teaching client/server programming.	ITiCSE	1999	DBLP DOI BibTeX RDF
12	Elliot B. Koffman, Ursula Wolz	CS1 using Java language features gently.	ITiCSE	1999	DBLP DOI BibTeX RDF	Java, user interface, interactivity, programming, CS1, graphics
12	Zhihong Yang	A Distributed Services Medical Imaging Network.	CBMS	1999	DBLP DOI BibTeX RDF
12	Gordon Stegink, Jon Pater, Daron Vroon 0002	Computer science and general education: Java, graphics, and the Web.	SIGCSE	1999	DBLP DOI BibTeX RDF
12	Fiona C. Coutinho, Caroline M. Eastman, Christopher B. Hare, Robert F. Skinder	Integrating Digital Resources into a Traditional University Research Library.	ADL	1999	DBLP DOI BibTeX RDF
12	M. A. M. S. Oliveira, Glauco Todesco, Regina Borges de Araujo	The Limitations of Interactive Multiuser 3D Environments in the WWW.	DEXA Workshops	1999	DBLP DOI BibTeX RDF	muticasting, Java, Distributed Systems, Virtual Reality, VRML
12	Alain Bouju, Arunas Stockus, Frédéric Bertrand, Patrice Boursier	Client-Server Architecture for Accessing Multimedia and Geographic Databases within Embedded Systems.	DEXA Workshops	1999	DBLP DOI BibTeX RDF	Java, embedded system, GPS, Web browser, spatial data, client-server architecture
12	Jean-Philippe Martin-Flatin, Laurent Bovet, Jean-Pierre Hubaux	JAMAP: A Web-based Management Platform for IP Networks.	DSOM	1999	DBLP DOI BibTeX RDF
12	Marcus O'Connell, Paddy Nixon	JFS: A Secure Distributed File System for Network Computers.	EUROMICRO	1999	DBLP DOI BibTeX RDF
12	Eugenio Di Sciascio, G. Mingolla, Marina Mongiello	Content-Based Image Retrieval over the Web Using Query by Sketch and Relevance Feedback.	VISUAL	1999	DBLP DOI BibTeX RDF
12	Gerie W. A. M. van der Heijden, Gerrit Polder, Jan Wouter van Eck	FLORES: A JAVA Based Image Database for Ornamentals.	VISUAL	1999	DBLP DOI BibTeX RDF
12	Benjamin M. Brosgol	Ada and the Objects.	TOOLS (30)	1999	DBLP DOI BibTeX RDF
12	John Waldron	Dynamic Bytecode Usage by Object Oriented Java Programs.	TOOLS (29)	1999	DBLP DOI BibTeX RDF	Object Oriented Platform Design, Java, Java Virtual Machine, bytecode
12	Ibrahim Cingil, Asuman Dogac, Nesime Tatbul, Sena Nural Arpinar	An Adaptable Workflow System Architecture on the Internet for Electronic Commerce Applications.	DOA	1999	DBLP DOI BibTeX RDF
12	Iñaki Goirizelaia, Juanjo Unzilla, Eduardo Jacob, Javier Andiano	A Bew Watermarking Method Using High Frequency Components to Guide the Insertion Process in the Spatial Domain.	CAIP	1999	DBLP DOI BibTeX RDF
12	Charlie Lai, Li Gong, Larry Koved, Anthony J. Nadalin, Roland Schemers	User Authentication and Authorization in the Java(tm) Platform.	ACSAC	1999	DBLP DOI BibTeX RDF
12	Runhe Huang, Jianhua Ma 0002	A General Purpose Virtual Collaboration Room.	ICECCS	1999	DBLP DOI BibTeX RDF
12	Andrew K. Wright, Suresh Jagannathan, Cristian Ungureanu, Aaron Hertzmann	Compiling Java to a Typed Lambda-Calculus: A Preliminary Report.	Types in Compilation	1998	DBLP DOI BibTeX RDF
12	Luís Moura Silva, Paulo Martins 0001, João Gabriel Silva	Merging Web-Based with Cluster-Based Computing.	ISCOPE	1998	DBLP DOI BibTeX RDF
12	David Cole, Roger L. Wainwright, Dale A. Schoenefeld	Using Java to develop Web based tutorials.	SIGCSE	1998	DBLP DOI BibTeX RDF	Java, Internet
12	Sohail Aslam	WEB-based query processing in a database course project.	SIGCSE	1998	DBLP DOI BibTeX RDF
12	Mikael Jern	"Thin" vs. "fat" visualization clients.	AVI	1998	DBLP DOI BibTeX RDF	Fat client, Web components, information drill-down, VRML
12	Jeffrey Horton, Jennifer Seberry	Covert Distributed Computing Using Java Through Web Spoofing.	ACISP	1998	DBLP DOI BibTeX RDF
12	Luc Moreau 0001, Christian Queinnec	Distributed Computations Driven by Resource Consumption.	ICCL	1998	DBLP DOI BibTeX RDF
12	Paul Tarau	Towards Inference and Computation Mobility: The Jinni Experiment.	JELIA	1998	DBLP DOI BibTeX RDF
12	Mikael Jern	3D Data Visualization on the Web.	MMM	1998	DBLP DOI BibTeX RDF