James Leslie Keedy

55 papers A* 1B 2Journal 31Unranked 21

Year	Rank	Type	Title / Venue / Authors
2010	J	`jnl`	Covariantly Adjusting Co-Types in Timor. J. Object Technol. James Leslie Keedy, Gisela Menger, Christian Heinlein
2009	J	`jnl`	Types and Co-Types in Timor. J. Object Technol. James Leslie Keedy, Gisela Menger, Christian Heinlein
2008	J	`jnl`	Security and Protection in Timor Programs. J. Object Technol. James Leslie Keedy, Klaus Espenlaub, Christian Heinlein, Gisela Menger
2007	J	`jnl`	Persistent Objects and Capabilities in Timor. J. Object Technol. James Leslie Keedy, Klaus Espenlaub, Christian Heinlein, Gisela Menger
2007	J	`jnl`	Persistent Processes and Distribution in Timor. J. Object Technol. James Leslie Keedy, Klaus Espenlaub, Christian Heinlein, Gisela Menger
2006	J	`jnl`	Call-out Bracket Methods in Timor. J. Object Technol. James Leslie Keedy, Klaus Espenlaub, Christian Heinlein, Gisela Menger
2006	J	`jnl`	Support for Object Oriented Transactions in Timor. J. Object Technol. James Leslie Keedy, Klaus Espenlaub, Christian Heinlein, Gisela Menger, Frans A. Henskens, Michael Hannaford
2005	J	`jnl`	Statically Qualified Types in Timor. J. Object Technol. James Leslie Keedy, Klaus Espenlaub, Christian Heinlein, Gisela Menger, Mark Evered
2004	J	`jnl`	Diamond Inheritance and Attribute Types in Timor. J. Object Technol. James Leslie Keedy, Christian Heinlein, Gisela Menger, Mark Evered
2004	J	`jnl`	Inheriting Multiple and Repeated Parts in Timor. J. Object Technol. James Leslie Keedy, Christian Heinlein, Gisela Menger
2004	J	`jnl`	Qualifying Types with Bracket Methods in Timor. J. Object Technol. James Leslie Keedy, Klaus Espenlaub, Christian Heinlein, Gisela Menger
2004	B	`conf`	Reuse Variables: Reusing Code and State in Timor. ICSR James Leslie Keedy, Christian Heinlein, Gisela Menger
2002	J	`jnl`	Inheriting from a Common Abstract Ancestor in Timor. J. Object Technol. James Leslie Keedy, Gisela Menger, Christian Heinlein
2002	—	`conf`	Qualifying Types Illustrated by Synchronisation Examples. NetObjectDays James Leslie Keedy, Gisela Menger, Christian Heinlein, Frans A. Henskens
2000	—	`conf`	Software Engineering Despite Object-Orientation. ACSC Mark Evered, Gisela Menger, James Leslie Keedy, Axel Schmolitzky
2000	B	`conf`	Software Reuse in an Object Oriented Framework: Distinguishing Types from Implementations and Objects from Attributes. ICSR James Leslie Keedy, Klaus Espenlaub, Gisela Menger, Axel Schmolitzky, Mark Evered
2000	—	`conf`	Some Misunderstandings about the Anglo-Saxon Graduation System. GI Jahrestagung James Leslie Keedy
1999	—	`conf`	How Can Covariance in Pragmatical Class Methods be Made Statically Type-Safe? TOOLS (32) Axel Schmolitzky, Mark Evered, James Leslie Keedy, Gisela Menger
1998	—	`conf`	Collection Types and Implementations in Object-Oriented Software Libraries. TOOLS (26) Gisela Menger, James Leslie Keedy, Mark Evered, Axel Schmolitzky
1998	—	`conf`	Überlegungen zur Einführung von Bachelor- und Master-Graden für die Informatik an deutschen Universitäten. Informatik und Ausbildung James Leslie Keedy
1997	—	`conf`	Attribute Types and Bracket Implementations. TOOLS (25) James Leslie Keedy, Mark Evered, Axel Schmolitzky, Gisela Menger
1997	—	`conf`	Genja - A New Proposal for Parameterised Types in Java. TOOLS (25) Mark Evered, James Leslie Keedy, Gisela Menger, Axel Schmolitzky
1997	—	`conf`	How Well Do Inheritance Mechanisms Support Inheritance Concepts?. JMLC Mark Evered, James Leslie Keedy, Axel Schmolitzky, Gisela Menger
1995	—	`conf`	Is distribution a genuine problem for persistent systems or is addressing the real problem? HICSS (2) James Leslie Keedy
1993	—	`conf`	A Base for Secure Object Oriented Environments. Security for Object-Oriented Systems Karin Vosseberg, Peter Brössler, James Leslie Keedy
1993	J	`jnl`	A model for security and protection in persistent systems. Microprocess. Microsystems James Leslie Keedy
1993	J	`jnl`	Support for Concurrent Programming on the MONADS-PC System. Aust. Comput. J. Neil Dunstan, James Leslie Keedy, John Rosenberg
1992	J	`jnl`	Addressing Mechanisms for Large Virtual Memories. Comput. J. John Rosenberg, James Leslie Keedy, David Abramson
1992	—	`conf`	Implementing Databases in the MONADS Virtual Memory. POS James Leslie Keedy, Peter Brössler
1992	—	`conf`	Security in a Persistent Distributed Operating System. ARCS James Leslie Keedy, Karin Vosseberg
1990	—	`conf`	A Model for Protection in Persistent Object-Oriented Systems. Security and Persistence Mark Evered, James Leslie Keedy
1990	—	`conf`	Capabilities and Encryption: The Ultimate Defense Against Security Attacks ? Security and Persistence Bernd Freisleben, P. Kammerer, James Leslie Keedy
1989	—	`conf`	A Capability-Based Massive Memory Computer. POS John Rosenberg, David M. Koch, James Leslie Keedy
1989	J	`jnl`	Priority Semaphores. Comput. J. Bernd Freisleben, James Leslie Keedy
1989	—	`conf`	Support for Objects in the MONADS Architecture. POS James Leslie Keedy
1987	—	`conf`	Object Management and Addressing in the MONADS Architecture. POS John Rosenberg, James Leslie Keedy
1985	J	`jnl`	On the Efficient Use of Semaphore Primitives. Inf. Process. Lett. James Leslie Keedy, Bernd Freisleben
1985	A*	`conf`	Tagged Architecture: How Compelling Are its Advantages? ISCA Edward F. Gehringer, James Leslie Keedy
1983	—	`conf`	A Memory Architecture for Object-Oriented Systems. Objektorientierte Software- und Hardwarearchitekturen James Leslie Keedy
1983	J	`jnl`	An Instruction Set for Evaluating Expressions. IEEE Trans. Computers James Leslie Keedy
1982	—	`conf`	Architectural Support for Software in the Monads III Computer Design. GI Jahrestagung James Leslie Keedy, John Rosenberg
1982	J	`jnl`	On Synchronizing Readers and Writers with Semaphores. Comput. J. James Leslie Keedy, John Rosenberg, Kotagiri Ramamohanarao
1982	J	`jnl`	Software Engineering View of Files. Aust. Comput. J. James Leslie Keedy, I. Richards
1980	J	`jnl`	On the Exportation of Variables. Aust. Comput. J. James Leslie Keedy
1980	—	`conf`	Paging and Small Segments: A Memory Management Model. IFIP Congress James Leslie Keedy
1980	J	`jnl`	Virtual Memory. Aust. Comput. J. James Leslie Keedy
1979	J	`jnl`	A technique for passing reference parameters in an information-hiding architecture. SIGARCH Comput. Archit. News James Leslie Keedy
1979	J	`jnl`	More on the use of stacks in the evaluation of expressions. SIGARCH Comput. Archit. News James Leslie Keedy
1979	J	`jnl`	On Implementing Semaphores with Sets. Comput. J. James Leslie Keedy, Kotagiri Ramamohanarao, John Rosenberg
1979	J	`jnl`	On Structuring Operating Systems With Monitors. ACM SIGOPS Oper. Syst. Rev. James Leslie Keedy
1979	J	`jnl`	On the specification of Software Subsystems. Aust. Comput. J. James Leslie Keedy
1978	J	`jnl`	On Structuring Operating Systems With Monitors. Aust. Comput. J. James Leslie Keedy
1978	J	`jnl`	On the evaluation of expressions using accumulators, stacks and store-to-store instructions. SIGARCH Comput. Archit. News James Leslie Keedy
1978	J	`jnl`	On the use of stacks in the evaluation of expressions. SIGARCH Comput. Archit. News James Leslie Keedy
1977	J	`jnl`	An Outline of the ICL 2900 Series System Architecture. Aust. Comput. J. James Leslie Keedy