|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 430 occurrences of 275 keywords
|
|
|
Results
Found 307 publication records. Showing 307 according to the selection in the facets
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 |
|
Displaying result #201 - #300 of 307 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ >>] |
|