Search results for "dependencies"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Yajie Zhu, Tai Xin, Indrakshi Ray	Recovering from Malicious Attacks in Workflow Systems.	DEXA	2005	DBLP DOI BibTeX RDF
14	Cleidson R. B. de Souza, Jon Froehlich, Paul Dourish	Seeking the source: software source code as a social and technical artifact.	GROUP	2005	DBLP DOI BibTeX RDF	data mining, social networks, socio-technical systems, software repositories
14	Ariel Fuxman, Phokion G. Kolaitis, Renée J. Miller, Wang Chiew Tan	Peer data exchange.	PODS	2005	DBLP DOI BibTeX RDF
14	Fang Chu, Yizhou Wang 0001, Douglas Stott Parker Jr., Carlo Zaniolo	Data cleaning using belief propagation.	IQIS	2005	DBLP DOI BibTeX RDF
14	Tyrone S. Toland, Csilla Farkas, Caroline M. Eastman	Dynamic Disclosure Monitor (D2Mon): An Improved Query Processing Solution.	Secure Data Management	2005	DBLP DOI BibTeX RDF
14	Marc Toussaint	Factorial representations to generate arbitrary search distributions.	GECCO Workshops	2005	DBLP DOI BibTeX RDF	search, representations, probabilistic models, genetic code
14	Slobodan Matic, Thomas A. Henzinger	Trading End-to-End Latency for Composability.	RTSS	2005	DBLP DOI BibTeX RDF
14	Anurag Agarwal, Vijay K. Garg	Efficient dependency tracking for relevant events in shared-memory systems.	PODC	2005	DBLP DOI BibTeX RDF	shared-memory, vector clock, predicate detection
14	David Zaretsky, Gaurav Mittal, Robert P. Dick, Prith Banerjee	Generation of Control and Data Flow Graphs from Scheduled and Pipelined Assembly Code.	LCPC	2005	DBLP DOI BibTeX RDF
14	Nirmal Ramalingam, Sanjukta Bhanja	Causal probabilistic input dependency learning for switching model in VLSI circuits.	ACM Great Lakes Symposium on VLSI	2005	DBLP DOI BibTeX RDF	cross-talk estimation, probabilistic learning, vector compaction, Bayesian networks, power estimation
14	Arnold L. Rosenberg	On Scheduling Mesh-Structured Computations for Internet-Based Computing.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF
14	Gultekin Özsoyoglu, Nevzat Hurkan Balkir, Z. Meral Özsoyoglu, Graham Cormode	On Automated Lesson Construction from Electronic Textbooks.	IEEE Trans. Knowl. Data Eng.	2004	DBLP DOI BibTeX RDF	electronic textbook data models, instructional modules, lesson construction, lesson construction heuristics, lesson complexity, topics, Electronic textbooks
14	Yi Hu, Brajendra Panda	A data mining approach for database intrusion detection.	SAC	2004	DBLP DOI BibTeX RDF	data mining, intrusion detection, database security
14	Karl Pauls, Richard S. Hall	Eureka - A Resource Discovery Service for Component Deployment.	Component Deployment	2004	DBLP DOI BibTeX RDF
14	Alexander Egyed	Resolving uncertainties during trace analysis.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF
14	Pawel Kaczmarek, Henryk Krawczyk	Influence of Exception Handling on Distributed Applications.	PARELEC	2004	DBLP DOI BibTeX RDF
14	Michael Knoke, Felix Kühling, Armin Zimmermann, Günter Hommel	Towards Correct Distributed Simulation of High-Level Petri Nets with Fine-Grained Partitioning.	ISPA	2004	DBLP DOI BibTeX RDF
14	Amr Awadallah, Mendel Rosenblum	The vMatrix: Server Switching.	FTDCS	2004	DBLP DOI BibTeX RDF	server multiplexing, server switching, load balancing, virtual machine monitor
14	Jun Li 0008, Keith Moore	Exploiting Global Causality in Testing of Distributed and Component-Based Applications.	ICSM	2004	DBLP DOI BibTeX RDF
14	Raphen Becker, Shlomo Zilberstein, Victor R. Lesser	Decentralized Markov Decision Processes with Event-Driven Interactions.	AAMAS	2004	DBLP DOI BibTeX RDF
14	Jianjun Zhao 0001, Baowen Xu	Measuring Aspect Cohesion.	FASE	2004	DBLP DOI BibTeX RDF
14	Alexander Egyed	A Scenario-Driven Approach to Trace Dependency Analysis.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	Unified Modeling Language (UML), Traceability, software models, test scenarios
14	Andreas Koeller, Elke A. Rundensteiner	Discovery of High-Dimensional.	ICDE	2003	DBLP DOI BibTeX RDF
14	Millist W. Vincent, Jixue Liu, Chengfei Liu	A Redundancy Free 4NF for XML.	Xsym	2003	DBLP DOI BibTeX RDF
14	Andrea Calì, Domenico Lembo, Riccardo Rosati 0001	On the decidability and complexity of query answering over inconsistent and incomplete databases.	PODS	2003	DBLP DOI BibTeX RDF
14	Eric P. Xing, Wei Wu 0023, Michael I. Jordan, Richard M. Karp	LOGOS: a modular Bayesian model for de novo motif detection.	CSB	2003	DBLP DOI BibTeX RDF
14	Mark Goldenberg, Paul Lu, Jonathan Schaeffer	TrellisDAG: A System for Structured DAG Scheduling.	JSSPP	2003	DBLP DOI BibTeX RDF
14	Zhenqiang Chen, Baowen Xu, Jianjun Zhao 0001	An overview of methods for dependence analysis of concurrent programs.	ACM SIGPLAN Notices	2002	DBLP DOI BibTeX RDF	concurrent program dependence graph, program dependence analysis, concurrency, program slicing
14	Cyrus Shahabi, Shahram Ghandeharizadeh, Surajit Chaudhuri	On Scheduling Atomic and Composite Continuous Media Objects.	IEEE Trans. Knowl. Data Eng.	2002	DBLP DOI BibTeX RDF	continuous media retrieval, multimedia, real-time scheduling, composite objects, temporal relationships, storage servers
14	Anasua Bhowmik, Manoj Franklin	Exploiting Data Value Prediction in Compiler Based Thread Formation.	HiPC	2002	DBLP DOI BibTeX RDF	data value prediction, parallelization, profiling, data dependency, thread-level parallelism (TLP), speculative multithreading (SpMT)
14	Peter Antal, Patrick Glenisson, Geert Fannes	On the potential of domain literature for clustering and Bayesian network learning.	KDD	2002	DBLP DOI BibTeX RDF	data mining, clustering, Bayesian networks, text mining
14	Djamal Habet, Chu Min Li, Laure Devendeville, Michel Vasquez	A Hybrid Approach for SAT.	CP	2002	DBLP DOI BibTeX RDF
14	Yung-Ruei Chang, Suprasad V. Amari, Sy-Yen Kuo	Reliability Evaluation of Multi-state Systems Subject to Imperfect Coverage using OBDD.	PRDC	2002	DBLP DOI BibTeX RDF
14	Brad T. Vander Zanden, Richard L. Halterman	Using model dataflow graphs to reduce the storage requirements of constraints.	ACM Trans. Comput. Hum. Interact.	2001	DBLP DOI BibTeX RDF	Class-instance model, dataflow constraints, language design and implementation, prototype-instance model, storage optimization, programming environments, graphical interfaces
14	Tsutomu Maruyama, Tsutomu Hoshino	A C to HDL Compiler for Pipeline Processing on FPGAs.	FCCM	2000	DBLP DOI BibTeX RDF
14	Dirk Hamann, Janne Järvinen, Andreas Birk 0001, Dietmar Pfahl	A Product-Process Dependency Definition Method.	EUROMICRO	1998	DBLP DOI BibTeX RDF
14	Kazuo J. Ezawa, Steven W. Norton	Constructing Bayesian Networks to Predict Uncollectible Telecommunications Accounts.	IEEE Expert	1996	DBLP DOI BibTeX RDF
14	Shaw-Yen Tseng, Chung-Ta King, Chuan Yi Tang	Profiling Dependence Vectors for Loop Parallelization.	IPPS	1996	DBLP DOI BibTeX RDF	linear subscript, parallel computing, parallelizing compiler, Dependence analysis, loop parallelization
14	José Duato	A Theory of Deadlock-Free Adaptive Multicast Routing in Wormhole Networks.	IEEE Trans. Parallel Distributed Syst.	1995	DBLP DOI BibTeX RDF	path-based multicast, graph theory, wormhole routing, Adaptive routing, multicomputers, virtual channels, multicast routing, deadlock avoidance
14	José Duato	A Necessary and Sufficient Condition for Deadlock-Free Adaptive Routing in Wormhole Networks.	IEEE Trans. Parallel Distributed Syst.	1995	DBLP DOI BibTeX RDF	Adaptive routing, multicomputers, virtual channels, deadlock avoidance, wormhole
14	Suman Kanjilal, Srimat T. Chakradhar, Vishwani D. Agrawal	Test function embedding algorithms with application to interconnected finite state machines.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1995	DBLP DOI BibTeX RDF
14	H. Rebecca Callison	A Time-Sensitive Object Model for Real-Time Systems.	ACM Trans. Softw. Eng. Methodol.	1995	DBLP DOI BibTeX RDF	programming techniques, real-time processing models, fault tolerance, concurrency, timing constraints, object models
14	Michele Boreale, Davide Sangiorgi	A Fully Abstract Semantics for Causality in the Pi-Calculus.	STACS	1995	DBLP DOI BibTeX RDF
14	Elisa Bertino, Claudio Bettini, Pierangela Samarati	A Temporal Authorization Model.	CCS	1994	DBLP DOI BibTeX RDF
14	Peter A. Flach	Predicate Invention in Inductive Data Engineering.	ECML	1993	DBLP DOI BibTeX RDF
14	Eric Andonoff, Christian Sallaberry, Gilles Zurfluh	Interactive Design of Object-Oriented Databases.	CAiSE	1992	DBLP DOI BibTeX RDF
14	Jyrki Kivinen, Heikki Mannila	Approximate Dependency Inference from Relations.	ICDT	1992	DBLP DOI BibTeX RDF
14	János Demetrovics, Lajos Rónyai, Hua nam Son	On the Composition and Decomposition of Attributes and Tuples.	ICDT	1992	DBLP DOI BibTeX RDF
14	Ke Wang	Polynomial Time Designs toward Both BCNF and Efficient Data Manipulation.	SIGMOD Conference	1990	DBLP DOI BibTeX RDF
14	Björn Lisper	Single-Assignment Semantics for Imperative Programs.	PARLE (2)	1989	DBLP DOI BibTeX RDF
14	Hong-Men Su, Pen-Chung Yew	On Data Synchronization for Multiprocessors.	ISCA	1989	DBLP DOI BibTeX RDF
14	Kazuaki J. Murakami, Naohiko Irie, Morihiro Kuga, Shinji Tomita	SIMP (Single Instruction stream/Multiple Instruction Pipelining): A Novel High-Speed Single-Processor Architecture.	ISCA	1989	DBLP DOI BibTeX RDF
14	Ebba Thora Hvannberg, Mukkai S. Krishnamoorthy	An object-based parallel programming assistant.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
14	Héctor J. Hernández, Edward P. F. Chan	A Characterization of Constant-time-mainteinability for BCNF Database Schemes.	SIGMOD Conference	1988	DBLP DOI BibTeX RDF
14	Janice M. Stone	Debugging Concurrent Processes: A Case Study.	PLDI	1988	DBLP DOI BibTeX RDF
14	V. Prasad Krothapalli, P. Sadayappan	An approach to synchronization for parallel computing.	ICS	1988	DBLP DOI BibTeX RDF
14	Catriel Beeri, Michael Kifer	Elimination of intersection anomalies from database schemes.	J. ACM	1986	DBLP DOI BibTeX RDF
14	Mark Moriconi, Dwight F. Hare	The PegaSys System: Pictures as Formal Documentation of Large Programs.	ACM Trans. Program. Lang. Syst.	1986	DBLP DOI BibTeX RDF	PegaSys
14	Catriel Beeri, Michael Kifer	An Integrated Approach to Logical Design of Relational Database Schemes.	ACM Trans. Database Syst.	1986	DBLP DOI BibTeX RDF
14	Nadine Lerat	Query Processing in Incomplete Logical Databases.	ICDT	1986	DBLP DOI BibTeX RDF
14	Yehoshua Sagiv	A Characterization of Globally Consistent Databases and Their Correct Access Paths.	ACM Trans. Database Syst.	1983	DBLP DOI BibTeX RDF	extension join, representative instance, universal relation scheme, relational database, relational algebra, functional dependency, chase, null value
14	Stavros S. Cosmadakis, Christos H. Papadimitriou	Updates of Relational Views.	PODS	1983	DBLP DOI BibTeX RDF
14	Catriel Beeri, Michael Kifer	Elimination of Intersection Anomalies from Database Schemes.	PODS	1983	DBLP DOI BibTeX RDF
14	Carlo Zaniolo, Michel A. Melkanoff	A Formal Approach to the Definition and the Design of Conceptual Schemata for Database Systems.	ACM Trans. Database Syst.	1982	DBLP DOI BibTeX RDF
14	Raymond Fadous	A hierarchical method for synthesizing relations.	ACM Southeast Regional Conference	1982	DBLP DOI BibTeX RDF	functional dependency, relational model, database schema, third normal form
14	Tomasz Imielinski, Witold Lipski Jr.	A Systematic Approach to Relational Database Theory.	SIGMOD Conference	1982	DBLP DOI BibTeX RDF
14	Alan M. Thompson	Logical Support in a Time-Varying Model.	CADE	1980	DBLP DOI BibTeX RDF
13	Matthias Riebisch, Stephan Bode, Qurat-ul-ann Farooq, Steffen Lehnert	Towards Comprehensive Modelling by Inter-model Links Using an Integrating Repository.	ECBS	2011	DBLP DOI BibTeX RDF	inter-model dependencies, model interconnection, dependency, traceability, repository, model-based development
13	Ashkan Sami, Seyed Mostafa Fakhrahmad	Design-level metrics estimation based on code metrics.	SAC	2010	DBLP DOI BibTeX RDF	approximate dependencies, software metrics, parameter estimation, fuzzy classification, software defect prediction
13	Marcelo Cataldo	Sources of errors in distributed development projects: implications for collaborative tools.	CSCW	2010	DBLP DOI BibTeX RDF	dependencies, experience, errors, concurrent engineering, collaborative tools, distributed development
13	Thomas Zimmermann 0001, Nachiappan Nagappan, Laurie A. Williams	Searching for a Needle in a Haystack: Predicting Security Vulnerabilities for Windows Vista.	ICST	2010	DBLP DOI BibTeX RDF	Complexity, Metrics, Prediction, Dependencies, Coverage, Vulnerabilities, Organizational Structure, Churn
13	Matthias Winkler, Thomas Springer 0001, Alexander Schill	Automating Composite SLA Management Tasks by Exploiting Service Dependency Information.	ECOWS	2010	DBLP DOI BibTeX RDF	composite SLA management, service dependencies, business processes, Internet of Services
13	Marko Samer, Stefan Szeider	Backdoor Sets of Quantified Boolean Formulas.	J. Autom. Reason.	2009	DBLP DOI BibTeX RDF	Backdoor sets, Variable dependencies, Parameterized complexity, Quantified Boolean formulas
13	Verónica Dahl, Erez Maharshak	DNA Replication as a Model for Computational Linguistics.	IWINAC (1)	2009	DBLP DOI BibTeX RDF	DNA replication, long distance dependencies, synthesis, analysis, computational linguistics, molecular biology, constraint handling rules
13	Krzysztof Wnuk, Björn Regnell, Claes Schrewelius	Architecting and Coordinating Thousands of Requirements - An Industrial Case Study.	REFSQ	2009	DBLP DOI BibTeX RDF	Large-scale requirements engineering, Requirements repositories, Requirements dependencies, Requirements architect, Empirical study
13	Andrea Calì, Georg Gottlob, Thomas Lukasiewicz	A general datalog-based framework for tractable query answering over ontologies.	PODS	2009	DBLP DOI BibTeX RDF	ontologies, semantic web, complexity, constraints, dependencies, datalog, conjunctive queries, query evaluation, tractability, chase
13	Andrea Calì, Georg Gottlob, Thomas Lukasiewicz	Datalog±: a unified approach to ontologies and integrity constraints.	ICDT	2009	DBLP DOI BibTeX RDF	ontologies, semantic web, complexity, databases, constraints, dependencies, datalog, conjunctive queries, query evaluation, tractability, chase
13	Jörg Kienzle, Wisam Al Abed, Jacques Klein	Aspect-oriented multi-view modeling.	AOSD	2009	DBLP DOI BibTeX RDF	aspect dependencies, binding, class diagram, sequence diagram, aspect-oriented modeling, state diagram, instantiation
13	Alberto Sardinha, Ruzanna Chitchyan, Nathan Weston, Phil Greenwood, Awais Rashid	EA-Analyzer: Automating Conflict Detection in Aspect-Oriented Requirements.	ASE	2009	DBLP DOI BibTeX RDF	Conflicting Dependencies, Requirements Composition, Requirements Analysis, Aspect-Oriented Software Development, Aspect-Oriented Requirements Engineering
13	Narasimha Bolloju, Sherry X. Sun	Enhancing the quality of use case models and activity diagrams using a differential quality model.	DESRIST	2009	DBLP DOI BibTeX RDF	quality dependencies, activity diagrams, use case models
13	Haibing Lu, Yingjiu Li	Practical Inference Control for Data Cubes.	IEEE Trans. Dependable Secur. Comput.	2008	DBLP DOI BibTeX RDF	Data dependencies, Inference engines
13	Radim Belohlávek, Vilém Vychodil	Adding background knowledge to formal concept analysis via attribute dependency formulas.	SAC	2008	DBLP DOI BibTeX RDF	attribute dependencies, completeness, formal concept analysis, background knowledge, entailment
13	Lamia Djoudi, Leïla Kloul	Assembly Code Analysis Using Stochastic Process Algebra.	EPEW	2008	DBLP DOI BibTeX RDF	Performance analysis, Stochastic process algebra, Assembly code, Data dependencies graph, Code optimisation
13	Jörn Sprado, Björn Gottfried	Grammar-Based Argument Construction.	KES (1)	2008	DBLP DOI BibTeX RDF	argument construction, cross-serial dependencies, historical theories, historical information sources, Formal grammars
13	Bogdan Simion, Catalin Adrian Leordeanu, Florin Pop, Valentin Cristea	A Hybrid Algorithm for Scheduling Workflow Applications in Grid Environments (ICPDP).	OTM Conferences (2)	2007	DBLP DOI BibTeX RDF	Tasks Dependencies, Workflow Applications, MonALISA, Grid Scheduling, DAG Scheduling
13	Cleidson R. B. de Souza, Tobias Hildenbrand, David F. Redmiles	Toward Visualization and Analysis of Traceability Relationships in Distributed and Offshore Software Development Projects.	SEAFOOD	2007	DBLP DOI BibTeX RDF	Traceability Relationships, Distributed and Global Software Development, Visualization, Dependencies, Offshore Software Development
13	Shiow-Yang Wu, Yu-tse Chang	A User-Centered Approach to Active Replica Management in Mobile Environments.	IEEE Trans. Mob. Comput.	2006	DBLP DOI BibTeX RDF	Dynamic replication, user profiles, data dependencies, mobile data management
13	Deepak Advani, Youssef Hassoun, Steve Counsell	Extracting refactoring trends from open-source software and a possible solution to the 'related refactoring' conundrum.	SAC	2006	DBLP DOI BibTeX RDF	object-oriented, dependencies, tool, refactoring, empirical analysis
13	Ronald Fagin, Phokion G. Kolaitis, Lucian Popa 0001	Data exchange: getting to the core.	ACM Trans. Database Syst.	2005	DBLP DOI BibTeX RDF	computational complexity, data integration, dependencies, data exchange, core, conjunctive queries, chase, query answering, Certain answers, universal solutions
13	Liguo Yu, Srini Ramaswamy	Categorization of common coupling in kernel based software.	ACM Southeast Regional Conference (2)	2005	DBLP DOI BibTeX RDF	definition-use analysis, kernel-based software, dependencies, modularity, common coupling
13	Virginia Dignum, Frank Dignum	Task and social coordination in agent organizations.	AAMAS	2005	DBLP DOI BibTeX RDF	coordination, dependencies, roles
13	Björn Brodén, Mikael Hammar, Bengt J. Nilsson	Online and Offline Algorithms for the Time-Dependent TSP with Time Zones.	Algorithmica	2004	DBLP DOI BibTeX RDF	The traveling salesman problem, The orienteering problem, Online algorithms, Time dependencies
13	Marcelo Arenas, Leonid Libkin	A normal form for XML documents.	ACM Trans. Database Syst.	2004	DBLP DOI BibTeX RDF	design, functional dependencies, normal form, DTDs, XML data
13	Debra E. VanderMeer, Anindya Datta, Kaushik Dutta, Krithi Ramamritham, Shamkant B. Navathe	Mobile User Recovery in the Context of Internet Transactions.	IEEE Trans. Mob. Comput.	2003	DBLP DOI BibTeX RDF	user recovery, parametric dependencies, dependent component action graph, Internet, Mobile, transaction, interaction model, ACID properties
13	Stephen R. Schach, Bo Jin, David R. Wright 0002, Gillian Z. Heller, A. Jefferson Offutt	Quality Impacts of Clandestine Common Coupling.	Softw. Qual. J.	2003	DBLP DOI BibTeX RDF	clandestine coupling, dependencies, Linux, open-source software, coupling, common coupling
13	Elizabeth F. Churchill, Les Nelson	Tangibly simple, architecturally complex: evaluating a tangible presentation aid.	CHI Extended Abstracts	2002	DBLP DOI BibTeX RDF	hidden dependencies, evaluation, tangible interfaces, presentations
13	S. K. Michael Wong, Cory J. Butz	Constructing the Dependency Structure of a Multiagent Probabilistic Network.	IEEE Trans. Knowl. Data Eng.	2001	DBLP DOI BibTeX RDF	dependency structure, multiagent systems, data dependencies, probabilistic reasoning, conditional independence, Probabilistic networks
13	H. Van Dyke Parunak, James Odell	Representing social structures in UML.	Agents	2001	DBLP DOI BibTeX RDF	AALAADIN, holarchy, UML, UML, protocols, dependencies, organizations, AUML
13	Janusz W. Laski, William Stanley, Pawel Podgorski	Beyond ASIS: program data bases and tool-oriented queries.	SIGAda	2001	DBLP DOI BibTeX RDF	program data bases, verification, testing, Ada, static analysis, Software, queries, dynamic analysis, program dependencies, ASIS
13	Hasan Davulcu, Michael Kifer, L. Robert Pokorny, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, Steven Dawson	Modeling and Analysis of Interactions in Virtual Enterprises.	RIDE	1999	DBLP DOI BibTeX RDF	transaction logic, security, verification, workflows, mediation, Virtual enterprises, temporal dependencies