|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 94 occurrences of 83 keywords
|
|
|
Results
Found 76 publication records. Showing 76 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
59 | Xu Wang, Tao Huang 0001, Jun Qian |
Group Model for Decentralized Federation of Object Creation Service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (27) ![In: TOOLS 1998: 27th International Conference on Technology of Object-Oriented Languages and Systems, 22-25 September 1998, Beijing, China, pp. 127-, 1998, IEEE Computer Society, 0-8186-9096-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
lifecycle service, CORBA, group communication, Distributed object, object creation |
30 | Jan Van den Bussche, Dirk Van Gucht, Marc Andries, Marc Gyssens |
On the completeness of object-creating database transformation languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 44(2), pp. 272-319, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
computational completeness, constructive transformation, while loop, object-oriented database, first-order logic, object creation |
30 | Yasuyuki Kato, Yasuo Kataoka, Yoshihiro Nakamura, Yutaka Mitsunaga |
Data object creation and display techniques for the huge database of subscriber cable networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COOCS ![In: Proceedings of the Conference on Organizational Computing Systems, COOCS 1993, Milpitas, California, USA, November 1-4, 1993, pp. 184-189, 1993, ACM, 978-0-89791-627-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
storage-list object, subscriber cable network, view-object server, database, object-oriented, SQL, display, data-object, object creation, dynamic loading |
26 | Karl Denninghoff, Victor Vianu |
Database Method Schemas and Object Creation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 25-28, 1993, Washington, DC, USA, pp. 265-275, 1993, ACM Press, 0-89791-593-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
25 | Wolfgang Ahrendt, Frank S. de Boer, Immo Grabe |
Abstract Object Creation in Dynamic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings, pp. 612-627, 2009, Springer, 978-3-642-05088-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Hiroshi Koide |
The generated order preserving real-time garbage collection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 2nd International Workshop on Real-Time Computing Systems and Applications, October 25 - 27, 1995, Tokyo, Japan, pp. 168-173, 1995, IEEE Computer Society, 0-8186-7106-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
generated order preserving real-time garbage collection, real-time systems, computational complexity, complexity, programming languages, programming languages, storage management, real-time processing, application programs, real-time garbage collection, object creation |
22 | Andrea Omicini, Antonio Natali |
Object-Oriented Computations in Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: Object-Oriented Programming, Proceedings of the 8th European Conference, ECOOP '94, Bologna, Italy, July 4-8, 1994, pp. 194-212, 1994, Springer, 3-540-58202-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Integration of object-oriented and logic paradigms, state configuration, partially configured instances, meta-level constraints, abduction |
18 | Aoife Brady, Owen Conlan, Vincent Wade, Declan Dagger |
Supporting Users in Creating Pedagogically Sound Personalised Learning Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AH ![In: Adaptive Hypermedia and Adaptive Web-Based Systems, 5th International Conference, AH 2008, Hannover, Germany, July 29 - August 1, 2008. Proceedings, pp. 52-61, 2008, Springer, 978-3-540-70984-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Learning Object Creation, Personalization, Pedagogy, eLearning |
18 | Oliver Bimber |
Rudiments for a 3D freehand sketch based human-computer interface for immersive virtual enviroments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VRST ![In: Proceedings of the ACM Symposium on Virtual Reality Software and Technology, VRST 1999, London, UK, December 20-22, 1999., pp. 182-183, 1999, ACM, 1-58113-141-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
dynamic gesture recognition, freehand sketching, 3D interaction, object creation |
18 | James Noble 0001 |
Natural Creation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (32) ![In: TOOLS Pacific 1999: 32nd International Conference on Technology of Object-Oriented Languages and Systems, 22-25 November 1999, Melbourne, Australia, pp. 78-88, 1999, IEEE Computer Society, 0-7695-0462-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
design, patterns, object creation |
18 | Frank S. de Boer |
A Proof System for the Language POOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Foundations of Object-Oriented Languages, REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990, Proceedings, pp. 124-150, 1990, Springer, 3-540-53931-X. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
partial correctness, completeness, Object, soundness, Hoare-logic, pointers, proof-system, rendezvous, object-creation |
17 | Asuman Dogac, Mehmet Altinel, Cetin Ozkan, Ilker Durusoy |
Implementation Aspects of an Object-Oriented DBMS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Rec. ![In: SIGMOD Rec. 24(1), pp. 9-14, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Elie Najm, Jean-Bernard Stefani |
Object-Based Concurrency: A Process Calculus Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.1 ![In: TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'91), pp. 359-380, 1991, Springer, 3-540-53982-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Christopher Unkel, Monica S. Lam |
Automatic inference of stationary fields: a generalization of java's final fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008, pp. 183-195, 2008, ACM, 978-1-59593-689-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
stationary, Java, initialization, final |
15 | Rajaa Najjar, Steve Counsell, George Loizou, Keith Mannock |
The Role of Constructors in the Context of Refactoring Object-Oriented System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSMR ![In: 7th European Conference on Software Maintenance and Reengineering (CSMR 2003), 26-28 March 2003, Benevento, Italy, Proceedings, pp. 111-, 2003, IEEE Computer Society, 0-7695-1902-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Aaron W. Keen, Tingjian Ge, Justin T. Maris, Ronald A. Olsson |
JR: Flexible Distributed Programming in an Extended Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), Phoenix, Arizona, USA, April 16-19, 2001, pp. 575-584, 2001, IEEE Computer Society, 0-7695-1077-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Man Hon Wong 0001, Divyakant Agrawal |
Context-Based Synchronisation: An Approach beyond Semantics for Concurrency Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 25-28, 1993, Washington, DC, USA, pp. 276-287, 1993, ACM Press, 0-89791-593-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
12 | Denys Pastushenko |
Contemporary Aspects Of Automated Visual Object Creation In Gamification Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSIT ![In: 18th IEEE International Conference on Computer Science and Information Technologies, CSIT 2023, Lviv, Ukraine, October 19-21, 2023, pp. 1-4, 2023, IEEE, 979-8-3503-6046-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
12 | Thomas Bach, Ralf Pannemans, Artur Andrzejak 0001 |
Determining Method-Call Sequences for Object Creation in C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 13th IEEE International Conference on Software Testing, Validation and Verification, ICST 2020, Porto, Portugal, October 24-28, 2020, pp. 108-119, 2020, IEEE, 978-1-7281-5778-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Joanne Leong, Jose Martinez, Florian Perteneder, Ken Nakagaki, Hiroshi Ishii 0001 |
WraPr: Spool-Based Fabrication for Object Creation and Modification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TEI ![In: TEI '20: Fourteenth International Conference on Tangible, Embedded, and Embodied Interaction, Sydney, NSW, Australia, February 9-12, 2020, pp. 581-588, 2020, ACM, 978-1-4503-6107-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
12 | Stijn de Gouw, Frank S. de Boer, Wolfgang Ahrendt, Richard Bubel |
Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 15(4), pp. 1117-1140, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
12 | Zhenyi He, Xubo Yang |
Object creation based on free virtual grid with ARGlass. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGGRAPH ASIA Posters ![In: SIGGRAPH Asia 2014 Posters, Shenzhen, China, December 3-6, 2014, pp. 41, 2014, ACM, 978-1-4503-2792-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
12 | Wolfgang Hürst, Joris Dekker |
Tracking-based interaction for object creation in mobile augmented reality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: ACM Multimedia Conference, MM '13, Barcelona, Spain, October 21-25, 2013, pp. 93-102, 2013, ACM, 978-1-4503-2404-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
12 | Michael Homer, James Noble 0001 |
Object creation in Grace. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroPLoP ![In: Proceedings of the 18th European Conference on Pattern Languages of Program, EuroPLoP 2013, Irsee, Germany, July 10-14, 2013, pp. 21:1-21:15, 2013, ACM, 978-1-4503-3465-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
12 | Mohammed Belatar, François Coldefy |
Sketched menu: a tabletop-menu technique for GUI object creation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EICS ![In: Proceedings of the 2nd ACM SIGCHI Symposium on Engineering Interactive Computing System, EICS 2010, Berlin, Germany, June 19-23, 2010, pp. 77-86, 2010, ACM, 978-1-4503-0083-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
gui orientation, interaction technique, cscw, tabletop display, collocated collaboration, menu technique |
12 | Iver Bailly-Salins, Hervé Luga |
Artistic 3D Object Creation Using Artificial Life Paradigms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Smart Graphics ![In: Smart Graphics, 7th International Symposium, SG 2007, Kyoto, Japan, June 25-27, 2007, Proceedings, pp. 135-145, 2007, Springer, 978-3-540-73213-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | David Saff, Michael D. Ernst |
Mock object creation for test factoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASTE ![In: Proceedings of the 2004 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'04, Washington, DC, USA, June 7-8, 2004, pp. 49-51, 2004, ACM, 1-58113-910-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
test factoring, unit testing, mock objects |
12 | Victor Vianu |
Review - On Instance-Completeness for Database Query Languages involving Object Creation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGMOD Digit. Rev. ![In: ACM SIGMOD Digit. Rev. 2, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
12 | Kiyoshi Kiyokawa, Haruo Takemura, Naokazu Yokoya |
SeamlessDesign for 3D Object Creation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Multim. ![In: IEEE Multim. 7(1), pp. 22-33, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
12 | Jan Van den Bussche, Dirk Van Gucht |
A Semideterministic Approach to Object Creation and Nondeterminism in Database Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 54(1), pp. 34-47, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
12 | Sebnem Baydere |
Relocatable Object Creation in a Mobile Computing Environmen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDPTA ![In: Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 1997, June 30 - July 3, 1997, Las Vegas, Nevada, USA, pp. 1165-1169, 1997, CSREA Press, 0-9648666-8-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
12 | Marc Andries, Jan Paredaens |
On Instance-Completeness for Database Query Languages involving Object Creation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 52(2), pp. 357-373, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
12 | Shin Miyakawa, Naoki Yonezaki |
Temporal logic extended with object creation and destruction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: SEKE'94, The 6th International Conference on Software Engineering and Knowledge Engineering, June 21-23, 1994, Jurmala, Latvia, pp. 156-163, 1994, Knowledge Systems Institute. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
12 | Marc Gyssens, Lawrence V. Saxton, Dirk Van Gucht |
Tagging as an Alternative to Object Creation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Query Processing for Advanced Database Systems ![In: Query Processing for Advanced Database Systems, Selected Contributions from a Workshop on `Query Processing in Object-Oriented, Complex-Object and Nested Relation Databases`, Interationales Begegnungs- und Forschungszentrum für Informatik, Schloss Dagstuhl, Germany, June 1991, pp. 201-242, 1991, Morgan Kaufmann, 1-55860-271-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
12 | Edward A. Billard |
Language-Dependent performance of design patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 28(3), pp. 3, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Ronald Veldema, Michael Philippsen |
Compiler Optimized Remote Method Invocation. ![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. 127-, 2003, IEEE Computer Society, 0-7695-2066-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Stanley B. Lippman |
Efficiency in C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (29) ![In: TOOLS Europe 1999: 29th International Conference on Technology of Object-Oriented Languages and Systems, 7-10 June 1999, Nancy, France, pp. 414, 1999, IEEE Computer Society, 0-7695-0275-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
12 | Georg Gottlob, Gerti Kappel, Michael Schrefl |
Semantics of Object-Oriented Data Models - The Evolving Algebra Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
East/West Database Workshop ![In: Next Generation Information System Technology, First Interational East/West Data Base Workshop, Kiev, USSR, October 9-12, 1990, Proceedings, pp. 144-160, 1990, Springer, 3-540-54141-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
10 | Hiroshi Inoue, Toshio Nakatani |
How a Java VM can get more from a hardware performance monitor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA, pp. 137-154, 2009, ACM, 978-1-60558-766-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
profiling, hardware performance monitor, calling context |
10 | Gerhard Heinrich Bendels, Ferenc Kahlesz, Reinhard Klein |
Towards the next generation of 3D content creation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVI ![In: Proceedings of the working conference on Advanced visual interfaces, AVI 2004, Gallipoli, Italy, May 25-28, 2004, pp. 283-289, 2004, ACM Press, 1-58113-867-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
HCI, human computer interaction, AR, augmented reality, mesh-editing |
10 | Gary S. H. Tan, Wee Ngee Ng, Simon J. E. Taylor |
Developing an Object Exchange Model Template for GRIDS Distributed Supply Chain Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 35th Annual Simulation Symposium (ANSS-35 2002), San Diego, California, USA, 14-18 April 2002, pp. 259-266, 2002, IEEE Computer Society, 0-7695-1552-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Mauro Gaspari, Gianluigi Zavattaro |
An Actor Algebra for Specifying Distributed Systems: The Hurried Philosophers Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrent Object-Oriented Programming and Petri Nets ![In: Concurrent Object-Oriented Programming and Petri Nets, Advances in Petri Nets., pp. 428-444, 2001, Springer, 3-540-41942-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Radu Grosu, Yanhong A. Liu, Scott A. Smolka, Scott D. Stoller, Jingyu Yan |
Automated Software Engineering Using Concurrent Class Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 26-29 November 2001, Coronado Island, San Diego, CA, USA, pp. 297-, 2001, IEEE Computer Society, 0-7695-1426-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Yvan Peter, Hervé Guyennet |
An Implementation of the Lifecycle Service Object Mobility on CORBA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaCT ![In: Parallel Computing Technologies, 5th International Conference, PaCT-99, St. Petersburg, Russia, September 6-10, 1999, Proceedings, pp. 283-295, 1999, Springer, 3-540-66363-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Lifecycle Service, object mobility, group mechanism, multi-agent group, CORBA |
10 | Benjamin M. Brosgol |
Ada and the Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (30) ![In: TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software - The Way Ahead, 1-5 August 1999, Santa Barbara, CA, USA, pp. 438, 1999, IEEE Computer Society, 0-7695-0278-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Joost Engelfriet, George Leih, Grzegorz Rozenberg |
Net-Based Description Of Parallel Object-Based Systems, or POTs and POPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Foundations of Object-Oriented Languages, REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990, Proceedings, pp. 229-273, 1990, Springer, 3-540-53931-X. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
actor system, communication, Petri net, Parallel, observation, operational semantics, transition system, handshaking, object-based |
9 | Steven Robbins |
A Java execution simulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 38th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2007, Covington, Kentucky, USA, March 7-11, 2007, pp. 536-540, 2007, ACM, 1-59593-361-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
simulation, tracing, Java programming |
9 | Cees Pierik, Frank S. de Boer |
A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS ![In: Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings, pp. 64-78, 2003, Springer, 3-540-20491-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Erika Ábrahám-Mumm, Frank S. de Boer, Willem P. de Roever, Martin Steffen |
Verification for Java's Reentrant Multithreading Concept. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings, pp. 5-20, 2002, Springer, 3-540-43366-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
9 | Yongmin Zhong, Wolfgang Müller-Wittig, Weiyin Ma |
A Model Representation for Solid Modelling in a Virtual Reality Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Shape Modeling International ![In: 2002 International Conference on Shape Modeling and Applications (SMI 2002), 17-22 May 2002, Banff, Alberta, Canada, pp. 183-190, 2002, IEEE Computer Society, 0-7695-1546-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
9 | Yongmin Zhong, Wolfgang Müller-Wittig, Weiyin Ma |
A Hierarchically Structured Constraint-Based Data Model for Solid Modelling in a Virtual Reality Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CW ![In: 1st International Symposium on Cyber Worlds (CW 2002), 6-8 November 2002, Tokyo, Japan, pp. 537-544, 2002, IEEE Computer Society, 0-7695-1862-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
9 | Stephen N. Freund, John C. Mitchell |
The type system for object initializatiion in the Jave bytecode language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 21(6), pp. 1196-1250, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
bytecode languages, object initialization, Java, type checking |
9 | Stephen N. Freund, John C. Mitchell |
A Type System for Object Initialization in the Java Bytecode Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications, OOPSLA 1998, Vancouver, British Columbia, Canada, October 18-22, 1998., pp. 310-327, 1998, ACM, 1-58113-005-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Java |
7 | Francisco Bavera, Eduardo Bonelli |
Type-based information flow analysis for bytecode languages with variable object field policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 347-351, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
7 | José Oscar Olmedo-Aguirre, Mónica Rivera de la Rosa, Guillermo Morales-Luna |
ECA-Rule Visual Programming for Ubiquitous and Nomadic Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI ![In: MICAI 2008: Advances in Artificial Intelligence, 7th Mexican International Conference on Artificial Intelligence, Atizapán de Zaragoza, Mexico, October 27-31, 2008, Proceedings, pp. 925-935, 2008, Springer, 978-3-540-88635-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
7 | S. Tucker Taft |
Implementing the extended return statement for Ada 2005. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2008 Annual ACM SIGAda International Conference on Ada, Portland, OR, USA, October 26-30, 2008, pp. 97-104, 2008, ACM, 978-1-60558-274-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
build in place, extended return statement, limited types, ada 2005 |
7 | Birgit Schieder |
Pointer Theory and Weakest Preconditions without Addresses and Heap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction, 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings, pp. 357-380, 2004, Springer, 3-540-22380-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
7 | S. Misbah Deen |
Non-Preemptive Preferences in Multi-Agent Task Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 15th International Workshop on Database and Expert Systems Applications (DEXA 2004), with CD-ROM, 30 August - 3 September 2004, Zaragoza, Spain, pp. 203-207, 2004, IEEE Computer Society, 0-7695-2195-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Multi-agent Systems, Preference Model, Cooperating Agents |
7 | Mostefa Belarbi, Jean-Philippe Babau, Jean-Jacques Schwarz |
Temporal Verification of Real-Time Multitasking Application Properties Based on Communicating Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DS-RT ![In: 8th IEEE International Symposium on Distributed Simulation and Real-Time Applications (DS-RT 2004), 21-23 October 2004, Budapest, Hungary, pp. 188-195, 2004, IEEE Computer Society, 0-7695-2232-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Exhaustive Simulation, Temporal Verification, Observer Automata, Communicating, Timed Automata, RTOS |
7 | Arnaud Venet |
Nonuniform Alias Analysis of Recursive Data Structures and Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, Proceedings, pp. 36-51, 2002, Springer, 3-540-44235-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
7 | Werner Damm, Bernhard Josko, Amir Pnueli, Anjelika Votintseva |
Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCO ![In: Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures, pp. 71-98, 2002, Springer, 3-540-20303-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
7 | Frank Tip, Peter F. Sweeney |
Class Hierarchy Specialization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 36(12), pp. 927-982, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
7 | Claudio Demartini, Radu Iosif, Riccardo Sisto |
dSPIN: A Dynamic Extension of SPIN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Theoretical and Practical Aspects of SPIN Model Checking, 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24 1999, Proceedings, pp. 261-276, 1999, Springer, 3-540-66499-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
7 | Alexandros Biliris |
The Performance of Three Database Storage Structures for Managing Large Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1992 ACM SIGMOD International Conference on Management of Data, San Diego, California, USA, June 2-5, 1992., pp. 276-285, 1992, ACM Press, 978-0-89791-521-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
5 | Daniel J. Tracy, Samuel R. Buss, Bryan M. Woods |
Efficient Large-Scale Sweep and Prune Methods with AABB Insertion and Removal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VR ![In: IEEE Virtual Reality Conference 2009 (VR 2009), 14-18 March 2009, Lafayette, Louisiana, USA, Proceedings, pp. 191-198, 2009, IEEE Computer Society, 978-1-4244-3943-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
5 | Michael Lawley, Kerry Raymond |
Implementing a practical declarative logic-based model transformation engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, pp. 971-977, 2007, ACM, 1-59593-480-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
MDA, model transformation, model driven development, MOF |
5 | Lilian Burdy, Mariela Pavlova |
Java bytecode specification and verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 1835-1839, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
5 | Tamarah Arons, Jozef Hooman, Hillel Kugler, Amir Pnueli, Mark van der Zwaag |
Deductive Verification of UML Models in TLPVS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: «UML» 2004 - The Unified Modelling Language: Modelling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings, pp. 335-349, 2004, Springer, 3-540-23307-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Deductive Verification, UML, Semantics, Formal Verification, Temporal Logic, State Machines, PVS |
5 | Zsolt Balanyi, Rudolf Ferenc |
Mining Design Patterns from C++ Source Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 19th International Conference on Software Maintenance (ICSM 2003), The Architecture of Existing Systems, 22-26 September 2003, Amsterdam, The Netherlands, pp. 305-314, 2003, IEEE Computer Society, 0-7695-1905-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
5 | Milan E. Soklic |
Simulation of load balancing algorithms: a comparative study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGCSE Bull. ![In: ACM SIGCSE Bull. 34(4), pp. 138-141, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
simulation, distributed systems, performance modeling, client-server, adaptive load balancing |
5 | Shin-ya Katsumata, Atsushi Ohori |
Proof-Directed De-compilation of Low-Level Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, pp. 352-366, 2001, Springer, 3-540-41862-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
5 | Karen Renaud, James Huw Evans |
JavaCloak: Reflecting on Java Typing for Class Reuse Using Proxies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reflection ![In: Metalevel Architectures and Separation of Crosscutting Concerns, Third International Conference, REFLECTION 2001, Kyoto, Japan, September 25-28, 2001, Proceedings, pp. 278-279, 2001, Springer, 3-540-42618-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
5 | M. Chang, Woo Hyong Lee, Yusuf Hasan |
Measuring dynamic memory invocations in object-oriented programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPCCC ![In: Proceedings of the IEEE International Performance Computing and Communications Conference, IPCCC 1999, Phoenix/Scottsdale, Arizona, USA, 10-12 February 1999, pp. 268-274, 1999, IEEE, 0-7803-5258-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
5 | Sophia Drossopoulou, Susan Eisenbach |
Java is Type Safe - Probably. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'97 - Object-Oriented Programming, 11th European Conference, Jyväskylä, Finland, June 9-13, 1997, Proceedings, pp. 389-418, 1997, Springer, 3-540-63089-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
5 | Ralf Hartmut Güting, Markus Schneider 0001 |
Realms: A Foundation for Spatial Data Types in Database Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSD ![In: Advances in Spatial Databases, Third International Symposium, SSD'93, Singapore, June 23-25, 1993, Proceedings, pp. 14-35, 1993, Springer, 3-540-56869-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
Spatial data types, realm, finite resolution, numerical robustness, topological correctness, geometric consistency, algebra |
5 | H. B. M. Jonkers |
Upgrading the Pre- and Postcondition Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VDM Europe (1) ![In: VDM '91 - Formal Software Development, 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991, Proceedings, Volume 1: Conference Contributions, pp. 428-456, 1991, Springer, 3-540-54834-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #76 of 76 (100 per page; Change: )
|
|