Search results for "scopes"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Ludger Fiege, Gero Mühl, Felix C. Gärtner	A modular approach to build structured event-based systems.	SAC	2002	DBLP DOI BibTeX RDF	event-based cooperation, formal specification, publish-subscribe, notification services
12	Jessica Feng, Farinaz Koushanfar, Miodrag Potkonjak	System-Architectures for Sensor Networks Issues, Alternatives, and Directions.	ICCD	2002	DBLP DOI BibTeX RDF
12	Hiroyuki Aoki, Eiju Watanabe, Atsushi Nagata, Yukio Kosugi	Rotation-Invariant Image Association for Endoscopic Positional Identification Using Complex-Valued Associative Memories.	IWANN (2)	2001	DBLP DOI BibTeX RDF
12	Martín Abadi, Bruno Blanchet	Secrecy Types for Asymmetric Communication.	FoSSaCS	2001	DBLP DOI BibTeX RDF
12	Rui José, Adriano J. C. Moreira, Filipe Meneses, Geoff Coulson	An Open Architecture for Developing Mobile Location-Based Applications over the Internet.	ISCC	2001	DBLP DOI BibTeX RDF
12	Huiyang Zhou, Matthew D. Jennings, Thomas M. Conte	Tree Traversal Scheduling: A Global Instruction Scheduling Technique for VLIW/EPIC Processors.	LCPC	2001	DBLP DOI BibTeX RDF
12	Takeyuki Suzuki, Jien Kato, Toyohide Watanabe	Extraction of Contextual Information Existing among Component Elements of Origami Books.	GREC	2001	DBLP DOI BibTeX RDF	drawing interpretation, Voronoi diagram, document analysis, origami
12	Cristina Hristea, Fouad A. Tobagi	IP Routing and Mobility.	IWDC	2001	DBLP DOI BibTeX RDF
12	Iain Merrick, Alan Wood	Scoped Coordination in Open Distributed Systems.	COORDINATION	2000	DBLP DOI BibTeX RDF
12	Florian Kammüller, Markus Wenzel 0001, Lawrence C. Paulson	Locales - A Sectioning Concept for Isabelle.	TPHOLs	1999	DBLP DOI BibTeX RDF
12	Yingxu Wang 0001, Graham King, Hakan Wickburg	A Method for Built-in Tests in Component-based Software Maintenance.	CSMR	1999	DBLP DOI BibTeX RDF	maintenance mode, normal mode, test component reuse, reengineering maintenance, Software engineering, software maintenance, software components, built-in test
12	Adil Al-Yasiri, C. Bambord	DOOR-an approach for reusing and retrieving domain-oriented components.	ECRTS	1998	DBLP DOI BibTeX RDF
12	Franck Fourel, Philippe Mulhem, Marie-France Bruandet	A Generic Framework for Structured Document Access.	DEXA	1998	DBLP DOI BibTeX RDF
12	Richard B. Kieburtz	Taming Effects with Monadic Typing.	ICFP	1998	DBLP DOI BibTeX RDF	ML
12	Paul Francis Meredith, Peter J. H. King	Scoped Referential Transparency in a Functional Database Language with Updates.	BNCOD	1998	DBLP DOI BibTeX RDF
12	Paul Lu	Aurora: Scoped Behavior for Per-Context Optimized Distributed Data Sharing.	IPPS	1997	DBLP DOI BibTeX RDF	scoped behaviour, per-context optimized distributed data sharing, standard C++-based Aurora, shared data abstraction, distributed memory hardware, data structures, source code, parallel performance, Aurora
12	Kristen Nygaard	GOODS to Appear on the Stage.	ECOOP	1997	DBLP DOI BibTeX RDF
12	Matthias Blume, Andrew W. Appel	Lambda-Splitting: A Higher-Order Approach to Cross-Module Optimizations.	ICFP	1997	DBLP DOI BibTeX RDF
12	Qiming Chen, Umeshwar Dayal	Commit Scope Control in Nested Transactions.	EDBT	1996	DBLP DOI BibTeX RDF
12	Ben Sloman, Tom Lake	Featherweight Threads and ANDF Compilation of Concurrency.	Euro-Par	1995	DBLP DOI BibTeX RDF
12	Sudhir Aggarwal, Inje Kim, Weiyi Meng	Database Exploration with Dynamic Abstractions.	DEXA	1994	DBLP DOI BibTeX RDF	structural flexibility, database exploration, abstract view, user-interface, database systems, meta data, data abstraction
12	Andreas Fauth, Günter Hommel, Alois C. Knoll, Carsten Müller	Global Code Selection of Directed Acyclic Graphs.	CC	1994	DBLP DOI BibTeX RDF
12	Uma Mahadevan, Sridhar Ramakrishnan	Instruction Schedulimg over Regions: A Framework for Scheduling Across Basic Blocks.	CC	1994	DBLP DOI BibTeX RDF
12	Klaus-Dieter Schewe, Joachim W. Schmidt, Ingrid Wetzel	Identification, Genericity and Consistency in Object-Oriented Databases.	ICDT	1992	DBLP DOI BibTeX RDF
12	Dale Miller 0001	Abstract Syntax and Logic Programming.	RCLP	1991	DBLP DOI BibTeX RDF
12	Dale Miller 0001	A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification.	ELP	1989	DBLP DOI BibTeX RDF
12	Stephen C. Dewhurst	Object Representation of Scope During Translation.	ECOOP	1987	DBLP DOI BibTeX RDF
12	S. H. Chasen	Economic principles for interactive graphic applications.	AFIPS National Computer Conference	1975	DBLP DOI BibTeX RDF