Search results for "object-creation"

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.	TOOLS (27)	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.	J. ACM	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.	COOCS	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.	PODS	1993	DBLP DOI BibTeX RDF
25	Wolfgang Ahrendt, Frank S. de Boer, Immo Grabe	Abstract Object Creation in Dynamic Logic.	FM	2009	DBLP DOI BibTeX RDF
23	Hiroshi Koide	The generated order preserving real-time garbage collection.	RTCSA	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.	ECOOP	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.	AH	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.	VRST	1999	DBLP DOI BibTeX RDF	dynamic gesture recognition, freehand sketching, 3D interaction, object creation
18	James Noble 0001	Natural Creation.	TOOLS (32)	1999	DBLP DOI BibTeX RDF	design, patterns, object creation
18	Frank S. de Boer	A Proof System for the Language POOL.	REX Workshop	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.	SIGMOD Rec.	1995	DBLP DOI BibTeX RDF
17	Elie Najm, Jean-Bernard Stefani	Object-Based Concurrency: A Process Calculus Analysis.	TAPSOFT, Vol.1	1991	DBLP DOI BibTeX RDF
16	Christopher Unkel, Monica S. Lam	Automatic inference of stationary fields: a generalization of java's final fields.	POPL	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.	CSMR	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.	ICDCS	2001	DBLP DOI BibTeX RDF
14	Man Hon Wong 0001, Divyakant Agrawal	Context-Based Synchronisation: An Approach beyond Semantics for Concurrency Control.	PODS	1993	DBLP DOI BibTeX RDF
12	Denys Pastushenko	Contemporary Aspects Of Automated Visual Object Creation In Gamification Tasks.	CSIT	2023	DBLP DOI BibTeX RDF
12	Thomas Bach, Ralf Pannemans, Artur Andrzejak 0001	Determining Method-Call Sequences for Object Creation in C++.	ICST	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.	TEI	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.	Softw. Syst. Model.	2016	DBLP DOI BibTeX RDF
12	Zhenyi He, Xubo Yang	Object creation based on free virtual grid with ARGlass.	SIGGRAPH ASIA Posters	2014	DBLP DOI BibTeX RDF
12	Wolfgang Hürst, Joris Dekker	Tracking-based interaction for object creation in mobile augmented reality.	ACM Multimedia	2013	DBLP DOI BibTeX RDF
12	Michael Homer, James Noble 0001	Object creation in Grace.	EuroPLoP	2013	DBLP DOI BibTeX RDF
12	Mohammed Belatar, François Coldefy	Sketched menu: a tabletop-menu technique for GUI object creation.	EICS	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.	Smart Graphics	2007	DBLP DOI BibTeX RDF
12	David Saff, Michael D. Ernst	Mock object creation for test factoring.	PASTE	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.	ACM SIGMOD Digit. Rev.	2000	DBLP BibTeX RDF
12	Kiyoshi Kiyokawa, Haruo Takemura, Naokazu Yokoya	SeamlessDesign for 3D Object Creation.	IEEE Multim.	2000	DBLP DOI BibTeX RDF
12	Jan Van den Bussche, Dirk Van Gucht	A Semideterministic Approach to Object Creation and Nondeterminism in Database Queries.	J. Comput. Syst. Sci.	1997	DBLP DOI BibTeX RDF
12	Sebnem Baydere	Relocatable Object Creation in a Mobile Computing Environmen.	PDPTA	1997	DBLP BibTeX RDF
12	Marc Andries, Jan Paredaens	On Instance-Completeness for Database Query Languages involving Object Creation.	J. Comput. Syst. Sci.	1996	DBLP DOI BibTeX RDF
12	Shin Miyakawa, Naoki Yonezaki	Temporal logic extended with object creation and destruction.	SEKE	1994	DBLP BibTeX RDF
12	Marc Gyssens, Lawrence V. Saxton, Dirk Van Gucht	Tagging as an Alternative to Object Creation.	Query Processing for Advanced Database Systems	1991	DBLP BibTeX RDF
12	Edward A. Billard	Language-Dependent performance of design patterns.	ACM SIGSOFT Softw. Eng. Notes	2003	DBLP DOI BibTeX RDF
12	Ronald Veldema, Michael Philippsen	Compiler Optimized Remote Method Invocation.	CLUSTER	2003	DBLP DOI BibTeX RDF
12	Stanley B. Lippman	Efficiency in C++.	TOOLS (29)	1999	DBLP DOI BibTeX RDF
12	Georg Gottlob, Gerti Kappel, Michael Schrefl	Semantics of Object-Oriented Data Models - The Evolving Algebra Approach.	East/West Database Workshop	1990	DBLP DOI BibTeX RDF
10	Hiroshi Inoue, Toshio Nakatani	How a Java VM can get more from a hardware performance monitor.	OOPSLA	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.	AVI	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.	Annual Simulation Symposium	2002	DBLP DOI BibTeX RDF
10	Mauro Gaspari, Gianluigi Zavattaro	An Actor Algebra for Specifying Distributed Systems: The Hurried Philosophers Case Study.	Concurrent Object-Oriented Programming and Petri Nets	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.	ASE	2001	DBLP DOI BibTeX RDF
10	Yvan Peter, Hervé Guyennet	An Implementation of the Lifecycle Service Object Mobility on CORBA.	PaCT	1999	DBLP DOI BibTeX RDF	Lifecycle Service, object mobility, group mechanism, multi-agent group, CORBA
10	Benjamin M. Brosgol	Ada and the Objects.	TOOLS (30)	1999	DBLP DOI BibTeX RDF
10	Joost Engelfriet, George Leih, Grzegorz Rozenberg	Net-Based Description Of Parallel Object-Based Systems, or POTs and POPs.	REX Workshop	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.	SIGCSE	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.	FMOODS	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.	FoSSaCS	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.	Shape Modeling International	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.	CW	2002	DBLP DOI BibTeX RDF
9	Stephen N. Freund, John C. Mitchell	The type system for object initializatiion in the Jave bytecode language.	ACM Trans. Program. Lang. Syst.	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.	OOPSLA	1998	DBLP DOI BibTeX RDF	Java
7	Francisco Bavera, Eduardo Bonelli	Type-based information flow analysis for bytecode languages with variable object field policies.	SAC	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.	MICAI	2008	DBLP DOI BibTeX RDF
7	S. Tucker Taft	Implementing the extended return statement for Ada 2005.	SIGAda	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.	MPC	2004	DBLP DOI BibTeX RDF
7	S. Misbah Deen	Non-Preemptive Preferences in Multi-Agent Task Processing.	DEXA Workshops	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.	DS-RT	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.	SAS	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.	FMCO	2002	DBLP DOI BibTeX RDF
7	Frank Tip, Peter F. Sweeney	Class Hierarchy Specialization.	Acta Informatica	2000	DBLP DOI BibTeX RDF
7	Claudio Demartini, Radu Iosif, Riccardo Sisto	dSPIN: A Dynamic Extension of SPIN.	SPIN	1999	DBLP DOI BibTeX RDF
7	Alexandros Biliris	The Performance of Three Database Storage Structures for Managing Large Objects.	SIGMOD Conference	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.	VR	2009	DBLP DOI BibTeX RDF
5	Michael Lawley, Kerry Raymond	Implementing a practical declarative logic-based model transformation engine.	SAC	2007	DBLP DOI BibTeX RDF	MDA, model transformation, model driven development, MOF
5	Lilian Burdy, Mariela Pavlova	Java bytecode specification and verification.	SAC	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.	UML	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.	ICSM	2003	DBLP DOI BibTeX RDF
5	Milan E. Soklic	Simulation of load balancing algorithms: a comparative study.	ACM SIGCSE Bull.	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.	ESOP	2001	DBLP DOI BibTeX RDF
5	Karen Renaud, James Huw Evans	JavaCloak: Reflecting on Java Typing for Class Reuse Using Proxies.	Reflection	2001	DBLP DOI BibTeX RDF
5	M. Chang, Woo Hyong Lee, Yusuf Hasan	Measuring dynamic memory invocations in object-oriented programs.	IPCCC	1999	DBLP DOI BibTeX RDF
5	Sophia Drossopoulou, Susan Eisenbach	Java is Type Safe - Probably.	ECOOP	1997	DBLP DOI BibTeX RDF
5	Ralf Hartmut Güting, Markus Schneider 0001	Realms: A Foundation for Spatial Data Types in Database Systems.	SSD	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.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF