Search results for "abstract view"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Serafino Cicerone, Daniele Frigioni, Laura Tarantino	Interacting with Geographic Databases: A Focus+Context Approach. (PDF / PS)	DEXA Workshops	2000	DBLP DOI BibTeX RDF	visual interaction environment, abstract view, fish-eye view, nested partition, geographic information systems, geographic information systems, spatial database, topological properties, geographic databases, incremental approach
2	Roberto Fiutem, Ettore Merlo, Giuliano Antoniol, Paolo Tonella	Understanding the architecture of software systems. (PDF / PS)	WPC	1996	DBLP DOI BibTeX RDF	high level structure, hierarchical architectural model, abstract view, user interface, software architecture, reverse engineering, reverse engineering, software maintenance, software maintenance, software tools, systems analysis, visual programming, program understanding, software visualization, data visualisation, programmers, program diagnostics, software environment, software understanding
1	Jianxin Xue, Xiaoju Dong	A Fully Abstract View for Local Cause Semantics.	GPC	2012	DBLP DOI BibTeX RDF
1	Richard Garner	An abstract view on syntax with sharing	CoRR	2010	DBLP BibTeX RDF
1	Paolo A. G. Sivilotti, Matthew Lang	Interfaces first (and foremost) with Java.	SIGCSE	2010	DBLP DOI BibTeX RDF	concrete state, abstraction, behavioral specification
1	Cristian Dittamo	On Expressing Different Concurrency Paradigms on Virtual Execution Systems.	COMPSAC	2009	DBLP DOI BibTeX RDF
1	Aurélien Moreau, Jacques Malenfant, Michel Dao	Data Flow Repair in Web Service Orchestration at Runtime.	ICIW	2009	DBLP DOI BibTeX RDF
1	Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic, Daniel Jackson	Equality and hashing for (almost) free: Generating implementations from abstraction functions.	ICSE	2009	DBLP DOI BibTeX RDF
1	Hu Liu	A Cooperation Logic for Declaration Structures.	LORI	2009	DBLP DOI BibTeX RDF	cooperation logics, propositional control, declarations
1	Kaiyu Wan, Mubarak Mohammad, Vasu S. Alagar	A Formal Model of Business Application Integration from Web Services (Position Paper).	SOFSEM	2009	DBLP DOI BibTeX RDF
1	Nils H. Hagge, Bernardo Wagner	Implementation alternatives for the OMAC state machines using IEC 61499.	ETFA	2008	DBLP DOI BibTeX RDF
1	Ta'id Holmes, Huy Tran, Uwe Zdun, Schahram Dustdar	Modeling Human Aspects of Business Processes - A View-Based, Model-Driven Approach.	ECMDA-FA	2008	DBLP DOI BibTeX RDF
1	Navneet Kumar Pandey, S. K. Gupta, Shaveta Leekha	Algebra for Capability Based Attack Correlation.	WISTP	2008	DBLP DOI BibTeX RDF	capability model, intrusion detection, attack scenario
1	Rachel Gawley	Automating the identification of variability realisation techniques from feature models.	ASE	2007	DBLP DOI BibTeX RDF	variability realisation techniques, design patterns, software product lines, feature models
1	Marco Brambilla, Stefano Ceri, Federico Michele Facca, Irene Celino, Dario Cerizza, Emanuele Della Valle	Model-driven design and development of semantic Web service applications.	ACM Trans. Internet Techn.	2007	DBLP DOI BibTeX RDF	Semantic Web service, WSMO, WebML
1	Natalia Stakhanova, Samik Basu, Wensheng Zhang 0001, Xia Wang, Johnny Wong	Specification Synthesis for Monitoring and Analysis of MANET Protocols.	AINA Workshops	2007	DBLP DOI BibTeX RDF
1	Mao Lin Huang, Quang Vinh Nguyen	A Fast Algorithm for Balanced Graph Clustering.	IV	2007	DBLP DOI BibTeX RDF
1	Margus Veanes, Juhan P. Ernits, Colin Campbell	State Isomorphism in Model Programs with Abstract Data Structures.	FORTE	2007	DBLP DOI BibTeX RDF
1	Bernd Braßel, Jan Christiansen	Denotation by Transformation.	LOPSTR	2007	DBLP DOI BibTeX RDF
1	Béatrice Bérard, Paul Gastin, Antoine Petit	Timed substitutions for regular signal-event languages.	Formal Methods in System Design	2007	DBLP DOI BibTeX RDF	Signal-event word, Refinement, Abstraction, Timed automata, Substitution
1	Giuseppe Pappalardo, Emiliano Tramontana	Automatically discovering design patterns and assessing concern separations for applications.	SAC	2006	DBLP DOI BibTeX RDF	software engineering, design patterns, evolution, software evolution, separation of concerns, computational reflection
1	Raja Loganantharaj, Vardarajan Badri Narayan	SemPub: An Ontology Based Semantic Literature Retrieval System.	CBMS	2006	DBLP DOI BibTeX RDF
1	Wilfried Steiner, Hermann Kopetz	The Startup Problem in Fault-Tolerant Time-Triggered Communication.	DSN	2006	DBLP DOI BibTeX RDF
1	Hinde-Lilia Bouziane, Christian Pérez, Thierry Priol	Modeling and executing master-worker applications in component models.	IPDPS	2006	DBLP DOI BibTeX RDF
1	Gerd Hirzinger, Berthold Bäuml	Agile Robot Development (aRD): A Pragmatic Approach to Robotic Software.	IROS	2006	DBLP DOI BibTeX RDF
1	Béatrice Bérard, Paul Gastin, Antoine Petit	Refinements and Abstractions of Signal-Event (Timed) Languages.	FORMATS	2006	DBLP DOI BibTeX RDF
1	I. S. W. B. Prasetya, Tanja E. J. Vos, S. Doaitse Swierstra	Web Cube.	FORTE	2006	DBLP DOI BibTeX RDF
1	Farida Semmak, Joël Brunet	Variability in Goal-Oriented Domain Requirements.	ICSR	2006	DBLP DOI BibTeX RDF
1	Herman Geuvers, Iris Loeb	From Deduction Graphs to Proof Nets: Boxes and Sharing in the Graphical Presentation of Deductions.	MFCS	2006	DBLP DOI BibTeX RDF
1	Ali Kiani, Nematollaah Shiri	A Unified Model for Information Integration.	OTM Workshops	2006	DBLP DOI BibTeX RDF
1	Heinz Züllighoven, Carola Lilienthal, Marcel Bennicke	Software Architecture Analysis and Evaluation.	QoSA	2006	DBLP DOI BibTeX RDF
1	Ana Cavalcanti, Will Harwood, Jim Woodcock	Pointers and Records in the Unifying Theories of Programming.	UTP	2006	DBLP DOI BibTeX RDF	semantics, refinement, object models, relations
1	J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, Alan Schmitt	Combinators for bi-directional tree transformations: a linguistic approach to the view update problem.	POPL	2005	DBLP DOI BibTeX RDF	bi-directional programming, XML, lenses, harmony, view update problem
1	Stefan Rührup, Christian Schindelhauer	Competitive Time and Traffic Analysis of Position-Based Routing using a Cell Structure.	IPDPS	2005	DBLP DOI BibTeX RDF
1	Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph	Abstractions Preserving Parameter Confidentiality.	ESORICS	2005	DBLP DOI BibTeX RDF
1	Jean-Pierre Georgé, Marie Pierre Gleizes, Pierre Glize	Experiments in Neo-computation Based on Emergent Programming.	MATES	2005	DBLP DOI BibTeX RDF
1	Sonia Fagorzi, Elena Zucca, Davide Ancona	Modeling multiple class loaders by a calculus for dynamic linking.	SAC	2004	DBLP DOI BibTeX RDF	multiple loaders, Java, dynamic linking
1	Maher Salah, Spiros Mancoridis	A Hierarchy of Dynamic Software Views: From Object-Interactions to Feature-Interactions.	ICSM	2004	DBLP DOI BibTeX RDF
1	Marcelo Arenas, Pablo Barceló, Leonid Libkin	Game-Based Notions of Locality Over Finite Models.	CSL	2004	DBLP DOI BibTeX RDF
1	Yannis Tzitzikas, Carlo Meghini, Nicolas Spyratos	Towards a Generalized Interaction Scheme for Information Access.	FoIKS	2004	DBLP DOI BibTeX RDF
1	Latifur Khan, Dennis McLeod, Eduard H. Hovy	Retrieval effectiveness of an ontology-based model for information selection.	VLDB J.	2004	DBLP DOI BibTeX RDF	Ontology, Metadata, SQL, Audio, Precision, Recall
1	Martin Holub	A new approach to conceptual document indexing: building a hierarchical system of concepts based on document clusters.	ISICT	2003	DBLP DOI BibTeX RDF
1	Miguel Castro, Rodrigo Rodrigues, Barbara Liskov	BASE: Using abstraction to improve fault tolerance.	ACM Trans. Comput. Syst.	2003	DBLP DOI BibTeX RDF	asynchronous systems, Byzantine fault tolerance, N-version programming, state machine replication, proactive recovery
1	Thomas Hummel, Øyvind Strømme, Ryan M. La Salle	Earning a Living among Peers - the Quest for viable P2P Revenue Models. (PDF / PS)	HICSS	2003	DBLP DOI BibTeX RDF
1	Franck Rousseau, Justinian Oprescu, Laurentiu-Sorin Paun, Andrzej Duda	Omnisphere: a Personal Communication Environment. (PDF / PS)	HICSS	2003	DBLP DOI BibTeX RDF	ambient services, wireless appliances, service discovery, ambient networking
1	Jens Gustavsson	A Classification of Unanticipated Runtime Software Changes in Java.	ICSM	2003	DBLP DOI BibTeX RDF
1	Brigitte Pientka, Frank Pfenning	Optimizing Higher-Order Pattern Unification.	CADE	2003	DBLP DOI BibTeX RDF
1	Daniela Degenring, Mathias Röhl, Adelinde Uhrmacher	Discrete Event Simulation for a Better Understanding of Metabolite Channeling - A System Theoretic Approach.	CMSB	2003	DBLP DOI BibTeX RDF
1	Egidio Astesiano, Gianna Reggio	Knowledge structuring and representation in requirement specificaiton.	SEKE	2002	DBLP DOI BibTeX RDF
1	Latifur Khan, Feng Luo	Ontology Construction for Information Selection. (PDF / PS)	ICTAI	2002	DBLP DOI BibTeX RDF
1	Claudio Bettini, Simone Ruffini	Deriving Abstract Views of Multi-granularity Temporal Constraint Networks.	DEXA	2002	DBLP DOI BibTeX RDF
1	Alexander Kuckelberg, Ralph Krieger	Efficient Structure Oriented Storage of XML Documents Using ORDBMS.	EEXTT	2002	DBLP DOI BibTeX RDF
1	Rodrigo Rodrigues, Miguel Castro, Barbara Liskov	BASE: Using Abstraction to Improve Fault Tolerance.	SOSP	2001	DBLP DOI BibTeX RDF
1	Herman Chung-Hwa Rao, Di-Fa Chang, Yih-Farn Chen, Ming-Feng Chen	iMobile: a proxy-based platform for mobile services.	Wireless Mobile Internet	2001	DBLP DOI BibTeX RDF	CDPD, POP3, telnet, mobile computing, wireless, TCP/IP, instant messaging, TDMA, SMS, proxy, home network, WAP, GSM, X10, IMAP
1	Remzi H. Arpaci-Dusseau, Andrea C. Arpaci-Dusseau	Fail-Stutter Fault Tolerance.	HotOS	2001	DBLP DOI BibTeX RDF
1	Miguel Castro, Rodrigo Rodrigues, Barbara Liskov	Using Abstraction To Improve Fault Tolerance.	HotOS	2001	DBLP DOI BibTeX RDF
1	I-Ling Yen, Latifur Khan, Balakrishnan Prabhakaran, Farokh B. Bastani, John Linn	An On-Line Repository for Embedded Software. (PDF / PS)	ICTAI	2001	DBLP DOI BibTeX RDF
1	Yves Ledru, Lydie du Bousquet, Pierre Bontron, Olivier Maury, Catherine Oriat, Marie-Laure Potet	Test Purposes: Adapting the Notion of Specification to Testing.	ASE	2001	DBLP DOI BibTeX RDF
1	Jeremiah Wittevrongel, Frank Maurer	SCENTOR: Scenario-Based Testing of E-Business Applications. (PDF / PS)	WETICE	2001	DBLP DOI BibTeX RDF
1	Jan Poland, Kosmas Knödler, Alexander Mitterer, Thomas Fleischhauer, Frank Zuber-Goos, Andreas Zell	Evolutionary Search for Smooth Maps in Motor Control Unit Calibration.	SAGA	2001	DBLP DOI BibTeX RDF	Control Unit Calibration, Variable Alphabet Coding, Hybrid GA, Smooth Maps, Genetic Algorithm, Combinatorial Optimization, NP-hard
1	Iyad Ouaiss, Ranga Vemuri	Efficient Resource Arbitration in Reconfigurable Computing Environments.	DATE	2000	DBLP DOI BibTeX RDF
1	Michael Mock, Martin Gergeleit, Edgar Nett	Monitoring Distributed Real-Time Activities in DCOM.	ISORC	2000	DBLP DOI BibTeX RDF	distributed object-oriented frameworks, real-time monitoring, DCOM
1	Dominique Borrione, Julia Dushina, Laurence V. Pierre	A compositional model for the functional verification of high-level synthesis results.	IEEE Trans. VLSI Syst.	2000	DBLP DOI BibTeX RDF
1	Ralf Ackermann, Vasilios Darlagiannis, Utz Roedig, Ralf Steinmetz	Using DMIF for Abstracting from IP-Telephony Signaling Protocols.	IDMS	2000	DBLP DOI BibTeX RDF	DMIF, SIP, MPEG-4, Signaling, Internet Telephony, H.323
1	Giampaolo Bella	Lack of Explicitness Strikes Back (Transcript of Discussion).	Security Protocols Workshop	2000	DBLP DOI BibTeX RDF
1	Susanna Donatelli, Serge Haddad, Patrice Moreaux	Structured Characterization of the Markov Chain of Phase-Type SPN.	Computer Performance Evaluation (Tools)	1998	DBLP DOI BibTeX RDF
1	Keith Stenning	Aligning Logical and Psychological Contributions to the Understanding of Human Reasoning.	Kognitionswissenschaft	1998	DBLP DOI BibTeX RDF
1	Paul A. Bailes, Paul Burnim, Murray Chapman	Mapping Ada Source Code into an Abstract Program Space.	APSEC	1997	DBLP DOI BibTeX RDF	Visualization, Ada, Design Recovery
1	Leo Bachmair, Ta Chen, C. R. Ramakrishnan, I. V. Ramakrishnan	Subsumption Algorithms Based on Search Trees.	CAAP	1996	DBLP DOI BibTeX RDF
1	Moira C. Norrie, Martin Wunderli	Agent-Based Tool Integration for Distributed Information Systems.	CAiSE	1996	DBLP DOI BibTeX RDF
1	Clemens Fischer, Wil Janssen	Synchronous Development of Asynchonous Systems.	CONCUR	1996	DBLP DOI BibTeX RDF
1	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
1	Qiming Chen, Ming-Chien Shan	Abstract View Objects for Multiple OODB Integration.	ISOTAS	1993	DBLP DOI BibTeX RDF
1	Uwe Hohenstein, Erik Odberg	A C++ Database Interface Based on the Entity-Relationship Approach.	BNCOD	1993	DBLP DOI BibTeX RDF
1	Ramarao Kanneganti, Robert Cartwright	What is a Universal Higher-Order Programming Language?	ICALP	1993	DBLP DOI BibTeX RDF
1	Alan M. Frisch, Anthony G. Cohn	An Abstract View of Sorted Unification.	CADE	1992	DBLP DOI BibTeX RDF
1	J. Christian Fritzsche, Martin Boerger, Hartmut Braun	An Abstract View on Multimedia Devices in Distributed Systems.	NETWORKS	1992	DBLP BibTeX RDF
1	Gul Agha	The Structure and Semantics of Actor Languages.	REX Workshop	1990	DBLP DOI BibTeX RDF	Programming Language Theory, Concurrent Programming Structures, Distributed Systems, Concurrency, Object-Oriented Programming, Actors, Multiprocessor Architectures
1	Alessandro Giacalone	XY-WINS: An Integraded Environment for Developing Graphical User Interfaces.	ACM Symposium on User Interface Software and Technology	1988	DBLP DOI BibTeX RDF