|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2170 occurrences of 1430 keywords
|
|
|
Results
Found 1814 publication records. Showing 1814 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
4 | Oleg Kiselyov, Shriram Krishnamurthi |
SXSLT: Manipulation Language for XML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings, pp. 256-272, 2003, Springer, 3-540-00389-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
SXML, XML, Scheme, XSLT, tree traversal |
4 | Dennis Quan, David Huynh, David R. Karger |
Haystack: A Platform for Authoring End User Semantic Web Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: The Semantic Web - ISWC 2003, Second International Semantic Web Conference, Sanibel Island, FL, USA, October 20-23, 2003, Proceedings, pp. 738-753, 2003, Springer, 3-540-20362-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
4 | Peter S. Pacheco, Patrick Miller, Jin Kim, Taylor Leese, Yuliya Zabiyaka |
Object-Oriented NeuroSys: Parallel Programs for Simulating Large Networks of Biologically Accurate Neurons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface,10th European PVM/MPI Users' Group Meeting, Venice, Italy, September 29 - October 2, 2003, Proceedings, pp. 142-151, 2003, Springer, 3-540-20149-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
4 | Will Fitzgerald, R. James Firby, Michael Hannemann |
Demonstration of the complex event recognition architecture for multimodal event parsing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IUI ![In: Proceedings of the 8th International Conference on Intelligent User Interfaces, IUI 2003, Miami, FL, USA, January 12-15, 2003, pp. 321, 2003, ACM, 1-58113-586-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
4 | Mary J. Granger, Joyce Currie Little |
Classroom discussions: policies and responsibilities of Internet Service Providers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 8th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2003, Thessaloniki, Greece, June 30 - July 2, 2003, pp. 99-103, 2003, ACM, 1-58113-672-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
security, privacy, intellectual property, ISPs, Internet Service Providers |
4 | Nancy P. Kutner |
Evolution of the "Red Book": from (paper) rags to riches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGUCCS ![In: Proceedings of the 31st Annual ACM SIGUCCS Conference on User Services 2003, San Antonio, TX, USA, September 21-24, 2003, pp. 70-73, 2003, ACM, 1-58113-665-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
web, training, documentation, laptops |
4 | Michael Hunter, Randy Machemehl |
Modeling people flow: development and validation of a flexible, open architecture, transportation simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 35th Winter Simulation Conference: Driving Innovation, New Orleans, Louisiana, USA, December 7-10, 2003, pp. 1642-1649, 2003, IEEE Computer Society, 0-7803-8132-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
4 | Sriram Subramanian, Frank Dijkstra, Bernard Champoux |
Investigation of subjective preferences in multiple degrees-of-freedom inputs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended abstracts of the 2003 Conference on Human Factors in Computing Systems, CHI 2003, Ft. Lauderdale, Florida, USA, April 5-10, 2003, pp. 934-935, 2003, ACM, 1-58113-637-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
6DOF, multiple degrees of freedom, control, input devices, 3D interface, ease of use, fatigue |
4 | Uwe Gerecke, Patrick Hohmann, Bernardo Wagner |
Educational Robotics in a Systems Design Masters Program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALT ![In: 2003 IEEE International Conference on Advanced Learning Technologies, ICALT 2003, Athens, Greece, July 9-11, 2003, pp. 175-179, 2003, IEEE Computer Society, 0-7695-1967-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
4 | Yan Huang |
GSiB: PSE Infrastructure for Dynamic Service-Oriented Grid Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science ![In: Computational Science - ICCS 2003, International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2-4, 2003. Proceedings, Part IV, pp. 430-442, 2003, Springer, 3-540-40197-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
4 | Sophia Corsava, Vladimir Getov |
Cluster Infrastructure for Biological and Health Related Research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCGRID ![In: 3rd IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2003), 12-15 May 2003, Tokyo, Japan, pp. 574-581, 2003, IEEE Computer Society, 0-7695-1919-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Biological Research, Cluster, Parallel, Distributed, High Availability |
4 | Young-Je Woo, Chang-Sung Jeong |
Distributed Object-Oriented Parallel Programming Environment on Grid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (2) ![In: Computational Science and Its Applications - ICCSA 2003, International Conference, Montreal, Canada, May 18-21, 2003, Proceedings, Part II, pp. 562-570, 2003, Springer, 3-540-40161-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
4 | James Garvin, Eric Alsheimer, Zak Bradshaw, Peter Anselmo |
Simplified Authoring for Instructors using Distance Education (SAIDE). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITCC ![In: 2003 International Symposium on Information Technology (ITCC 2003), 28-30 April 2003, Las Vegas, NV, USA, pp. 43-47, 2003, IEEE Computer Society, 0-7695-1916-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
4 | Shabbir H. Batterywala, Narendra V. Shenoy |
A Method to Estimate Slew and Delay in Coupled Digital Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 16th International Conference on VLSI Design (VLSI Design 2003), 4-8 January 2003, New Delhi, India, pp. 411-416, 2003, IEEE Computer Society, 0-7695-1868-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
4 | Viren Shah, Frank Hill |
An Aspect-Oriented Security Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISCEX (2) ![In: 3rd DARPA Information Survivability Conference and Exposition (DISCEX-III 2003), 22-24 April 2003, Washington, DC, USA, pp. 143-145, 2003, IEEE Computer Society, 0-7695-1897-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
4 | Roxana Diaconescu, Reidar Conradi |
Distributed Recursive Sets: Programmability and Effectiveness for Data Intensive Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLUSTER ![In: 2003 IEEE International Conference on Cluster Computing (CLUSTER 2003), 1-4 December 2003, Kowloon, Hong Kong, China, pp. 483-486, 2003, IEEE Computer Society, 0-7695-2066-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
4 | Daniel A. Keim, Ming C. Hao, Umeshwar Dayal |
Hierarchical Pixel Bar Charts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 8(3), pp. 255-269, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
multidimensional data visualization, visual data exploration and data mining, very large multiattributes data sets, hierarchical visualization, Information visualization |
4 | Marc Alexa |
Linear combination of transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 21(3), pp. 380-387, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
transformations, logarithm, linear space, matrix exponential, exponential map |
4 | Michael P. McCann |
Creating 3D oceanographic data visualizations for the web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web3D ![In: Proceedings of the Seventh International Conference on 3D Web Technology, Web3D 2002, Tempe Mission Palms, Tempe, Arizona, USA, February 24-28, 2002, pp. 179-184, 2002, ACM, 1-58113-468-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
GeoVRML, ROV, marine geology, databases, VRML, scientific visualization, exploration, Web3D, underwater, oceanography |
4 | Oleg Kiselyov |
A Better XML Parser through Functional Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002, Proceedings, pp. 209-224, 2002, Springer, 3-540-43092-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
tree fold, Haskell, Scheme, traversal, XML parsing |
4 | Tamara Babaian, Barbara J. Grosz, Stuart M. Shieber |
A writer's collaborative assistant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IUI ![In: Proceedings of the 7th International Conference on Intelligent User Interfaces, IUI 2002, San Francisco, California, USA, January 13-16, 2002, pp. 7-14, 2002, ACM, 1-58113-459-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
4 | Tony Printezis, Alex Garthwaite |
Visualising the train garbage collector. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSP/ISMM ![In: Proceedings of The Workshop on Memory Systems Performance (MSP 2002), June 16, 2002 and The International Symposium on Memory Management (ISMM 2002), June 20-21, 2002, Berlin, Germany, pp. 157-170, 2002, ACM, 1-58113-539-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
4 | Martin Pinzger 0001, Michael Fischer 0001, Harald C. Gall, Mehdi Jazayeri |
Revealer: A Lexical Pattern Matcher for Architecture Recovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: 9th Working Conference on Reverse Engineering (WCRE 2002), 28 October - 1 November 2002, Richmond, VA, USA, pp. 170-, 2002, IEEE Computer Society, 0-7695-1799-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
4 | René van Oostrum, Remco C. Veltkamp |
Parametric search made practical. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 18th Annual Symposium on Computational Geometry, Barcelona, Spain, June 5-7, 2002, pp. 1-9, 2002, ACM, 1-58113-504-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
framework for parametric search, implementation |
4 | Brad A. Myers |
Mobile Devices for Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobile HCI ![In: Mobile Human-Computer Interaction, 4th International Symposium, Mobile HCI 2002, Pisa, Italy, September 18-20, 2002, Proceedings, pp. 1-8, 2002, Springer, 3-540-44189-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
4 | Marcos Martín-Fernández, Carlos Alberola-López |
A Bayesian Approach to in vivo Kidney Ultrasound Contour Detection Using Markov Random Fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (2) ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2002, 5th International Conference, Tokyo, Japan, September 25-28, 2002, Proceedings, Part II, pp. 397-404, 2002, Springer, 3-540-44225-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
4 | Pavel Cenek |
A Flexible Framework for Evaluation of New Algorithms for Dialogue Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TSD ![In: Text, Speech and Dialogue, 5th International Conference, TSD 2002, Brno, Czech Republic September 9-12, 2002, Proceedings, pp. 437-440, 2002, Springer, 3-540-44129-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
4 | Michael Kaplan |
Math-Net Means Not Just a Page! ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electronic Information and Communication in Mathematics ![In: Electronic Information and Communication in Mathematics, ICM 2002 International Satellite Conference, Beijing, China, August 29-31, 2002, Revised Papers, pp. 95-99, 2002, Springer, 3-540-40689-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
4 | Rina Panigrahy, Samar Sharma |
Reducing TCAM Power Consumption and Increasing Throughput. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hot Interconnects ![In: 10th Annual IEEE Symposium on High Performance Interconnects (HOTIC 2002), August 21 - 23, 2002, Stanford, CA, USA, pp. 107-114, 2002, IEEE Computer Society, 0-7695-1650-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
4 | Chi-Leung Wong, Zehra Sura, David A. Padua, Xing Fang, Jaejin Lee, Samuel P. Midkiff |
The Pensieve Project: A Compiler Infrastructure for Memory Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPAN ![In: International Symposium on Parallel Architectures, Algorithms and Networks, ISPAN 2002, May 22-24, 2002, Makati City, Metro Manila, Philippines, pp. 239-244, 2002, IEEE Computer Society, 0-7695-1579-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
4 | Matthew Schmid, Frank Hill, Anup K. Ghosh |
Protecting Data from Malicious Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: 18th Annual Computer Security Applications Conference (ACSAC 2002), 9-13 December 2002, Las Vegas, NV, USA, pp. 199-208, 2002, IEEE Computer Society, 0-7695-1828-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
4 | Gerco Ballintijn, Maarten van Steen, Andrew S. Tanenbaum |
Scalable Human-Friendly Resource Names. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Comput. ![In: IEEE Internet Comput. 5(5), pp. 20-27, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
wide-area systems, scalability, DNS, naming, resource location |
4 | Larry F. Hodges, Page L. Anderson, Grigore C. Burdea, Hunter G. Hoffman, Barbara O. Rothbaum |
Treating Psychological and Physical Disorders with VR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Computer Graphics and Applications ![In: IEEE Computer Graphics and Applications 21(6), pp. 25-33, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
4 | German Shegalov, Michael Gillmann, Gerhard Weikum |
XML-enabled workflow management for e-services across heterogeneous platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB J. ![In: VLDB J. 10(1), pp. 91-103, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
XML/XSL, Internet e-services, Information system interoperability, Business processes, Workflow management |
4 | Jan Jürjens, Guido Wimmel |
Specification-Based Testing of Firewalls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers, pp. 308-316, 2001, Springer, 3-540-43075-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
4 | Torsten Heverhagen, Rudolf Tracht |
Integrating UML-RealTime and IEC 61131-3 with Function Block Adapters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 4th International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), 2-4 May 2001, Magdeburg, Germany, pp. 395-402, 2001, IEEE Computer Society, 0-7695-1089-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
4 | Andrew Wolfe |
Emerging applications for the connected home. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: Proceedings of the 34th Annual International Symposium on Microarchitecture, Austin, Texas, USA, December 1-5, 2001, pp. 136, 2001, ACM/IEEE Computer Society, 0-7695-1369-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
4 | Gábor Bodnár, Barbara Kaltenbacher, Petru Pau, Josef Schicho |
Exact Real Computation in Computer Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNSC ![In: Symbolic and Numerical Scientific Computation, Second International Conference, SNSC 2001, Hagenberg, Austria, September 10-11, 2001, Revised Papers, pp. 279-292, 2001, Springer, 3-540-40554-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
4 | Hiroshi Yoshiura |
A Multi-OS Approach to Trusted Computer Systems (Transcript of Discussion). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security Protocols Workshop ![In: Security Protocols, 9th International Workshop, Cambridge, UK, April 25-27, 2001, Revised Papers, pp. 115-118, 2001, Springer, 3-540-44263-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
4 | Tomasz Haupt, Purushotham V. Bangalore, Gregory Henley |
A Computational Web Portal for the Distributed Marine Environment Forecast System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCN ![In: High-Performance Computing and Networking, 9th International Conference, HPCN Europe 2001, Amsterdam, The Netherlands, June 25-27, 2001, Proceedings, pp. 104-113, 2001, Springer, 3-540-42293-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
4 | Bruno Caiado, Luís Correia 0003, João Brisson-Lopes |
NISVAS, Three-Dimensional Interactive Visualization in Java3D. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIBGRAPI ![In: 14th Brazilian Symposium on Computer Graphics and Image Processing (SIBGRAPI 2001), 15-18 October 2001, Florianopolis, Brazil, pp. 320-327, 2001, IEEE Computer Society, 0-7695-1330-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
4 | Stina S. Bridgeman, Roberto Tamassia |
The Graph Drawing Server. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GD ![In: Graph Drawing, 9th International Symposium, GD 2001 Vienna, Austria, September 23-26, 2001, Revised Papers, pp. 448-450, 2001, Springer, 3-540-43309-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
4 | Daniel A. Keim, Ming C. Hao, Julian Ladisch, Meichun Hsu, Umeshwar Dayal |
Pixel Bar Charts: A New Technique for Visualizing Large Multi-Attribute Data Sets without Aggregation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOVIS ![In: IEEE Symposium on Information Visualization 2001 (INFOVIS'01), San Diego, CA, USA, October 22-23, 2001., pp. 113-120, 2001, IEEE Computer Society, 0-7695-1342-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Pixel Bar Charts, Multi-attributes Visualization, No-aggregation, No-overlapping |
4 | Ahmed Al-Theneyan, Amol Jakatdar, Mohammad Zubair, Piyush Mehrotra |
XML-Based Visual Specification of Multidisciplinary Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCGRID ![In: First IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2001), May 15-18, 2001, Brisbane, Australia, pp. 414-421, 2001, IEEE Computer Society, 0-7695-1010-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
4 | Laszlo Ladányi, Ted K. Ralphs, Leslie E. Trotter Jr. |
Branch, Cut, and Price: Sequential and Parallel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Combinatorial Optimization ![In: Computational Combinatorial Optimization, Optimal or Provably Near-Optimal Solutions [based on a Spring School, Schloß Dagstuhl, Germany, 15-19 May 2000], pp. 223-260, 2001, Springer, 3-540-42877-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
4 | Steffen Görzig |
CPPvm - Parallel Programming in C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLUSTER ![In: 2001 IEEE International Conference on Cluster Computing (CLUSTER 2001), 8-11 October 2001, Newport Beach, CA, USA, pp. 141-144, 2001, IEEE Computer Society, 0-7695-1116-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
4 | Stephan Diehl 0001, Jörg Keller 0003 |
VRML with constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web3D ![In: Proceedings of the Fifth Symposium on Virtual Reality Modeling Language, Web3D-VRML 2000, Monterey, CA, USA, February 20-24, 2000, pp. 81-86, 2000, ACM, 1-58113-211-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
animation, VRML, programming |
4 | Helen C. Purchase, David A. Carrington, Jo-Anne Allder |
Experimenting with Aesthetics-Based Graph Layout. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Theory and Application of Diagrams, First International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000, Proceedings, pp. 498-501, 2000, Springer, 3-540-67915-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
4 | Michael J. C. Gordon |
Reachability Programming in HOL98 Using BDDs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 13th International Conference, TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings, pp. 179-196, 2000, Springer, 3-540-67863-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
4 | Per Bjuréus, Axel Jantsch |
MASCOT: A Specification and Cosimulation Method Integrating Data and Control Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2000 Design, Automation and Test in Europe (DATE 2000), 27-30 March 2000, Paris, France, pp. 161-168, 2000, IEEE Computer Society / ACM, 0-7695-0537-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
4 | Jim D. Garside, W. J. Bainbridge, Andrew Bardsley, David M. Clark, David A. Edwards, Stephen B. Furber, David W. Lloyd, Siamak Mohammadi, J. S. Pepper, Steve Temple, John V. Woods, Jianwei Liu, O. Petli |
AMULET3i - An Asynchronous System-on-Chip. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASYNC ![In: 6th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2000), 2-6 April 2000, Eilat, Israel, pp. 162-175, 2000, IEEE Computer Society, 0-7695-0586-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
4 | Andreas Terzis, Konstantinos Nikoloudakis, Lan Wang, Lixia Zhang 0001 |
IRLSim: A General Purpose Packet Level Network Simulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 33th Annual Simulation Symposium (SS 2000), 16-22 April 2000, Washington, DC, USA, pp. 109-120, 2000, IEEE Computer Society, 0-7695-0598-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Packet level network simulator, PARSEC, QoS, transport layer, RSVP |
4 | Jonathan Jingsheng Shi |
Construction engineering III: object-oriented technology for enhancing activity-based modeling functionality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 32nd conference on Winter simulation, WSC 2000, Wyndham Palace Resort & Spa, Orlando, FL, USA, December 10-13, 2000, pp. 1938-1944, 2000, WSC, 0-7803-6582-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
4 | Carlisle Eldwidge George |
EROSI - visualising recursion and discovering new errors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 31st SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2000, Austin, Texas, USA, March 7-12, 2000, pp. 305-309, 2000, ACM, 1-58113-213-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
4 | Markus Weinhardt, Wayne Luk |
Evaluating Hardware Compilation Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCCM ![In: 8th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM 2000), 17-19 April 2000, Napa Valley, CA, USA, Proceedings, pp. 333-334, 2000, IEEE Computer Society, 0-7695-0871-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
4 | Arna Ionescu, Luc Julia |
EMCE: A Multimodal Environment Augmenting Conferencing Experiences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AUIC ![In: 1st Australasian User Interface Conference (AUIC 2000), 31 January - 3 February 2000, Canberra, Australia, pp. 26-32, 2000, IEEE Computer Society, 0-7695-0515-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Multimodal Natural Interfaces, Augmented Mediated Spaces |
4 | Karen D. Devine, Bruce Hendrickson, Erik G. Boman, Matthew St. John, Courtenay T. Vaughan |
Design of dynamic load-balancing tools for parallel applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 14th international conference on Supercomputing, ICS 2000, Santa Fe, NM, USA, May 8-11, 2000, pp. 110-118, 2000, ACM, 1-58113-270-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
4 | Arnaldo de Albuquerque Araújo, Bernardo Moreira De Faria, Letícia Santos Neto |
PhotoPixJ 2.0-A Java Digital Image Processing Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIBGRAPI ![In: 13th Brazilian Symposium on Computer Graphics and Image Processing (SIBGRAPI 2000), 17-20 October 2000, Gramado (RS), Brazil, pp. 332, 2000, IEEE Computer Society, 0-7695-0878-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
PhotoPixJ, digital image processing algorithms, multi-platform framework, Java, image processing, productivity, applet |
4 | Gordon W. Paynter, Ian H. Witten, Sally Jo Cunningham, George Buchanan 0001 |
Scalable browsing for large collections: a case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM DL ![In: Proceedings of the Fifth ACM Conference on Digital Libraries, June 2-7, 2000, San Antonio, TX, USA, pp. 215-223, 2000, ACM. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
4 | Gaëtan Vanet, Motohiro Suzuki, Tôru Egashira, Yoshiaki Kiriha |
Platform Architecture for Internet Service Delivery and Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSOM ![In: Services Management in Intelligent Networks, 11th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2000, Austin, Texas, USA, December 4-6, 2000, Proceedings, pp. 95-106, 2000, Springer, 3-540-41427-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Basic Service Component, Composite Internet Service, TINA Business Model, Building Block |
4 | Yong Zhang 0002, Jianhua Feng, Lizhu Zhou |
Role-Based Database Designing for Managing Complex Objects and Their Relationships on the Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (36) ![In: TOOLS Asia 2000: 36th International Conference on Technology of Object-Oriented Languages and Systems, Xi'an, China, 30 October - 4 November 2000, pp. 212-219, 2000, IEEE Computer Society, 0-7695-0875-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
4 | Eli Herscovitz |
Secure virtual private networks: the future of data communications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Netw. Manag. ![In: Int. J. Netw. Manag. 9(4), pp. 213-220, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
4 | Anneliese von Mayrhauser, Stephen Lang |
A Coding Scheme to Support Systematic Analysis of Software Comprehension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 25(4), pp. 526-540, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Software maintenance, program comprehension, protocol analysis |
4 | Edward J. Dudewicz, Zaven A. Karian |
The Role of Statistics in IS/IT: Practical Gains from Mined Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. Frontiers ![In: Inf. Syst. Frontiers 1(3), pp. 259-266, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
patterns in data, fitting distributions, lambda, data mining, statistics, beta |
4 | Soon-Kyeong Kim, David A. Carrington |
Visualization of Formal Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 6th Asia-Pacific Software Engineering Conference (APSEC '99), 7-10 December 1999, Takamatsu, Japan, pp. 102-109, 1999, IEEE Computer Society, 0-7695-0509-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Visualization, UML, Formal Specifications, Z notation |
4 | Dimitrie O. Paun, Marsha Chechik |
Events in Linear-Time Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 4th IEEE International Symposium on Requirements Engineering (RE '99), 7-11 June 1999, Limerick, Ireland, pp. 123-132, 1999, IEEE Computer Society, 0-7695-0188-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
4 | Alfredo Liverani, Falko Kuester, Bernd Hamann |
Towards Interactive Finite Element Analysis of Shell Structures in Virtual Reality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: International Conference on Information Visualisation, IV 1999, London, England, UK, July 14-16, 1999, pp. 340-347, 1999, IEEE Computer Society, 0-7695-0210-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Simulation, Virtual Reality, 3D Modeling, Interactive Modeling, Finite Element Analysis |
4 | Andreas Girgensohn |
Supporting the writing of reports in a hierarchical organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WACC ![In: Proceedings of the international joint conference on Work activities coordination and collaboration 1999, San Francisco, California, USA, February 22-25, 1999, pp. 147-156, 1999, ACM, 978-1-58113-070-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
World Wide Web, user feedback, collaborative writing, corporate memory, hierarchical organizations, report generation |
4 | Nick Benton, Andrew Kennedy |
Interlanguage Working Without Tears: Blending SML with Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), Paris, France, September 27-29, 1999., pp. 126-137, 1999, ACM, 1-58113-111-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
4 | Simon D. Haynes, Peter Y. K. Cheung, Wayne Luk, John Stone |
SONIC - A Plug-In Architecture for Video Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCCM ![In: 7th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM '99), 21-23 April 1999, Napa, CA, USA, pp. 280-281, 1999, IEEE Computer Society, 0-7695-0375-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
SONIC, reconifgurable, PCI, FPGA, real-time, video, processing, image, accelerator, plug-in, PIPE |
4 | Stéphane Grumbach, Philippe Rigaux, Luc Segoufin |
On the Orthographic Dimension of Constraint Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Database Theory - ICDT '99, 7th International Conference, Jerusalem, Israel, January 10-12, 1999, Proceedings., pp. 199-216, 1999, Springer, 3-540-65452-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
4 | Lydie du Bousquet, Nicolas Zuanon |
An Overview of Lutess: A Specification-based Tool for Testing Synchronous Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: The 14th IEEE International Conference on Automated Software Engineering, ASE 1999, Cocoa Beach, Florida, USA, 12-15 October 1999, pp. 208-215, 1999, IEEE Computer Society, 0-7695-0415-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
4 | Chihab Hanachi, Nabil Hameurlain, Christophe Sibertin-Blanc |
Mobile Agents Behaviours: From Declarative Specifications to Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIA ![In: Cooperative Information Agents III, Third International Workshop, CIA' 99, Uppsala, Sweden, July 31 - August 2, 1999, Proceedings, pp. 196-207, 1999, Springer, 3-540-55325-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
4 | Robert D. Gardner, David A. Harle |
Pattern discovery and specification techniques for alarm correlation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NOMS ![In: 1998 Network Operations and Management Symposium, NOMS 98, New Orleans, LA, USA, February 15-20, 1998. Proceedings, pp. 713-722, 1998, IEEE, 0-7803-4352-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
4 | Paulo E. M. de Almeida, Fábio Gonçalves Jota, Constantino Seixas Filho |
A novel real time integrated environment for the design of practical fuzzy logic controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (2) ![In: Knowledge-Based Intelligent Electronic Systems, 2nd International Conference, KES 1998, Adelaide, South Australia, 21-23 April 1998, Proceedings, Part II, pp. 155-164, 1998, IEEE. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
4 | Holger Karl, Matthias Werner 0001, Lars Küttner |
An Experimental Investigation of Message Latencies in the Totem Protocol in the Presence of Faults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 24th EUROMICRO '98 Conference, Engineering Systems and Software for the Next Decade, 25-27 August 1998, Vesteras, Sweden, pp. 10468-10475, 1998, IEEE Computer Society, 0-8186-8646-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
4 | Robert Bernecky |
EGREGION: a branch coverage tool for APL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APL ![In: Proceedings of APL98 Conference on Array Processing Languages, APL 1998, Rome, Italy, August 27-31, 1998, pp. 3-14, 1998, ACM, 1-58113-181-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
4 | Gerald Ehmayer, Gerti Kappel, Siegfried Reich |
Connecting Databases to the Web: A Taxonomy of Gateways. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 8th International Conference, DEXA '97, Toulouse, France, September 1-5, 1997, Proceedings, pp. 1-15, 1997, Springer, 3-540-63478-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
4 | Ben Paechter, R. C. Rankin, Andrew Cumming |
Improving a Lecture Timetabling System for University-Wide Use. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PATAT ![In: Practice and Theory of Automated Timetabling II, Second International Conference, PATAT'97, Toronto, Canada, August 20-22, 1997, Selected Papers, pp. 156-168, 1997, Springer, 3-540-64979-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
4 | Rohit Chandra, Ding-Kai Chen, Robert Cox, Dror E. Maydan, Nenad Nedeljkovic, Jennifer-Ann M. Anderson |
Data Distribution Support on Distributed Shared Memory Multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation (PLDI), Las Vegas, Nevada, USA, June 15-18, 1997, pp. 334-345, 1997, ACM, 0-89791-907-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
4 | Moni Naor, Benny Pinkas |
Visual Authentication and Identification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO '97, 17th Annual International Cryptology Conference, Santa Barbara, California, USA, August 17-21, 1997, Proceedings, pp. 322-336, 1997, Springer, 3-540-63384-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Authentication, identification, visual cryptography |
4 | Ronen Basri, Daphna Weinshall |
Distance Metric Between 3D Models and 2D Images for Recognition and Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 18(4), pp. 465-470, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Affine deformations, 3D-to-2D metric, exterior orientation calibration, object recognition |
4 | Frederic Desprez, Pierre Ramet, Jean Roman |
Optimal Grain Size Computation for Pipelined Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par, Vol. I ![In: Euro-Par '96 Parallel Processing, Second International Euro-Par Conference, Lyon, France, August 26-29, 1996, Proceedings, Volume I, pp. 165-172, 1996, Springer, 3-540-61626-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
pipelined algorithms, optimal packet size computation, Communications overlap |
4 | Darrin West, Kiran S. Panesar |
Automatic Incremental State Saving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Parallel and Distributed Simulation ![In: Proceedings of the Tenth Workshop on Parallel and Distributed Simulation, PADS '96, Philadelphia, PA, USA, May 22-24, 1996, pp. 78-85, 1996, IEEE Computer Society, 0-8186-7539-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Incremental State Saving, Checkpointing, Time Warp, Parallel Discrete Event Simulation, State Saving |
4 | Steven Kelly 0001, Kalle Lyytinen, Matti Rossi |
MetaEdit+: A Fully Configurable Multi-User and Multi-Tool CASE and CAME Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advances Information System Engineering, 8th International Conference, CAiSE'96, Heraklion, Crete, Greece, May 20-24, 1996, Proceedings, pp. 1-21, 1996, Springer, 3-540-61292-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
CAME, conceptual modeling, metamodeling, method, object oriented modeling, repository, CASE, tool integration, software engineering environments, tool interoperability |
4 | John Krumm |
Eigenfeatures for planar pose measurement of partially occluded objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 1996 Conference on Computer Vision and Pattern Recognition (CVPR '96), June 18-20, 1996 San Francisco, CA, USA, pp. 55-60, 1996, IEEE Computer Society, 0-8186-7258-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
planar pose measurement, partially occluded objects, automated assembly, parametric eigenspace, training images, median statistic, object recognition, object recognition, robustness, inspection, assembling, real world applications, clutter, clutter, eigenvalues and eigenfunctions, automatic optical inspection, eigenfeatures |
4 | Chien-Min Wang, Y. S. Kuo |
Class Exerciser: A Basic CASE Tool for Object-Oriented Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 2nd Asia-Pacific Software Engineering Conference (APSEC '95), December 6-9, 1995, Brisbane, Queensland, Australia, pp. 108-116, 1995, IEEE Computer Society, 0-8186-7171-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Object-Oreiented Programming, Testing and Maintenance, Case Tools, Program Generation, Class Libraries |
4 | Andrew U. Frank, Werner Kuhn |
Specifying Open GIS with Functional Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSD ![In: Advances in Spatial Databases, 4th International Symposium, SSD'95, Portland, Maine, USA, August 6-9, 1995, Proceedings, pp. 184-195, 1995, Springer, 3-540-60159-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
4 | Alan G. Yoder, David L. Cohn |
Architectural Issues in Spreadsheet Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming Languages and System Architectures ![In: Programming Languages and System Architectures, International Conference, Zurich, Switzerland, March 2-4, 1994, Proceedings, pp. 245-258, 1994, Springer, 3-540-57840-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
4 | Ravi Mirchandaney, Seema Hiranandani, Ajay Sethi |
Improving the performance of DSM systems via compiler involvement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings Supercomputing '94, Washington, DC, USA, November 14-18, 1994, pp. 763-772, 1994, IEEE Computer Society, 0-8186-6605-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
4 | Clarence A. Ellis, Gary J. Nutt |
Modeling and Enactment of Workflow Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1993, 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993, Proceedings, pp. 1-16, 1993, Springer, 3-540-56863-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
4 | Joseph Abate, Ward Whitt |
The Fourier-series method for inverting transforms of probability distributions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 10(1-2), pp. 5-87, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
Computational probability, numerical inversion of transforms, calculating tail probabilities, Poisson summation formula, the Fourier-series method, the Gaver-Stehfest method, Fourier transforms, numerical integration, generating functions, Fourier series, characteristic functions, Laplace transforms, cumulative distribution functions |
4 | Hermann Härtig, Winfried E. Kühnhauser, Wolfgang Lux, Oliver C. Kowalski, Hermann Streich, A. Bäcker |
Models and paradigms for distributed systems structuring: the BirliX approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS European Workshop ![In: Proceedings of the 5th ACM SIGOPS European Workshop: Models and Paradigms for Distributed Systems Structuring, 1992, Mont Saint-Michel, France, September 21-23, 1992, 1992, ACM. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
4 | Albert John Camilleri, Paola Inverardi, Monica Nesi |
Combining Interaction and Automation in Process Algebra Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.2 ![In: TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Developmemnt (CCPSD), pp. 283-296, 1991, Springer, 3-540-53981-6. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
4 | Hiromitsu Shirakawa, Hitoshi Ogawa, Masayuki Fujiwara |
A Dedicated Small Computer for Artificial Intelligence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSMALL/PC Symposium ![In: Proceedings of the 1990 ACM SIGSMALL/PC Symposium on Small Systems, March 28-30, 1990. Crystal City, VA, USA, pp. 191-198, 1990, ACM, 0-89791-347-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Prolog, Common Lisp |
4 | Philip T. Cox |
Using Object-Orientation to Implement Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSMALL/PC Symposium ![In: Proceedings of the 1990 ACM SIGSMALL/PC Symposium on Small Systems, March 28-30, 1990. Crystal City, VA, USA, pp. 106-114, 1990, ACM, 0-89791-347-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
PROGRAPH, Prolog |
4 | Karen Shannon, Richard T. Snodgrass |
Mapping the Interface Description Language Type Model into C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(11), pp. 1333-1346, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
Interface Description Language type model, C data structures, macro definitions, type safe, data structures, mapping, efficiency, programming environment, programming environments, high level languages, C language, ease of use, IDL, preprocessor, cooperating processes, run-time efficient |
4 | R. T. DeWitt |
Expert systems for user service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGUCCS ![In: Proceedings of the 17th Annual ACM SIGUCCS Conference on User Services, Bethesda, Maryland, USA, 1989, pp. 243-246, 1989, ACM, 0-89791-330-2. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
4 | Stephen Deerhake |
Application-Sol Interaction: An APL2 Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APL ![In: Proceedings of the international conference on APL, APL 1988, Sydney, Australia, February 1-5, 1988., pp. 83-95, 1988, ACM, 0-89791-253-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
APL, SQL |
4 | Richard I. Haller, George M. Koval |
Captive...a new tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGUCCS ![In: Proceedings of the 15th Annual ACM SIGUCCS Conference on User Services, Kansas City, Missouri, USA, 1987, pp. 237-245, 1987, ACM, 0-89791-241-1. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
|
|