Search results for "QL-implications"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
8	Richard A. Smith	Background Use of Sensitive Information to Aid in Analysis of Non-sensitive Data on Threats and Vulnerabilities.	ISI	2005	DBLP DOI BibTeX RDF
8	Kunal K. Dave, Vishwani D. Agrawal, Michael L. Bushnell	Using Contrapositive Law in an Implication Graph to Identify Logic Redundancies.	VLSI Design	2005	DBLP DOI BibTeX RDF
8	Ravi R. Iyer 0001	Characterization and Evaluation of Cache Hierarchies for Web Servers.	World Wide Web	2004	DBLP DOI BibTeX RDF	chipsets, snoop filters, simulation, performance evaluation, memory hierarchy, web servers, cache coherence, shared caches, commercial workloads
8	Fionn Murtagh	On Ultrametricity, Data Coding, and Computation.	J. Classif.	2004	DBLP DOI BibTeX RDF
8	Alexander Serenko, Brian Detlor	Intelligent agents as innovations.	AI Soc.	2004	DBLP DOI BibTeX RDF	Intelligent agents, Innovation, Diffusion of innovations
8	J. Balasubramaniam 0001, C. Jagan Mohan Rao	On the distributivity of implication operators over T and S norms.	IEEE Trans. Fuzzy Syst.	2004	DBLP DOI BibTeX RDF
8	Eric E. Allen, Robert Cartwright	Safe instantiation in generic Java.	PPPJ	2004	DBLP DOI BibTeX RDF
8	Michael Zoumboulakis, George Roussos, Alexandra Poulovassilis	Active rules for wireless networks of sensors & actuators.	SenSys	2004	DBLP DOI BibTeX RDF	publish/subscribe, active databases, ECA rules, sensor databases, event management
8	Hsiao-Tieh Pu	A Query Analytic Model for Image Retrieval.	ICADL	2004	DBLP DOI BibTeX RDF
8	Youssef Hassoun, Roger Johnson, Steve Counsell	A Dynamic Runtime Coupling Metric for Meta-Level Architectures.	CSMR	2004	DBLP DOI BibTeX RDF
8	Rudolf Wille	Implicational Concept Graphs.	ICCS	2004	DBLP DOI BibTeX RDF
8	Timo Jokela, Pekka Abrahamsson	Usability Assessment of an Extreme Programming Project: Close Co-operation with the Customer Does Not Equal to Good Usability.	PROFES	2004	DBLP DOI BibTeX RDF
8	Eduardo R. de Lima, Santiago J. Flores, Vicenc Almenar-Terre, Ma José Canet	Analysis and Contrast Between STC and Spatial Diversity Techniques for OFDM WLAN with Channel Estimation.	ICT	2004	DBLP DOI BibTeX RDF
8	Gordon Bell, Jim Gemmell, Roger Lueder	Challenges in using lifetime personal information stores.	SIGIR	2004	DBLP DOI BibTeX RDF	hyper-text, personal information storage and retrieval, recording devices for personal information, ontology, facets
8	Isabel John, Klaus Schmid	Starting Product Lines (I) - Systematic Product Line Planning and Adoption.	SPLC	2004	DBLP DOI BibTeX RDF
8	Eduardo R. de Lima, Santiago J. Flores, Vicenc Almenar-Terre, Ma José Canet	Analysis and Contrast Between STC and Spatial Diversity Techniques for OFDM WLAN with Channel Estimation.	SAPIR	2004	DBLP DOI BibTeX RDF
8	Leonid Kof, Bernhard Schätz	Combining Aspects of Reactive Systems.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
8	Jesús Medina 0001, Manuel Ojeda-Aciego, Agustín Valverde, Peter Vojtás	Towards Biresiduated Multi-adjoint Logic Programming.	CAEPIA	2003	DBLP DOI BibTeX RDF
8	Jonathan Grudin	Leaders leading? a shift in technology adoption.	CHI Extended Abstracts	2003	DBLP DOI BibTeX RDF	management, organization, adoption, messaging
8	P. Krishna Gummadi, Richard J. Dunn, Stefan Saroiu, Steven D. Gribble, Henry M. Levy, John Zahorjan	Measurement, modeling, and analysis of a peer-to-peer file-sharing workload.	SOSP	2003	DBLP DOI BibTeX RDF	multimedia workloads, modeling, peer-to-peer, measurement, Zipf's law
8	Stefan Bechtold	The Present and Future of DRM - Musings on Emerging Legal Problems.	Digital Rights Management	2003	DBLP DOI BibTeX RDF
8	Karen Ward, David G. Novick	Hands-free documentation.	SIGDOC	2003	DBLP DOI BibTeX RDF	hands-free, speech, modality, spoken-language interface
8	Thomas A. Horan, Benjamin L. Schooley	Convergence Through Solution Interoperability: Case Study of Integrated Telecommunication Design and Incremental Deployment.	HICSS	2003	DBLP DOI BibTeX RDF
8	Qing Wang, Dwight J. Makaroff, H. Keith Edwards, Ryan Thompson	Workload characterization for an E-commerce web site.	CASCON	2003	DBLP BibTeX RDF	performance evaluation, electronic commerce, workload characterization
8	Perdita Stevens	On the interpretation of binary associations in the Unified Modelling Language.	Softw. Syst. Model.	2002	DBLP DOI BibTeX RDF	UML, Association, Link
8	Pär Carlshamre	Release Planning in Market-Driven Software Product Development: Provoking an Understanding.	Requir. Eng.	2002	DBLP DOI BibTeX RDF	Pragmatic algorithm, Provotype, Requirements coupling, Requirements interdependencies, Release planning, Wicked problem
8	Luminita Dumitriu	Interactive Mining and Knowledge Reuse for the Closed-Itemset Incremental-Mining Problem.	SIGKDD Explor.	2002	DBLP DOI BibTeX RDF	association rules, formal concept analysis, Frequent itemsets
8	Bjørn Erik Munkvold, Sandeep Purao	Special issue on: E-commerce systems development practices.	Data Base	2002	DBLP DOI BibTeX RDF
8	Kui Zhang, Ting Chen 0006, Michael S. Waterman, Zhaohui S. Qin, Jun S. Liu, Fengzhu Sun	Dynamic Programming Algorithms for Haplotype Block Partitioning and Tag SNP Selection Using Haplotype Data or Genotype Data.	Computational Methods for SNPs and Haplotype Inference	2002	DBLP DOI BibTeX RDF
8	Danilo Ardagna, Chiara Francalanci	A cost-oriented methodology for the design of web based IT architectures.	SAC	2002	DBLP DOI BibTeX RDF	IT architectures, web architectures, cost minimization
8	Effie Lai-Chong Law, Ebba Thora Hvannberg	Complementarity and convergence of heuristic evaluation and usability test: a case study of universal brokerage platform.	NordiCHI	2002	DBLP DOI BibTeX RDF	brokerage platform, usability test, heuristics evaluation, usability problem
8	Mats Lind, Geoffrey P. Bingham, Camilla Forsell	The Illusion of Perceived Metric 3D Structure.	INFOVIS	2002	DBLP DOI BibTeX RDF
8	Lawrence T. Clark, Neil Deutscher, Shay Demmons, Franco Ricci	Standby power management for a 0.18µm microprocessor.	ISLPED	2002	DBLP DOI BibTeX RDF	body effect, low power, microprocessors
8	Clay Spinuzzi	Documentation, participatory citizenship, and the web: the potential of open systems.	SIGDOC	2002	DBLP DOI BibTeX RDF	open systems, customer relationship management
8	Ritu Agarwal, Florence Rodhain	Mine or Ours: Email Privacy Expectations, Employee Attitudes, and Perceived Work Environment Characteristics.	HICSS	2002	DBLP DOI BibTeX RDF
8	Helena Holmström, Ola Henfridsson	Customer Role Ambiguity in Community Management.	HICSS	2002	DBLP DOI BibTeX RDF	Product-centered communities, customer role ambiguity, enhanced customer role, community management
8	Samuli Pekkola, Jukka Heikkilä, Virpi Kristiina Tuunainen	Launching Multi-modal Interaction on an EC-Site.	HICSS	2002	DBLP DOI BibTeX RDF	Communication, Electronic Commerce, Awareness, Virtual Communities
8	Djamal Habet, Chu Min Li, Laure Devendeville, Michel Vasquez	A Hybrid Approach for SAT.	CP	2002	DBLP DOI BibTeX RDF
8	George Roussos, Juha Tuominen, Leda Koukara, Olli Seppala, Panos Kourouthanasis, George M. Giaglis, Jeroen Frissaer	A case study in pervasive retail.	Workshop Mobile Commerce	2002	DBLP DOI BibTeX RDF	retail systems, mobile, trust, pervasive computing, GSM
8	Farag Azzedin, Muthucumaru Maheswaran	Integrating Trust into Grid Resource Management Systems.	ICPP	2002	DBLP DOI BibTeX RDF	security, Grid computing, trust, resource management system
8	Girish Varatkar, Radu Marculescu	Traffic analysis for on-chip networks design of multimedia applications.	DAC	2002	DBLP DOI BibTeX RDF	self-similarity, system-level design, long-range dependence, on-chip networks, communication analysis
8	Frantisek Matús	Conditional Independences in Gaussian Vectors and Rings of Polynomials.	WCII	2002	DBLP DOI BibTeX RDF
8	Philip G. Calabrese	Reflections on Logic and Probability in the Context of Conditionals.	WCII	2002	DBLP DOI BibTeX RDF
8	Stuart A. Selber	Notes toward a socially informed pedagogy for computer documentation.	ACM J. Comput. Documentation	2001	DBLP DOI BibTeX RDF	user interface, documentation, online help
8	Michael Mitzenmacher	The Power of Two Choices in Randomized Load Balancing.	IEEE Trans. Parallel Distributed Syst.	2001	DBLP DOI BibTeX RDF	limiting systems, distributed systems, Load balancing, queuing theory, choices
8	Christopher P. Holland, Ben Light	A stage maturity model for enterprise resource planning systems use.	Data Base	2001	DBLP DOI BibTeX RDF	IS evolution, IS maturity, standard package, ERP, enterprise resource planning, legacy systems, systems implementation, competitive advantage, standard software
8	Darren Dalcher	Ambulance Despatch Systems: The Melbourne Story.	ECBS	2001	DBLP DOI BibTeX RDF
8	Kerstin Dautenhahn	The Narrative Intelligence Hypothesis: In Search of the Transactional Format of Narratives in Humans and Other Social Animals.	Cognitive Technology	2001	DBLP DOI BibTeX RDF
8	J. Willmott, L. I. Wright, David B. Arnold, A. M. Day	Rendering of large and complex urban environments for real time heritage reconstructions.	Virtual Reality, Archeology, and Cultural Heritage	2001	DBLP DOI BibTeX RDF	occluder shadows, view frustum culling, level of detail, avatars, ROAM, openGL, urban environments, culling
8	Philippas Tsigas, Yi Zhang 0004	Evaluating the performance of non-blocking synchronization on shared-memory multiprocessors.	SIGMETRICS/Performance	2001	DBLP DOI BibTeX RDF
8	Peter Bollmann-Sdorra, Aladdin Hafez, Vijay V. Raghavan 0001	A Theoretical Framework for Association Mining Based on the Boolean Retrieval Model.	DaWaK	2001	DBLP DOI BibTeX RDF	Theory of Association Mining, Boolean Retrieval Model, Data Mining, Association Mining
8	Richard A. Guedj	Law and regulation to include elderly in innovations stream.	Workshop on Universal Accessibility of Ubiquitous Computing	2001	DBLP DOI BibTeX RDF	enhanced services, incentives and obligations, patent law, principles (to base universal service), universal service, ubiquitous computing, universal access, regulation, law, elderly people, intellectual property rights, technological innovations
8	B. J. Fogg, Jonathan Marshall, Othman Laraki, Alex Osipovich, Chris Varma, Nicholas Fang, Jyoti Paul, Akshay Rangnekar, John Shon, Preeti Swani, Marissa Treinen	What makes Web sites credible?: a report on a large quantitative study.	CHI	2001	DBLP DOI BibTeX RDF	online research, World Wide Web, usability, Web design, trustworthiness, credibility, expertise, captology
8	Johnny Accot, Shumin Zhai	Scale effects in steering law tasks.	CHI	2001	DBLP DOI BibTeX RDF	C-D ratio, control gain, device size, elbow, limb, movement scale, input device, motor control, arm, hand, steering law, finger, joints, wrist
8	Bernhard Ganter, Sergei O. Kuznetsov	Pattern Structures and Their Projections.	ICCS	2001	DBLP DOI BibTeX RDF
8	A. P. Sakis Meliopoulos, Bruce Fardanesh, Shalom Zelingher	Power System State Estimation: Modeling Error Effects and Impact on System Operation.	HICSS	2001	DBLP DOI BibTeX RDF	Multiphase, Probability, Estimation, Asymmetry
8	David V. Gibson, Pedro Conceição, Tae Kyung Sung	Knowledge/Technology Transfer and Adoption - Minitrack Introduction.	HICSS	2001	DBLP DOI BibTeX RDF
8	Jian-Kun Zhao, Jeffrey A. Newquist, Janak H. Patel	A Graph Traversal Based Framework For Sequential Logic Implication With An Application To C-Cycle Redundancy Identification.	VLSI Design	2001	DBLP DOI BibTeX RDF
8	Debjyoti Paul, Mitrajit Chatterjee, Dhiraj K. Pradhan	VERILAT: verification using logic augmentation and transformations.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2000	DBLP DOI BibTeX RDF
8	Charles J. Alpert, Andrew E. Caldwell, Andrew B. Kahng, Igor L. Markov	Hypergraph partitioning with fixed vertices [VLSI CAD].	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2000	DBLP DOI BibTeX RDF
8	Penelope Brown	Technology and Trust in Teams.	AIWoRC	2000	DBLP DOI BibTeX RDF
8	Mark Crovella	Performance Characteristics of the World Wide Web.	Performance Evaluation	2000	DBLP DOI BibTeX RDF
8	György Miklós, András Rácz, Zoltán Richard Turányi, András Gergely Valkó, Per Johansson	Performance aspects of Bluetooth scatternet formation.	MobiHoc	2000	DBLP DOI BibTeX RDF
8	William R. Gates, Mitchell J. McCarthy	United States Marine Corps aerial refueling requirements analysis.	WSC	2000	DBLP DOI BibTeX RDF
8	Michel R. V. Chaudron, Edwin D. de Jong	Components Are from Mars.	IPDPS Workshops	2000	DBLP DOI BibTeX RDF
8	Gro Bjerknes, Lars Mathiassen	Improving the Customer-Supplier Relation in IT Development.	HICSS	2000	DBLP DOI BibTeX RDF
8	Julia Rose Galliers, Alistair G. Sutcliffe, Shailey Minocha	An impact analysis method for safety-critical user interface design.	ACM Trans. Comput. Hum. Interact.	1999	DBLP DOI BibTeX RDF	scenario-based casual analysis, human error, Bayesian belief networks, safety-critical
8	Neal Lane	Advancing the Digital Economy into the 21st Century.	Inf. Syst. Frontiers	1999	DBLP DOI BibTeX RDF	digital economy
8	Anne Adams, Martina Angela Sasse	Taming the wolf in sheep's clothing: privacy in multimedia communications.	ACM Multimedia (1)	1999	DBLP DOI BibTeX RDF	privacy, trust, multicasting, multimedia communications, grounded theory
8	Nancy J. Wahl	YAATCE - yet another approach to teaching computer ethics.	SIGCSE	1999	DBLP DOI BibTeX RDF
8	Nigel Harvey, Clare Harries	Using Advice and Assessing its Usefulness.	HICSS	1999	DBLP DOI BibTeX RDF
8	Christiane Frougny, Jacques Sakarovitch	A Rewrite System Associated with Quadratic Pisot Units.	RTA	1999	DBLP DOI BibTeX RDF
8	Samin S. Ishtiaq, David J. Pym	Kripke Resource Models of a Dependently-Typed, Bunched lambda-Calculus.	CSL	1999	DBLP DOI BibTeX RDF
8	Sujit Dey, Vijay Gangaram, Miodrag Potkonjak	A controller redesign technique to enhance testability of controller-data path circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1998	DBLP DOI BibTeX RDF
8	Edward C. Malthouse	Limitations of nonlinear PCA as performed with generic neural networks.	IEEE Trans. Neural Networks	1998	DBLP DOI BibTeX RDF
8	Maroun Kassab, Eduard Cerny, Sidi Aourid, Thomas H. Krodel	Propagation of Last-Transition-Time Constraints in Gate-Level Timing Analysis.	DATE	1998	DBLP DOI BibTeX RDF	Waveforms, Graph Dominators, Domain narrowing, Formal Verification, Timing Verification, Combinational Logic circuits
8	Lorenz Huelsbergen, Edward A. Rietman, Robert Slous	Evolution of Astable Multivibrators in Silico.	ICES	1998	DBLP DOI BibTeX RDF
8	Christopher M. Boroni, Frances W. Goosey, Michael T. Grinder, Rockford J. Ross	A paradigm shift! The Internet, the Web, browsers, Java and the future of computer science education.	SIGCSE	1998	DBLP DOI BibTeX RDF
8	Walter B. Ligon III, Scott McMillan, Greg Monn, Kevin Schoonover, Fred Stivers, Keith D. Underwood	A Re-evaluation of the Practicality of Floating-Point Operations on FPGAs.	FCCM	1998	DBLP DOI BibTeX RDF
8	Colin Ware, Kathy Lowther	Selection Using a One-Eyed Cursor in a Fish Tank VR Environment.	ACM Trans. Comput. Hum. Interact.	1997	DBLP DOI BibTeX RDF	picking, three-dimensional selection, virtual reality, Fitts' law, stereo vision
8	Michiel van Genuchten, Wieger Cornelissen, Cor van Dijk	Supporting Inspections With an Electronic Meeting System.	HICSS (2)	1997	DBLP DOI BibTeX RDF
8	Yuval Shahar	Knowledge-Based Temporal Interpolation.	TIME	1997	DBLP DOI BibTeX RDF	Temporal Interpolation, Temporal ontologies, Knowledge bases, Temporal databases, Temporal reasoning
8	Sandy Tyndale-Biscoe, Bryan Wood	Machine responsibility-how to deal with it.	EDOC	1997	DBLP DOI BibTeX RDF	machine responsibility, Enterprise Language, Open Distributed Processing, distributed processing, Reference Model, enterprise modelling, IT systems, system specification, RM-ODP
8	Wolfgang Kunz, Dhiraj K. Pradhan, Sudhakar M. Reddy	A novel framework for logic verification in a synthesis environment.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1996	DBLP DOI BibTeX RDF
8	Paul R. Stephan, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli	Combinational test generation using satisfiability.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1996	DBLP DOI BibTeX RDF
8	Liam J. Bannon, Kari Kuutti	Shifting Perspectives on Organizational Memory: From Storage to Active Remembering.	HICSS (3)	1996	DBLP DOI BibTeX RDF
8	Scott L. Schneberger, Ephraim R. McLean	Distributed Computing Environment Software Maintenance: Problems of Measurement and Research.	HICSS (4)	1996	DBLP DOI BibTeX RDF
8	Thomas A. Henzinger, Peter W. Kopke	State Equivalences for Rectangular Hybrid Automata.	CONCUR	1996	DBLP DOI BibTeX RDF
8	Sujit Dey, Vijay Gangaram, Miodrag Potkonjak	A controller-based design-for-testability technique for controller-data path circuits.	ICCAD	1995	DBLP DOI BibTeX RDF
8	Wolfgang Kunz, Dhiraj K. Pradhan	Recursive learning: a new implication technique for efficient solutions to CAD problems-test, verification, and optimization.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1994	DBLP DOI BibTeX RDF
8	Martin S. Olivier, Sebastiaan H. von Solms	A Taxonomy for Secure Object-Oriented Databases.	ACM Trans. Database Syst.	1994	DBLP DOI BibTeX RDF	multilevel secure databases, object-orientation, information security, formal security models
8	Christian Heinlein, Klaus Kuhn 0001, Peter Dadam	Representation of Medical Guidelines on Top of a Classification-Based System.	CIKM	1994	DBLP DOI BibTeX RDF
8	Petr Berka, Jirí Ivánek	Automated Knowledge Acquisition for PROSPECTOR-like Expert Systems.	ECML	1994	DBLP DOI BibTeX RDF
8	Tarek K. Abdel-Hamid, Kishore Sengupta, Daniel Ronan	Software Project Control: An Experimental Investigation of Judgment with Fallible Information.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	macro-level aspects, micro-empirical analysis, simulated software development project, software engineering, project management, software project management, software productivity, software project planning, laboratory experiment
8	Will E. Leland, Murad S. Taqqu, Walter Willinger, Daniel V. Wilson	On the Self-Similar Nature of Ethernet Traffic.	SIGCOMM	1993	DBLP DOI BibTeX RDF	Ethernet
8	Neff Walker, John B. Smelcer	A comparison of selection time from walking and pull-down menus.	CHI	1990	DBLP DOI BibTeX RDF
8	Robert A. Kowalski	The Treatment of Negation in Logic Programs for Representing Legislation.	ICAIL	1989	DBLP DOI BibTeX RDF
8	John L. Gustafson	Reevaluating Amdahl's Law.	Commun. ACM	1988	DBLP DOI BibTeX RDF
8	Bevan Smedley, Barry Aldred	Problems with Geo-Data.	Data Base Techniques for Pictorial Applications	1979	DBLP DOI BibTeX RDF
8	Jeffrey J. Folinus, Stuart E. Madnick, Howard B. Schutzman	Virtual Information in Data-Base Systems.	FDT Bull. ACM SIGFIDET SIGMOD	1974	DBLP DOI BibTeX RDF