|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4109 occurrences of 2038 keywords
|
|
|
Results
Found 5371 publication records. Showing 5371 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Adha Imam Cahyadi, D. Isarakorn, T. Benjanarasuth, J. Ngamwiwit, N. Komine |
Application of coefficient diagram method for rotational inverted pendulum control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICARCV ![In: 8th International Conference on Control, Automation, Robotics and Vision, ICARCV 2004, Kunming, China, 6-9 December 2004, Proceedings, pp. 1769-1773, 2004, IEEE, 0-7803-8653-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Joseph S. Szakas, Christian Trefftz |
Two Parallel Computational Geometry Algorithms: A Discrete Voronoi Diagram with Disappearing Seeds and Convex Hull. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), CD-ROM / Abstracts Proceedings, 26-30 April 2004, Santa Fe, New Mexico, USA, 2004, IEEE Computer Society, 0-7695-2132-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Ruinan Gong, Qing Li 0010, Xin Liu, Qing Wang |
Modelling for business process design: a methodology based on causal loop diagram. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC (7) ![In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004, pp. 6149-6154, 2004, IEEE, 0-7803-8566-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Mitsuhisa Taguchi, Kornkamol Jamroendararasame, Kazuhiro Asami, Takehiro Tokuda |
Comparison of Two Approaches for Automatic Construction of Web Applications: Annotation Approach and Diagram Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWE ![In: Web Engineering - 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004, Proceedings, pp. 230-243, 2004, Springer, 3-540-22511-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Wan-Seob Byeon, Bo Wang, Sa-Kyun Jeong, Ok-Bae Chang |
Extension and Implementation of Iconic Stereotype for GNSS Application in the UML Class Diagram. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CW ![In: 3rd International Conference on Cyberworlds (CW 2004), 18-20 November 2004, Tokyo, Japan, pp. 162-169, 2004, IEEE Computer Society, 0-7695-2140-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
GNSS, Iconic stereotype, Unified Modeling Language(UML), UML extension |
17 | Menelaos I. Karavelas, Ioannis Z. Emiris |
Root comparison techniques applied to computing the additively weighted Voronoi diagram. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Fourteenth Annual ACM-SIAM Symposium on Discrete Algorithms, January 12-14, 2003, Baltimore, Maryland, USA., pp. 320-329, 2003, ACM/SIAM, 0-89871-538-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
Algebraic Predicates, Computational Geometry, Voronoi Diagrams, Symbolic Computation |
17 | Ivan Stojmenovic, Anand Prakash Ruhil, D. K. Lobiyal 0001 |
Voronoi diagram and convex hull based geocasting and routing in wireless networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: Proceedings of the Eighth IEEE Symposium on Computers and Communications (ISCC 2003), 30 June - 3 July 2003, Kiris-Kemer, Turkey, pp. 51-56, 2003, IEEE Computer Society, 0-7695-1961-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Mehmet Sahinoglu |
An Exact Reliability Block Diagram Calculation Tool to Design Very Complex Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERA ![In: Software Engineering Research and Applications, First International Conference, SERA 2003, San Francisco, CA, USA, June 25-27, 2003, Selected Revised Papers, pp. 5-6, 2003, Springer, 3-540-21975-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Imma Boada, Narcís Coll, Joan Antoni Sellarès |
Dynamically Maintaining a Hierarchical Planar Voronoi Diagram Approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (3) ![In: Computational Science and Its Applications - ICCSA 2003, International Conference, Montreal, Canada, May 18-21, 2003, Proceedings, Part III, pp. 836-846, 2003, Springer, 3-540-40156-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Takeshi Kanda, Kokichi Sugihara |
Two-Dimensional Range Search Based on the Voronoi Diagram. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (3) ![In: Computational Science and Its Applications - ICCSA 2003, International Conference, Montreal, Canada, May 18-21, 2003, Proceedings, Part III, pp. 776-786, 2003, Springer, 3-540-40156-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Lawrence S. Baum, John H. Boose, Molly L. Boose, Carey Chaplin, Ron Provine |
Extracting System-Level Understanding from Wiring Diagram Manuals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GREC ![In: Graphics Recognition, Recent Advances and Perspectives, 5th InternationalWorkshop, GREC 2003, Barcelona, Spain, July 30-31, 2003, Revised Selected Papers, pp. 100-108, 2003, Springer, 3-540-22478-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Alexander Gribov, Eugene Bodansky |
Vectorization with the Voronoi L-diagram. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: 7th International Conference on Document Analysis and Recognition (ICDAR 2003), 2-Volume Set, 3-6 August 2003, Edinburgh, Scotland, UK, pp. 1015-1019, 2003, IEEE Computer Society, 0-7695-1960-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
dense skeleton, L-veinerization, Vectorization, medial axis, distance transformation, centerline |
17 | John Howse, Fernando Molina, Sun-Joo Shin, John Taylor 0001 |
On Diagram Tokens and Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference, Second International Conference, Diagrams 2002, Callaway Gardens, GA, USA, April 18-20, 2002, Proceedings, pp. 146-160, 2002, Springer, 3-540-43561-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Benoit Baudry, Yves Le Traon, Gerson Sunyé |
Testability Analysis of a UML Class Diagram. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE METRICS ![In: 8th IEEE International Software Metrics Symposium (METRICS 2002), 4-7 June 2002, Ottawa, Canada, pp. 54-, 2002, IEEE Computer Society, 0-7695-1339-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Tamal K. Dey, Wulue Zhao |
Approximating the Medial Axis from the Voronoi Diagram with a Convergence Guarantee. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Algorithms - ESA 2002, 10th Annual European Symposium, Rome, Italy, September 17-21, 2002, Proceedings, pp. 387-398, 2002, Springer, 3-540-44180-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Olga Fengler, Wolfgang Fengler 0001, Vesselka Duridanova |
Extending the Modeling Efficiency of the UML Activity Diagram for the Design of Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IICS ![In: Innovative Internet Computing Systems, Second International Workshop, IICS 2002, Kühlungsborn, Germany, June 20-22, 2002, Proceedings, pp. 51-62, 2002, Springer, 3-540-43790-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Luca Lucchese, Debargha Mukherjee, Sanjit K. Mitra |
A new algorithm based on saturation and desaturation in the xy chromaticity diagram for enhancement and re-rendition of color images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (2) ![In: Proceedings of the 2001 International Conference on Image Processing, ICIP 2001, Thessaloniki, Greece, October 7-10, 2001, pp. 1077-1080, 2001, IEEE, 0-7803-6725-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Ricardo Andrade Cava, Carla Maria Dal Sasso Freitas |
Node-Edge Diagram Layout for Displaying Hierarchies. ![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. 373, 2001, IEEE Computer Society, 0-7695-1330-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Federico Bizzarri, Marco Storace |
2-D bifurcation diagram of an oscillator based on PWL hysteresis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (3) ![In: Proceedings of the 2001 International Symposium on Circuits and Systems, ISCAS 2001, Sydney, Australia, May 6-9, 2001, pp. 807-810, 2001, IEEE, 0-7803-6685-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Chung-Hung Lai, Tien-Fu Chen |
Compressing inverted files in scalable information systems by binary decision diagram encoding . ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings of the 2001 ACM/IEEE conference on Supercomputing, Denver, CO, USA, November 10-16, 2001, CD-ROM, pp. 60, 2001, ACM, 1-58113-293-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
scalable information systems, information retrieval, BDD, inverted file |
17 | Chiuyuan Chen, Frank K. Hwang |
The Minimum Distance Diagram of Double-Loop Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 49(9), pp. 977-979, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
L-shape, sieve method, diameter, Double-loop network |
17 | Farn Wang |
Region Encoding Diagram for Fully Symbolic Verification of Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 24th International Computer Software and Applications Conference (COMPSAC 2000), 25-28 October 2000, Taipei, Taiwan, pp. 509-515, 2000, IEEE Computer Society, 0-7695-0792-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Chhaya Mudgal, Julita Vassileva |
An Influence Diagram Model for Multi-Agent Negotiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMAS ![In: 4th International Conference on Multi-Agent Systems, ICMAS 2000, Boston, MA, USA, July 10-12, 2000, pp. 451-452, 2000, IEEE Computer Society, 0-7695-0625-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Stan Rifkin |
When the project absolutely must get done: marrying the organization chart with the precedence diagram. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 22nd International Conference on on Software Engineering, ICSE 2000, Limerick Ireland, June 4-11, 2000., pp. 588-596, 2000, ACM, 1-58113-206-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
micro-estimation, projection simulation, project management |
17 | Jaan Raik, Raimund Ubar |
Sequential Circuit Test Generation Using Decision Diagram Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 1999 Design, Automation and Test in Europe (DATE '99), 9-12 March 1999, Munich, Germany, pp. 736-740, 1999, IEEE Computer Society / ACM, 0-7695-0078-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Karsten Strehl, Lothar Thiele |
Interval Diagram Techniques for Symbolic Model Checking of Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 1999 Design, Automation and Test in Europe (DATE '99), 9-12 March 1999, Munich, Germany, pp. 756-757, 1999, IEEE Computer Society / ACM, 0-7695-0078-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | E. K. Ogoubi, Eduard Cerny |
Synthesis of checker EFSMs from timing diagram specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (1) ![In: Proceedings of the 1999 International Symposium on Circuits and Systems, ISCAS 1999, Orlando, Florida, USA, May 30 - June 2, 1999, pp. 13-18, 1999, IEEE, 0-7803-5471-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Heiko Lehmann |
Microscopic Randomness and "Fundamental Diagram" in the Traffic Flow Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST'99, Vienna, Austria, September 29 - October 2, 1999, Proceedings, pp. 343-356, 1999, Springer, 3-540-67822-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | James H. Cross II, T. Dean Hendrix, Saeed Maghsoodloo |
The Control Structure Diagram: An Overview and Initial Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Empir. Softw. Eng. ![In: Empir. Softw. Eng. 3(2), pp. 131-158, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Ada, reverse engineering, software visualization, empirical evaluation, graphical representation |
17 | Xiao-Shan Gao |
Automated Geometry Diagram Construction and Engineering Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings, pp. 232-257, 1998, Springer, 3-540-66672-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Mohamadou Diallo, Afonso Ferreira, Andrew Rau-Chaplin |
Communication-Efficient Deterministic Parallel Algorithms for Planar Point Location and 2d Voronoi Diagram. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 98, 15th Annual Symposium on Theoretical Aspects of Computer Science, Paris, France, February 25-27, 1998, Proceedings, pp. 399-409, 1998, Springer, 3-540-64230-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Jian Chen |
The Hierarchical Dependence Diagram: Improving Design for Reuse in Object-Oriented Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Software Engineering Conference ![In: 1996 Australian Software Engineering Conference (ASWEC '96), July 14-18, 1996, Melbourne, Australia, pp. 155-166, 1996, IEEE Computer Society, 0-8186-7635-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Hierarchical dependence, Independence principle, Design for reuse, Reusability, Object-oriented software |
17 | Lars Arge |
The I/O - Complexity of Ordered Binary - Decision Diagram Manipulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, 6th International Symposium, ISAAC '95, Cairns, Australia, December 4-6, 1995, Proceedings, pp. 82-91, 1995, Springer, 3-540-60573-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Evanthia Papadopoulou, D. T. Lee |
Efficient Computation of the Geodesic Voronoi Diagram of Points in a Simple Polygon (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Algorithms - ESA '95, Third Annual European Symposium, Corfu, Greece, September 25-27, 1995, Proceedings, pp. 238-251, 1995, Springer, 3-540-60313-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Cao An Wang, Francis Y. L. Chin |
Finding the Constrained Delaunay Triangulation and Constrainted Voronoi Diagram of a Simple Polygon in Linear-Time (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Algorithms - ESA '95, Third Annual European Symposium, Corfu, Greece, September 25-27, 1995, Proceedings, pp. 280-294, 1995, Springer, 3-540-60313-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Gene Golovchinsky, Klaus Reichenberger, Thomas Kamps |
Subverting Structure: Data-Driven Diagram Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Visualization ![In: 6th IEEE Visualization Conference, IEEE Vis 1995, Atlanta, GA, USA, October 29 - November 3, 1995, Proceedings, pp. 217-223, 1995, IEEE Computer Society Press, 0-8186-7187-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Seiichiro Tani, Hiroshi Imai |
A Reordering Operation for an Ordered Binary Decision Diagram and an Extended Framework for Combinatorics of Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, 5th International Symposium, ISAAC '94, Beijing, P. R. China, August 25-27, 1994, Proceedings, pp. 575-583, 1994, Springer, 3-540-58325-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Piotr Berman, Andrzej Lingas |
A Nearly Optimal Parallel Algorithm for the Voronoi Diagram of a Convex Polygon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: Algorithm Theory - SWAT '94, 4th Scandinavian Workshop on Algorithm Theory, Aarhus, Denmark, July 6-8, 1994, Proceedings, pp. 73-82, 1994, Springer, 3-540-58218-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Srinivas Devadas |
Comparing two-level and ordered binary decision diagram representations of logic functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 12(5), pp. 722-723, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Saimond Ip, Tony Holden |
A Knowledge Based Technique for the Process Modelling of Information Systems: The Object Life Cycle Diagram. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, CAiSE'92, Manchester, UK, May 12-15, 1992, Proceedings, pp. 164-186, 1992, Springer, 3-540-55481-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
17 | C. S. Jeong |
An improved parallel algorithm for construction Voronoi diagram on a mesh-connected computer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPDP ![In: Proceedings of the Second IEEE Symposium on Parallel and Distributed Processing, SPDP 1990, Dallas, Texas, USA, December 9-13, 1990., pp. 642-645, 1990, IEEE Computer Society, 0-8186-2087-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Nagisa Ishiura, Yutaka Deguchi, Shuzo Yajima |
Coded Time-Symbolic Simulation Using Shared Binary Decision Diagram. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 27th ACM/IEEE Design Automation Conference. Orlando, Florida, USA, June 24-28, 1990., pp. 130-135, 1990, IEEE Computer Society Press, 0-89791-363-9. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Wolfgang Borutzky |
Combining Behavioral Block Diagram Modelling with Circuit Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST'89, A Selection of Papers from the International Workshop EUROCAST'89, Las Palmas, Spain, February 26 - March 4, 1989, Proceedings, pp. 399-410, 1989, Springer, 3-540-52215-8. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
mixed behavioral, circuit-level modelling, electrical macromodels, continuous system simulation, electronic control systems, circuit simulation, functional simulation, block diagrams, signal processing systems |
17 | Boris Aronov |
On the Geodesic Voronoi Diagram of Point Sites in a Simple Polygon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the Third Annual Symposium on Computational Geometry, Waterloo, Ontario, Canada, June 8-10, 1987, pp. 39-49, 1987, ACM, 0-89791-231-4. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
17 | David B. Lomet |
A Formalization of Transition Diagram Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 20(2), pp. 235-257, 1973. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
17 | Liang Zhao 0022, Xiaojian Liu, Zhiming Liu 0001, Zongyan Qiu |
Graph transformations for object-oriented refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 21(1-2), pp. 103-131, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Class graph, Structure refinement, Object-orientation, Graph transformation, Normal form, Object graph |
17 | Andrey Berlizev, Nicolas Guelfi |
Fault Tolerance Requirements Analysis Using Deviations in the CORRECT Development Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Methods, Models and Tools for Fault Tolerance ![In: Methods, Models and Tools for Fault Tolerance, pp. 275-296, 2009, Springer, 978-3-642-00866-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
fault-tolerant systems development, Semi-formal methodology, UML, MDE, integrated approaches, deviations |
17 | Jinhui Xu 0001, Lei Xu 0006, Evanthia Papadopoulou |
Computing the Map of Geometric Minimal Cuts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings, pp. 244-254, 2009, Springer, 978-3-642-10630-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Ying Zhu 0001, Xiaoyuan Suo, G. Scott Owen |
A Visual Data Exploration Framework for Complex Problem Solving Based on Extended Cognitive Fit Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVC (2) ![In: Advances in Visual Computing, 5th International Symposium, ISVC 2009, Las Vegas, NV, USA, November 30 - December 2, 2009, Proceedings, Part II, pp. 869-878, 2009, Springer, 978-3-642-10519-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Cognitive Fit, information visualization, task |
17 | Tevfik Bultan, Chris Ferguson, Xiang Fu 0001 |
A Tool for Choreography Analysis Using Collaboration Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: IEEE International Conference on Web Services, ICWS 2009, Los Angeles, CA, USA, 6-10 July 2009, pp. 856-863, 2009, IEEE Computer Society, 978-0-7695-3709-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Daniel Borchmann, Bernhard Ganter |
Concept Lattice Orbifolds - First Steps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFCA ![In: Formal Concept Analysis, 7th International Conference, ICFCA 2009, Darmstadt, Germany, May 21-24, 2009, Proceedings, pp. 22-37, 2009, Springer, 978-3-642-01814-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Andreas Stoffel, Ernesto Tapia, Raúl Rojas 0001 |
Recognition of On-Line Handwritten Commutative Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDAR ![In: 10th International Conference on Document Analysis and Recognition, ICDAR 2009, Barcelona, Spain, 26-29 July 2009, pp. 1211-1215, 2009, IEEE Computer Society, 978-0-7695-3725-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Aidan J. Delaney, John Taylor 0001, Simon J. Thompson |
Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference, 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings, pp. 172-187, 2008, Springer, 978-3-540-87729-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Lijun Shan, Hong Zhu 0002 |
A Formal Descriptive Semantics of UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, pp. 375-396, 2008, Springer, 978-3-540-88193-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Zaineb Ben Fredj, David A. Duce |
GraSSML: accessible smart schematic diagrams for all. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Univers. Access Inf. Soc. ![In: Univers. Access Inf. Soc. 6(3), pp. 233-247, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Smart diagrams, Semantic Web, Semantics, Accessibility, SVG |
17 | David Maxwell Chickering, Tim Paek |
Personalizing influence diagrams: applying online learning strategies to dialogue management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
User Model. User Adapt. Interact. ![In: User Model. User Adapt. Interact. 17(1-2), pp. 71-91, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
User-model adaptation, Personalization, Speech recognition, Planning, Influence diagrams, Dialogue management |
17 | David Cohen-Steiner, Herbert Edelsbrunner, John Harer |
Stability of Persistence Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 37(1), pp. 103-120, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Jeremy Carroll, Frank Ruskey, Mark Weston |
Which n-Venn Diagrams Can Be Drawn with Convex k-Gons? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 37(4), pp. 619-628, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Yasufumi Shinyashiki, Toshiro Mise, Masaaki Hashimoto, Keiichi Katamine, Naoyasu Ubayashi, Takako Nakatani |
A Suggestion for Analysis of Unexpected Obstacles in Embedded System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (8) ![In: Human Interface and the Management of Information. Methods, Techniques and Tools in Information Design, Symposium on Human Interface 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings Part I, pp. 755-768, 2007, Springer, 978-3-540-73344-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Sonja Maier, Mark Minas |
A Generic Layout Algorithm for Meta-model Based Editors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGTIVE ![In: Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, pp. 66-81, 2007, Springer, 978-3-540-89019-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Sapna P. G., Hrushikesha Mohanty |
Ensuring Consistency in Relational Repository of UML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIT ![In: 10th International Conference on Information Technology, ICIT 2007, Roukela, India, 17-20 December 2007, pp. 217-222, 2007, IEEE Computer Society, 0-7695-3068-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Anelia Popandreeva |
Object-oriented analysis and design using UML of a test "Rotation with sample". ![Search on Bibsonomy](Pics/bibsonomy.png) |
CompSysTech ![In: Proceedings of the 2007 International Conference on Computer Systems and Technologies, CompSysTech 2007, Rousse, Bulgaria, June 14-15, 2007, pp. 123, 2007, ACM, 978-954-9641-50-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
UML, test, neuropsychology, OOD, OOA |
17 | Pete G. Thomas, Neil Smith, Kevin G. Waugh |
Computer assisted assessment of diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 12th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2007, Dundee, Scotland, UK, June 25-27, 2007, pp. 68-72, 2007, ACM, 978-1-59593-610-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
feedback, diagrams, automatic marking |
17 | Hui Du, Renchu Gan, Kecheng Liu, Zhenji Zhang, Darren Booy |
Method for Constructing Performance Annotation Model Based on Architecture Design of Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONFENIS (2) ![In: Research and Practical Issues of Enterprise Information Systems II, Volume 2, IFIP TC 8 WG 8.9 International Conference on Research and Practical Issues of Enterprise Information Systems (CONFENIS 2007), October 14-16, 2007, Beijing, China, pp. 1179-1189, 2007, Springer, 978-0-387-76311-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Annotation model, Performance, UML, Information system, Architecture design |
17 | Hideharu Kojima, Tomoyuki Ohta, Yoshiaki Kakuda |
State Transition Model for Test Sequence Generation of MANET Clustering Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 27th International Conference on Distributed Computing Systems Workshops (ICDCS 2007 Workshops), June 25-29, 2007, Toronto, Ontario, Canada, pp. 55, 2007, IEEE Computer Society, 0-7695-2881-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Haim Kaplan, Micha Sharir |
Randomized incremental constructions of three-dimensional convex hulls and planar voronoi diagrams, and approximate range counting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Seventeenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2006, Miami, Florida, USA, January 22-26, 2006, pp. 484-493, 2006, ACM Press, 0-89871-605-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Honghua Cao, Shi Ying, Dehui Du |
Towards Model-based Verification of BPEL with Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: Sixth International Conference on Computer and Information Technology (CIT 2006), 20-22 September 2006, Seoul, Korea, pp. 190, 2006, IEEE Computer Society, 0-7695-2687-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Zaineb Ben Fredj, David A. Duce |
GraSSML: accessible smart schematic diagrams for all. ![Search on Bibsonomy](Pics/bibsonomy.png) |
W4A ![In: Proceedings of the 2006 International Cross-Disciplinary Workshop on Web Accessibility (W4A 2006): Building the mobile web: rediscovering accessibility? Edinburgh, UK, May 22, 2006, pp. 57-60, 2006, ACM, 1-59593-281-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
smart diagrams, XML, semantic web, semantics, accessibility, OWL, RDF, structure, SVG, SPARQL |
17 | Anna Queralt, Ernest Teniente |
Reasoning on UML Class Diagrams with OCL Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2006, 25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006, Proceedings, pp. 497-512, 2006, Springer, 3-540-47224-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Tim Hannan, Alex Pogel |
Spring-Based Lattice Drawing Highlighting Conceptual Similarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFCA ![In: Formal Concept Analysis, 4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006, Proceedings, pp. 264-279, 2006, Springer, 3-540-32203-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Isaac Agudo, Javier López 0001, José A. Montenegro |
Graphical Representation of Authorization Policies for Weighted Credentials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACISP ![In: Information Security and Privacy, 11th Australasian Conference, ACISP 2006, Melbourne, Australia, July 3-5, 2006, Proceedings, pp. 383-394, 2006, Springer, 3-540-35458-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Willy Govaerts, Bart Sautois |
The Onset and Extinction of Neural Spiking: A Numerical Bifurcation Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Neurosci. ![In: J. Comput. Neurosci. 18(3), pp. 265-274, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Morris-Lecar, spiking, classification, neural models |
17 | Jürgen Börstler |
Improving CRC-card role-play with role-play diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA, pp. 356-364, 2005, ACM, 1-59593-193-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
scenario role-play, introductory programming |
17 | Tetsuro Katayama, Yusuke Yabuya |
Proposal of a Method to Support Testing for Java Programs with UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 15-17 December 2005, Taipei, Taiwan, pp. 533-540, 2005, IEEE Computer Society, 0-7695-2465-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
test items, Java, Unified Modeling Language (UML), software testing, functional testing |
17 | Eun-Hye Choi, Hiroshi Watanabe |
Model Checking Class Specifications forWeb Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 15-17 December 2005, Taipei, Taiwan, pp. 67-78, 2005, IEEE Computer Society, 0-7695-2465-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Gill Barequet, Yuval Scharf, Matthew T. Dickerson |
Covering points with a polygon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 21st ACM Symposium on Computational Geometry, Pisa, Italy, June 6-8, 2005, pp. 376-377, 2005, ACM, 1-58113-991-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
covering points |
17 | David Cohen-Steiner, Herbert Edelsbrunner, John Harer |
Stability of persistence diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 21st ACM Symposium on Computational Geometry, Pisa, Italy, June 6-8, 2005, pp. 263-271, 2005, ACM, 1-58113-991-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
stability, persistence, continuous functions, homology groups, combinatorial topology |
17 | Thomas Raimbault, David Genest, Stéphane Loiseau |
A New Method to Interrogate and Check UML Class Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Common Semantics for Sharing Knowledge, 13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005, Proceedings, pp. 353-366, 2005, Springer, 3-540-27783-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Michael Wybrow, Kim Marriott, Peter J. Stuckey |
Incremental Connector Routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GD ![In: Graph Drawing, 13th International Symposium, GD 2005, Limerick, Ireland, September 12-14, 2005, Revised Papers, pp. 446-457, 2005, Springer, 3-540-31425-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Andrew Fish, Judith Masthoff |
An Experimental Study into the Default Reading of Constraint Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL/HCC ![In: 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 21-24 September 2005, Dallas, TX, USA, pp. 287-289, 2005, IEEE Computer Society, 0-7695-2443-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Dae-Kyoo Kim |
Evaluating Conformance of UML Models to Design Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 16-20 June 2005, Shanghai, China, pp. 30-31, 2005, IEEE Computer Society, 0-7695-2284-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
pattern specification, pattern tools, UML, Design pattern, object-oriented model |
17 | Manuel Gómez, Concha Bielza |
Node deletion sequences in influence diagrams using genetic algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stat. Comput. ![In: Stat. Comput. 14(3), pp. 181-198, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
node deletion sequence, genetic algorithms, statistical analysis, NP-hard problems, influence diagrams, decision-making under uncertainty |
17 | Jean Flower, John Howse, John Taylor 0001 |
Nesting in Euler Diagrams: syntax, semantics and construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 3(1), pp. 55-67, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Nested Euler diagrams, Formal methods, Diagrammatic reasoning, Visual formalisms, Euler diagrams |
17 | Michael Diehl, Yacov Y. Haimes |
Influence diagrams with multiple objectives and tradeoff analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 34(3), pp. 293-304, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Richard D. Wesel |
Reduced-state representations for trellis codes using constellation symmetry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Commun. ![In: IEEE Trans. Commun. 52(8), pp. 1302-1310, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | B. Chandrasekaran 0001, Unmesh Kurup, Bonny Banerjee, John R. Josephson, Robert Winkler |
An Architecture for Problem Solving with Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference, Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings, pp. 151-165, 2004, Springer, 3-540-21268-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Kevin Burns |
Bar-Gain Boxes: An Informative Illustration of the Pairing Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference, Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings, pp. 379-381, 2004, Springer, 3-540-21268-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Gem Stapleton, John Howse, John Taylor 0001, Simon J. Thompson |
What Can Spider Diagrams Say? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference, Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings, pp. 112-127, 2004, Springer, 3-540-21268-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Pourang Irani |
Notations for Software Engineering Class Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference, Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings, pp. 441-445, 2004, Springer, 3-540-21268-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Paul Mutton, Peter Rodgers 0001, Jean Flower |
Drawing Graphs in Euler Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference, Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings, pp. 66-81, 2004, Springer, 3-540-21268-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Pourang Irani, Colin Ware |
The Effect of a Perceptual Syntax on the Learnability of Novel Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: 8th International Conference on Information Visualisation, IV 2004, 14-16 July 2004, London, UK, pp. 308-314, 2004, IEEE Computer Society, 0-7695-2177-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
software engineering visualization, geon theory, semantic learning, software engineering, object recognition, perception, Pedagogy, UML diagrams |
17 | Marco Torchiano |
Empirical Assessment of UML Static Object Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWPC ![In: 12th International Workshop on Program Comprehension (IWPC 2004), 24-26 June 2004, Bari, Italy, pp. 226-230, 2004, IEEE Computer Society, 0-7695-2149-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Margaret Hilsbos, Il-Yeol Song |
Use of Tabular Analysis Method to Construct UML Sequence Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2004, 23rd International Conference on Conceptual Modeling, Shanghai, China, November 2004, Proceedings, pp. 740-752, 2004, Springer, 3-540-23723-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Thomas Arts, Koen Claessen, Hans Svensson |
Semi-formal Development of a Fault-Tolerant Leader Election Protocol in Erlang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FATES ![In: Formal Approaches to Software Testing, 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers, pp. 140-154, 2004, Springer, 3-540-25109-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Yonghua Zhou, Yuliu Chen, Huapu Lu |
UML-based systems integration modeling technique for the design and development of intelligent transportation management system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC (7) ![In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004, pp. 6061-6066, 2004, IEEE, 0-7803-8566-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | David A. Wagner 0001 |
Towards a Unifying View of Block Cipher Cryptanalysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSE ![In: Fast Software Encryption, 11th International Workshop, FSE 2004, Delhi, India, February 5-7, 2004, Revised Papers, pp. 16-33, 2004, Springer, 3-540-22171-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Sehl Mellouli, Guy W. Mineau, Bernard Moulin |
Situation Event Logic for Early Validation of Multi-Agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI ![In: Advances in Artificial Intelligence, 16th Conference of the Canadian Society for Computational Studies of Intelligence, AI 2003, Halifax, Canada, June 11-13, 2003, Proceedings, pp. 370-382, 2003, Springer, 3-540-40300-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | J. B. Wells, Detlef Plump, Fairouz Kamareddine |
Diagrams for Meaning Preservation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings, pp. 88-106, 2003, Springer, 3-540-40254-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Alon Efrat, Leonidas J. Guibas, Sariel Har-Peled, Joseph S. B. Mitchell, T. M. Murali 0001 |
New Similarity Measures between Polylines with Applications to Morphing and Polygon Sweeping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 28(4), pp. 535-569, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | B. Chandrasekaran 0001 |
What Does It Mean for a Computer to Do Diagrammatic Reasoning? A Functional Characterization of Diagrammatic Reasoning and Its Implications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference, Second International Conference, Diagrams 2002, Callaway Gardens, GA, USA, April 18-20, 2002, Proceedings, pp. 1-2, 2002, Springer, 3-540-43561-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #600 of 5371 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|