Stem foundat$ (all stems)

249 papers:

FoSSaCS-2015-AbadiMP #data flow #difference

Foundations of Differential Dataflow (MA, FM, GDP), pp. 71–83.

ICFP-2015-Blanchette0T #perspective #proving #recursion

Foundational extensible corecursion: a proof assistant perspective (JCB, AP, DT), pp. 192–204.

CHI-2015-GiaccardiK #approach #experience #human-computer

Foundations of Materials Experience: An Approach for HCI (EG, EK), pp. 2447–2456.

SEKE-2015-Martoglia #information management #named #semantics

AMBIT: Semantic Engine Foundations for Knowledge Management in Context-dependent Applications (RM), pp. 146–151.

SIGIR-2015-Kantor #information retrieval

Revisiting the Foundations of IR: Timeless, Yet Timely (PBK), pp. 1125–1127.

ICSE-v2-2015-Stevens #declarative #query

A Declarative Foundation for Comprehensive History Querying (RS), pp. 907–910.

VMCAI-2015-PrabhakarS #abstraction #analysis #hybrid

Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems (PP, MGS), pp. 318–335.

CASE-2014-NgoS

A time fidelity control foundation for hierarchical discrete-event systems (QHN, KTS), pp. 443–448.

FoSSaCS-2014-AntonopoulosGHKO #induction #logic #problem

Foundations for Decision Problems in Separation Logic with General Inductive Predicates (TA, NG, CH, MIK, JO), pp. 411–425.

CSMR-WCRE-2014-Zaytsev #formal method #semiparsing

Formal foundations for semi-parsing (VZ), pp. 313–317.

ICPC-2014-StefikHMAYS #design #empirical #programming language #what

What is the Foundation of Evidence of Human Factors Decisions in Language Design? An Empirical Study on Programming Language Workshops (AS, SH, MM, AAA, SKY, SS), pp. 223–231.

ICALP-v2-2014-BonsangueRABR #algebra #induction

A Coalgebraic Foundation for Coinductive Union Types (MMB, JR, DA, FSdB, JJMMR), pp. 62–73.

FM-2014-BaiHWLLM #formal method #model checking #named #towards

TrustFound: Towards a Formal Foundation for Model Checking Trusted Computing Platforms (GB, JH, JW, YL, ZL, AM), pp. 110–126.

ICFP-2014-FredrikssonG #distributed #execution #semantics

Krivine nets: a semantic foundation for distributed execution (OF, DRG), pp. 349–361.

CHI-2014-BreretonRSH #design #research

Beyond ethnography: engagement and reciprocity as foundations for design research out here (MB, PR, RS, ALH), pp. 1183–1186.

VISSOFT-2014-BarikLCM #approach #compilation #developer #how #visualisation

How Developers Visualize Compiler Messages: A Foundational Approach to Notification Construction (TB, KL, SC, ERMH), pp. 87–96.

HILT-2014-Seidewitz #execution #modelling #uml

UML with meaning: executable modeling in foundational UML and the Alf action language (ES), pp. 61–68.

ICEIS-v2-2014-PodlouckyP #formal method #simulation #towards #validation

Towards Formal Foundations for BORM ORD Validation and Simulation (MP, RP), pp. 315–322.

ICEIS-v2-2014-XuLL #design #estimation #industrial #knowledge-based

Knowledge-based Design Cost Estimation Through Extending Industry Foundation Classes (SX, KL, WL), pp. 161–168.

KDIR-2014-JohnsonC #clustering #identification #network

Mathematical Foundations of Networks Supporting Cluster Identification (JEJ, JWC), pp. 277–285.

KEOD-2014-BrucatoD #modelling #ontology #simulation

The Minimal Ontology Principle — Philosophical Foundations of OPM-based Modelling and Simulation (JB, DD), pp. 405–409.

KR-2014-Morgenstern #concept #reasoning #representation

Representing and Reasoning about Time Travel Narratives: Foundational Concepts (LM).

ECOOP-2014-MillerHO #concurrent #named #type system

Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution (HM, PH, MO), pp. 308–333.

OOPSLA-2014-AminRO #dependent type

Foundations of path-dependent types (NA, TR, MO), pp. 233–249.

POPL-2014-AndersonFGJKSW #named #network #semantics

NetkAT: semantic foundations for networks (CJA, NF, AG, JBJ, DK, CS, DW), pp. 113–126.

RE-2014-ChopraDAGMS #named

Protos: Foundations for engineering innovative sociotechnical systems (AKC, FD, FBA, PG, JM, MPS), pp. 53–62.

FSE-2014-OverbeyBH #c #metaprogramming #refactoring

A foundation for refactoring C with macros (JLO, FB, MH), pp. 75–85.

SLE-J-2012-GuizzardiZ #concept #modelling #ontology #using

Using a trope-based foundational ontology for bridging different areas of concern in ontology-driven conceptual modeling (GG, VZ), pp. 417–443.

CASE-2013-ZhongLEHF #analysis #modelling #process #testing

Modeling and analysis of mammography testing process at a breast imaging center of University of Wisconsin medical foundation (XZ, JL, SME, CH, LF), pp. 611–616.

PODS-2013-CalvaneseGM #analysis #database #perspective #process

Foundations of data-aware process analysis: a database theory perspective (DC, GDG, MM), pp. 1–12.

ITiCSE-2013-SheardSCDH #assessment #programming

Assessment of programming: pedagogical foundations of exams (JS, S, AC, DJD, MH), pp. 141–146.

MSR-2013-Gala-PerezRGH #case study #evolution #metric #open source

Intensive metrics for the study of the evolution of open source projects: case studies from apache software foundation projects (SGP, GR, JMGB, IH), pp. 159–168.

MSR-2013-Squire #dataset

Project roles in the apache software foundation: a dataset (MS), pp. 301–304.

ICEIS-J-2013-SuB13a #fine-grained #graph #identification #security

Foundation for Fine-Grained Security and DRM Control Based on a Service Call Graph Context Identification (ZS, FB), pp. 226–241.

ICEIS-v1-2013-Frank #enterprise #modelling #multi #self

Multi-Perspective Enterprise Modelling as a Foundation of Method Engineering and Self-Referential Enterprise Systems (UF), p. IX.

ICEIS-v2-2013-CrawfordBSMM #information management #re-engineering

Knowledge Management and Creativity in Software Engineering — The Foundations of Agility (BC, CLdlB, RS, SM, EM), pp. 265–272.

KEOD-2013-KeetD #ontology

Addressing Issues in Foundational Ontology Mediation (CMK, ZCD), pp. 5–16.

PPDP-2013-JedynakBB #coq

An operational foundation for the tactic language of Coq (WJ, MB, DB), pp. 25–36.

RE-2013-0004CB #traceability

Foundations for an expert system in domain-specific traceability (JG, JCH, BB), pp. 42–51.

CADE-2013-ChihaniMR #first-order #logic #proving

Foundational Proof Certificates in First-Order Logic (ZC, DM, FR), pp. 162–177.

HT-2012-HartigF #execution #linked data #open data #query #traversal

Foundations of traversal based query execution over linked data (OH, JCF), pp. 43–52.

PODS-2012-Pierce #bidirectional #tutorial

Linguistic foundations for bidirectional transformations: invited tutorial (BCP), pp. 61–64.

ESOP-2012-Stroustrup #c++

Foundations of C++ (BS), pp. 1–25.

PLDI-2012-OliveiraSCLY #calculus #programming

The implicit calculus: a new foundation for generic programming (BCdSO, TS, WC, WL, KY), pp. 35–44.

GT-VMT-2012-LaraG #constraints #visual notation

Inter-Modelling with Graphical Constraints: Foundations and Applications (JdL, EG).

ICGT-2012-GolasLEG #flexibility #formal method #graph grammar #towards

Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars — Flexible Relations between Source and Target Elements (UG, LL, HE, HG), pp. 141–155.

CAiSE-2012-Guizzardi12a #concept #modelling #ontology

Ontological Foundations for Conceptual Modeling with Applications (GG), pp. 695–696.

CIKM-2012-Sadri #integration #on the #probability

On the foundations of probabilistic information integration (FS), pp. 882–891.

SIGIR-2012-Roelleke #information retrieval #modelling

IR models: foundations and relationships (TR), pp. 1187–1188.

GPCE-2012-DamianiPS #formal method #product line

A formal foundation for dynamic delta-oriented software product lines (FD, LP, IS), pp. 1–10.

POPL-2012-KammarP #algebra #optimisation

Algebraic foundations for effect-dependent optimisations (OK, GDP), pp. 349–360.

SLE-2012-GuizzardiZ #concept #modelling

A Common Foundational Theory for Bridging Two Levels in Ontology-Driven Conceptual Modeling (GG, VZ), pp. 286–310.

LICS-2012-TraytelPB #category theory #composition #data type #higher-order #logic #proving #theorem proving

Foundational, Compositional (Co)datatypes for Higher-Order Logic: Category Theory Applied to Theorem Proving (DT, AP, JCB), pp. 596–605.

FASE-2011-ZhangZL #api #complexity #graph

Flow-Augmented Call Graph: A New Foundation for Taming API Complexity (QZ, WZ, MRL), pp. 386–400.

ICSM-2011-Roover #detection #logic #metaprogramming #object-oriented #source code

A logic meta-programming foundation for example-driven pattern detection in object-oriented programs (CDR), pp. 556–561.

PEPM-2011-Rinard #bound #probability #program analysis #program transformation #source code

Probabilistic accuracy bounds for perforated programs: a new foundation for program analysis and transformation (MCR), pp. 79–80.

PLDI-2011-ParrF #generative #ll #parsing

LL(*): the foundation of the ANTLR parser generator (TP, KF), pp. 425–436.

ICFP-2011-CastagnaX #morphism #parametricity #polymorphism #type system

Set-theoretic foundation of parametric polymorphism and subtyping (GC, ZX), pp. 94–106.

CAiSE-2011-Guizzardi #concept #ontology

Ontological Foundations for Conceptual Part-Whole Relations: The Case of Collectives and Their Parts (GG), pp. 138–153.

CAiSE-2011-TranM #evolution #game studies #requirements #towards

Dealing with Known Unknowns: Towards a Game-Theoretic Foundation for Software Requirement Evolution (LMST, FM), pp. 62–76.

CAiSE-2011-WeidlichMW #approach #process #variability

A Foundational Approach for Managing Process Variability (MW, JM, MW), pp. 267–282.

ICEIS-v2-2011-NetoCMMG #energy #monitoring #quality #towards

Towards an Intelligent System for Monitoring Electrical Energy Quality — Foundations and Motivations (LBN, PHGC, JCCBSdM, LAM, EGG), pp. 40–45.

ICSE-2011-NiuMB #information management #navigation

Information foraging as a foundation for code navigation (NN, AM, GB), pp. 816–819.

ICSE-2011-StaatsWH #revisited #source code #testing

Programs, tests, and oracles: the foundations of testing revisited (MS, MWW, MPEH), pp. 391–400.

DAC-2010-Lee #continuation

CPS foundations (EAL), pp. 737–742.

DAC-2010-MirhoseiniAK #realtime

Real time emulations: foundation and applications (AM, YA, FK), pp. 623–624.

DAC-2010-WeiMP #hardware #security

Gate-level characterization: foundations and hardware security applications (SW, SM, MP), pp. 222–227.

PODS-2010-ArenasPRR

Foundations of schema mapping management (MA, JP, JLR, CR), pp. 227–238.

VLDB-2010-AgrawalSUW #integration

Foundations of Uncertain-Data Integration (PA, ADS, JDU, JW), pp. 1080–1090.

FoSSaCS-2010-SchwinghammerYBPR #semantics

A Semantic Foundation for Hidden State (JS, HY, LB, FP, BR), pp. 2–17.

TACAS-2010-CimattiFGSS #formal method #satisfiability

Satisfiability Modulo the Theory of Costs: Foundations and Applications (AC, AF, AG, RS, CS), pp. 99–113.

ICALP-v1-2010-BateniHIM #game studies #network

The Cooperative Game Theory Foundations of Network Bargaining Games (MB, MH, NI, HM), pp. 67–78.

ICGT-2010-Biermann #emf #formal method #graph transformation #model transformation

EMF Model Transformation Based on Graph Transformation: Formal Foundation and Tool Environment (EB), pp. 381–383.

ICEIS-ISAS-2010-Tagg #concept #modelling #ontology #towards

Towards a More Relationship-friendly Ontology Foundation for Conceptual Modelling (RT), pp. 368–373.

KEOD-2010-AnjumHY #ontology #verification

Cross Domain Knowledge Verification — Verifying Knowledge in Foundation Ontology based Domain Ontologies (NAA, JAH, BY), pp. 339–342.

SAC-2010-BelohlavekV10a #database #logic #query #similarity

Query systems in similarity-based databases: logical foundations, expressive power, and completeness (RB, VV), pp. 1648–1655.

SAC-2010-SantosAG #ontology #semantics

An ontology-based semantic foundation for ARIS EPCs (PSSJ, JPAA, GG), pp. 124–130.

ICSE-2010-MedvidovicT #architecture #theory and practice

Software architecture: foundations, theory, and practice (NM, RNT), pp. 471–472.

ICLP-2010-Saeedloei10 #cyber-physical #logic programming

Logic Programming Foundations of Cyber-Physical Systems (NS), pp. 289–293.

RTA-2010-Kahrs #revisited

Infinitary Rewriting: Foundations Revisited (SK), pp. 161–176.

WICSA-ECSA-2009-GarlanBSC #architecture #evolution #tool support

Evolution styles: Foundations and tool support for software architecture evolution (DG, JMB, BRS, OC), pp. 131–140.

FASE-2009-BottoniGL #formal method #modelling

Formal Foundation for Pattern-Based Modelling (PB, EG, JdL), pp. 278–293.

FoSSaCS-2009-Smith #data flow #on the

On the Foundations of Quantitative Information Flow (GS), pp. 288–302.

ICFP-2009-Pierce #education #programming language #proving #using

λ, the ultimate TA: using a proof assistant to teach programming language foundations (BCP), pp. 121–122.

AdaEurope-2009-Favre #formal method #metamodelling

A Formal Foundation for Metamodeling (LF), pp. 177–191.

ICEIS-ISAS-2009-Kumlander #framework #nondeterminism

Uncertainties Management Framework — Foundational Principles (DK), pp. 103–108.

ICMT-2009-Pierce #bidirectional #programming

Foundations for Bidirectional Programming (BCP), pp. 1–3.

GPCE-2009-GarciaL #metaprogramming #towards

Toward foundations for type-reflective metaprogramming (RG, AL), pp. 25–34.

PPDP-2009-CastagnaDGP

Foundations of session types (GC, MDC, EG, LP), pp. 219–230.

POPL-2009-BrunelDHLM #logic #model checking #using

A foundation for flow-based program matching: using temporal logic and model checking (JB, DD, RRH, JLL, GM), pp. 114–126.

TLCA-2009-TsukadaI #classification #logic

A Logical Foundation for Environment Classifiers (TT, AI), pp. 341–355.

PLDI-2008-BoehmA #c++ #concurrent #memory management

Foundations of the C++ concurrency memory model (HJB, SVA), pp. 68–78.

FLOPS-2008-AbelCD #algebra #on the #proving #type system

On the Algebraic Foundation of Proof Assistants for Intuitionistic Type Theory (AA, TC, PD), pp. 3–13.

GT-VMT-2008-Vangheluwe #modelling #simulation

Foundations of Modelling and Simulation of Complex Systems (HV).

EDOC-2008-AlmeidaG #concept #enterprise #modelling #semantics

A Semantic Foundation for Role-Related Concepts in Enterprise Modelling (JPAA, GG), pp. 31–40.

MoDELS-2008-CraneD #execution #formal method #modelling #set #towards #uml

Towards a Formal Account of a Foundational Subset for Executable UML Models (MLC, JD), pp. 675–689.

MoDELS-2008-CraneD #execution #formal method #modelling #set #towards #uml

Towards a Formal Account of a Foundational Subset for Executable UML Models (MLC, JD), pp. 675–689.

POPL-2008-JohannG #data type #programming

Foundations for structured programming with GADTs (PJ, NG), pp. 297–308.

POPL-2008-Pientka #higher-order #programming #syntax

A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutions (BP), pp. 371–382.

REFSQ-2008-PaechR #quality #requirements

REFSQ’08 International Working Conference on Requirements Engineering: Foundation for Software Quality (BP, CR), pp. 1–5.

ICLP-2008-PearceV #equilibrium #logic #quantifier #set #source code

Quantified Equilibrium Logic and Foundations for Answer Set Programs (DP, AV), pp. 546–560.

ICST-2008-LechnerB #workflow

Workflow Inspector — A Test Tool for Microsoft Workflow Foundation (AL, RB), pp. 498–501.

PODS-2007-DalviS #challenge #probability

Management of probabilistic data: foundations and challenges (NND, DS), pp. 1–12.

FoSSaCS-2007-Jagadeesan #aspect-oriented #formal method

Formal Foundations for Aspects (RJ), p. 1.

MSR-2007-Gonzalez-BarahonaRH #developer #process

Impact of the Creation of the Mozilla Foundation in the Activity of Developers (JMGB, GR, IH), p. 28.

IFM-2007-AuSC #precise #specification

Precise Scenarios — A Customer-Friendly Foundation for Formal Specifications (OA, RS, JC), pp. 21–36.

REFSQ-2007-SawyerPH #quality #requirements

REFSQ 2007 International Working Conference on Requirements Engineering: Foundation for Software Quality (PS, BP, PH), pp. 1–17.

CC-2007-SarkarB #linear

Extended Linear Scan: An Alternate Foundation for Global Register Allocation (VS, RB), pp. 141–155.

RTA-2007-Pfenning #logic #on the

On a Logical Foundation for Explicit Substitutions (FP), p. 19.

TLCA-2007-Pfenning #logic #on the

On a Logical Foundation for Explicit Substitutions (FP), p. 1.

VLDB-2006-ChaudhuriW #automation #database

Foundations of Automated Database Tuning (SC, GW), p. 1265.

ITiCSE-2006-Boetje #education #re-engineering

Foundational actions: teaching software engineering when time is tight (JB), pp. 285–288.

ESOP-2006-JiaW #automation #named #pointer #reasoning #source code

ILC: A Foundation for Automated Reasoning About Pointer Programs (LJ, DW), pp. 131–145.

ICGT-2006-EhrigOP #category theory #distributed #graph transformation

Categorical Foundations of Distributed Graph Transformation (HE, FO, UP), pp. 215–229.

ICGT-2006-Heckel #graph transformation #tutorial

Introductory Tutorial on Foundations and Applications of Graph Transformation (RH), pp. 461–462.

CHI-2006-ArguelloBJKLRW #community #interactive #online

Talk to me: foundations for successful individual-group interactions in online communities (JA, BSB, EJ, REK, KSL, CPR, XW), pp. 959–968.

ICEIS-AIDSS-2006-DebenhamS

A Foundation for Informed Negotiation (JKD, SJS), pp. 23–30.

KDD-2006-HettichP #lessons learnt #mining

Mining for proposal reviewers: lessons learned at the national science foundation (SH, MJP), pp. 862–871.

KR-2006-BlumeEH

Redoing the Foundations of Decision Theory (LEB, DAE, JYH), pp. 14–24.

KR-2006-CabalarOP #logic #semantics

Logical Foundations of Well-Founded Semantics (PC, SPO, DP), pp. 25–35.

KR-2006-ClassenL #knowledge-based #source code #using

Foundations for Knowledge-Based Programs using ES (JC, GL), pp. 318–328.

SPLC-2006-AsikainenMS #concept #feature model #modelling

A Unified Conceptual Foundation for Feature Modelling (TA, TM, TS), pp. 31–40.

CSL-2006-Truszczynski #algebra #logic

Nonmonotonic Logics and Their Algebraic Foundations (MT), pp. 58–71.

LICS-2006-Dawson #assessment #logic

Shaken Foundations or Groundbreaking Realignment? A Centennial Assessment of Kurt Gödel’s Impact on Logic, Mathematics, and Computer Science (JWD), pp. 339–341.

SIGMOD-2005-ChaudhuriW #automation #database

Foundations of automated database tuning (SC, GW), pp. 964–965.

SIGMOD-2005-SuciuD #probability #query

Foundations of probabilistic answers to queries (DS, NND), p. 963.

ESOP-2005-RanganathABDH #slicing

A New Foundation for Control-Dependence and Slicing for Modern Program Structures (VPR, TA, AB, MBD, JH), pp. 77–93.

FoSSaCS-2005-LaneveZ #transaction #web

Foundations of Web Transactions (CL, GZ), pp. 282–298.

SEFM-2005-Chalin #logic #question #what

Logical Foundations of Program Assertions: What do Practitioners Want? (PC), pp. 383–393.

SEFM-2005-SadaniSC #framework #petri net #verification

From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform (TS, PdSS, JPC), pp. 250–260.

CAiSE-2005-AnderssonBEIJ #declarative #modelling #process

A Declarative Foundation of Process Models (BA, MB, AE, TI, PJ), pp. 233–247.

SEKE-2005-LiuBY #development #formal method

A Formal Foundation of Code Pattern Based Development (JL, FBB, ILY), pp. 274–279.

POPL-2005-BruniMM #composition

Theoretical foundations for compensations in flow composition languages (RB, HCM, UM), pp. 209–220.

RTA-2005-Felty #approach #semantics #tutorial

A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code (APF), pp. 394–406.

TLCA-2005-Felty #approach #semantics #tutorial

A Tutorial Example of the Semantic Approach to Foundational Proof-Carrying Code: Abstract (APF), p. 10.

PODS-2004-CalvaneseGLR #integration #logic #peer-to-peer

Logical Foundations of Peer-To-Peer Data Integration (DC, GDG, ML, RR), pp. 241–251.

PODS-2004-GutierrezHM #database #semantics #web

Foundations of Semantic Web Databases (CG, CAH, AOM), pp. 95–106.

ITiCSE-2004-CunninghamMT

The US national science foundation and the ITiCSE effort (SC, ELM, HGT), p. 258.

SFM-2004-Selic #on the #semantics #standard #uml

On the Semantic Foundations of Standard UML 2.0 (BS), pp. 181–199.

ICFP-2004-AriolaHS #continuation

A type-theoretic foundation of continuations and prompts (ZMA, HH, AS), pp. 40–53.

ICGT-2004-ClarkESW #design #metamodelling #model transformation

Transformation Language Design: A Metamodelling Foundation (TC, AE, PS, JSW), pp. 13–21.

ICEIS-v3-2004-Nobre #complexity #design #learning

Organisational Learning — Foundational Roots for Design for Complexity (ÂLN), pp. 85–93.

KR-2004-MeyerFKZ #logic

Logical Foundations of Negotiation: Strategies and Preferences (TAM, NYF, RK, DZ), pp. 311–318.

POPL-2004-Ford #parsing expression grammar

Parsing expression grammars: a recognition-based syntactic foundation (BF), pp. 111–122.

CC-2004-Soffa #optimisation

Developing a Foundation for Code Optimization (MLS), pp. 1–4.

OSDI-2004-MacCormickMNTZ #abstraction #framework #named

Boxwood: Abstractions as the Foundation for Storage Infrastructure (JM, NM, MN, CAT, LZ), pp. 105–120.

ICLP-2004-CaldonM #implementation

Limiting Resolution: From Foundations to Implementation (PC, EM), pp. 149–164.

ASE-2003-HarrisR

Theoretical Foundations of Updating Systems (HH, MR), pp. 291–294.

DAC-2003-WongMP #case study #design

Design techniques for sensor appliances: foundations and light compass case study (JLW, SM, MP), pp. 66–71.

FASE-2003-Morasca #approach #metric

Foundations of a Weak Measurement-Theoretic Approach to Software Measurement (SM), pp. 200–215.

FME-2003-QinDC #programming #semantics

A Semantic Foundation for TCOZ in Unifying Theories of Programming (SQ, JSD, WNC), pp. 321–340.

PPDP-2003-WuAS #proving

Foundational proof checkers with small witnesses (DW, AWA, AS), pp. 264–274.

PADL-2003-LiM #constraints #datalog #trust

DATALOG with Constraints: A Foundation for Trust Management Languages (NL, JCM), pp. 58–73.

POPL-2003-Crary #assembly #towards

Toward a foundational typed assembly language (KC), pp. 198–212.

SAC-2003-GuH #internet #protocol #ubiquitous #web

Extended Internet Caching Protocol: A Foundation for Building Ubiquitous Web Caching (WG, AH), pp. 901–907.

CADE-2003-CraryS #framework #logic

Foundational Certified Code in a Metalogical Framework (KC, SS), pp. 106–120.

ICLP-2003-BruscoliG #logic programming #proving #tutorial

A Tutorial on Proof Theoretic Foundations of Logic Programming (PB, AG), pp. 109–127.

VLDB-2002-Date #matter

Foundation Matters (CJD).

VLDB-2002-Kiessling #database

Foundations of Preferences in Database Systems (WK), pp. 311–322.

CSEET-2002-GooldH #re-engineering

Foundation Software Engineering Practices for Capstone Projects and Beyond (AG, PH), p. 140–?.

CSEET-2002-UmphressH #education #learning #process

Software Process as a Foundation for Teaching, Learning and Accrediting (DAU, JAHJ), pp. 160–169.

WRLA-J-1996-DiaconescuF02 #logic

Logical foundations of CafeOBJ (RD, KF), pp. 289–318.

ICGT-2002-MontanariR #algebra #graph grammar #linear #order

Linear Ordered Graph Grammars and Their Algebraic Foundations (UM, LR), pp. 317–333.

CHI-2002-AccotZ #interface

More than dotting the i’s — foundations for crossing-based interfaces (JA, SZ), pp. 73–80.

CAiSE-2002-Liu #logic #xml

A Logical Foundation for XML (ML), pp. 568–583.

ICLP-2002-Pientka #higher-order #logic programming

A Proof-Theoretic Foundation for Tabled Higher-Order Logic Programming (BP), pp. 271–286.

LICS-2002-CalvaneseGL #information management #logic #representation

Description Logics: Foundations for Class-based Knowledge Representation (DC, GDG, ML), pp. 359–370.

LICS-2002-HamidSTMN #approach

A Syntactic Approach to Foundational Proof-Carrying Code (NAH, ZS, VT, SM, ZN), pp. 89–100.

CSEET-2001-SobelBCMRT #re-engineering

SWEBOK as an International Foundation for Software Engineering Program Accreditation (Panel) (AEKS, DJB, DAC, YM, PNR, JBT), p. 293.

ESOP-2001-HuthJS #program analysis

Modal Transition Systems: A Foundation for Three-Valued Program Analysis (MH, RJ, DAS), pp. 155–169.

FASE-2001-ClarkEK #calculus #metamodelling #semantics #uml

The Metamodelling Language Calculus: Foundation Semantics for UML (TC, AE, SK), pp. 17–31.

FoSSaCS-2001-KochMP #approach #data access #graph #policy #specification

Foundations for a Graph-Based Approach to the Specification of Access Control Policies (MK, LVM, FPP), pp. 287–302.

ICSM-2001-Mens #evolution #formal method #object-oriented

A Formal Foundation for Object-Oriented Software Evolution (TM), pp. 549–552.

FLOPS-2001-CaballeroLR #debugging #declarative #functional #lazy evaluation #logic programming #source code

Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs (RC, FJLF, MRA), pp. 170–184.

ICALP-2001-ViswanathanV #composition #reasoning

Foundations for Circular Compositional Reasoning (MV, RV), pp. 835–847.

FME-2001-Airchinnigh #towards

Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics (MMaA), pp. 396–418.

CSL-2001-PowerT #algebra

An Algebraic Foundation for Higraphs (JP, KT), pp. 145–159.

LICS-2001-Appel

Foundational Proof-Carrying Code (AWA), pp. 247–256.

TLCA-2001-Dowek #modulo theories

The Stratified Foundations as a Theory Modulo (GD), pp. 136–150.

VLDB-2000-CasatiS #automation #process

Process Automation as the Foundation for E-Business (FC, MCS), pp. 688–691.

FASE-2000-Parisi-PresicceW #configuration management #graph transformation #policy #using

Foundations for Software Configuration Management Policies Using Graph Transformations (FPP, ALW), pp. 304–318.

FoSSaCS-2000-Thiemann #adaptation #algebra #programming

An Algebraic Foundation for Adaptive Programming (PT), pp. 314–328.

WRLA-2000-Hilberdink #logic

New Foundations for Rewriting Logic (HH), pp. 43–69.

CSMR-2000-CoupayeE #deployment #enterprise

Foundations of Enterprise Software Deployment (TC, JE), pp. 65–74.

PEPM-2000-Pfenning #logic #on the #staged

On the Logical Foundations of Staged Computation (Abstract of Invited Talk) (FP), p. 33.

EDOC-2000-GenilloudW #concept #modelling

A Foundation for the Concept of Role in Object Modelling (GG, AW), pp. 76–85.

ICEIS-2000-DietzB #modelling #petri net #process #requirements

Petri Net Expressions of Demo Process Models as a Rigid Foundation for Requirements Engineering (JLGD, JB), pp. 267–274.

CIKM-2000-Albert #multi

Theoretical Foundations of Schema Restructuring in Heterogeneous Multidatabase Systems (JA), pp. 461–470.

TOOLS-PACIFIC-2000-Diskin #modelling #on the

On Mathematical Foundations for Business Modeling (Presented at TOOLS-USA 2000) (ZD), pp. 182–189.

GCSE-2000-TeschkeR #component #modelling #towards

Towards a Foundation of Component-Oriented Software Reference Models (TT, JR), pp. 70–84.

SAC-2000-NeumannZ #composition #towards

Towards the Usage of Dynamic Object Aggregations as a Foundation for Composition (GN, UZ), pp. 818–820.

FoSE-2000-Maibaum #re-engineering #roadmap

Mathematical foundations of software engineering: a roadmap (TSEM), pp. 161–172.

CL-2000-StorrT #calculus #equation

A New Equational Foundation for the Fluent Calculus (HPS, MT), pp. 733–746.

ICSM-1999-WoodsCK #architecture #re-engineering #semantics

A Semantic Foundation for Architectural Reengineering and Interchange (SW, SJC, RK), p. 391–?.

HCI-EI-1999-HartsonAWR #classification #framework #problem #usability

The User Action Framework: A Theory-Based Foundation for Inspection and Classification of Usability Problems (HRH, TSA, RCW, LvR), pp. 1058–1062.

HCI-EI-1999-WallachP #architecture #human-computer

Cognitive Architectures — A Theoretical Foundation for HCI (DW, MP), pp. 491–495.

AdaEurope-1999-Korochkin #ada #education

Ada 95 as a Foundation Language in Computer Engeneering Education in Ukraine (AK), pp. 181–186.

CIKM-1999-DelisH #information management #representation #string

Binary String Relations: A Foundation for Spatiotemporal Knowledge Representation (VD, TH), pp. 27–37.

ECOOP-1999-IgarashiP

Foundations for Virtual Types (AI, BCP), pp. 161–185.

CAV-1999-Chou #evaluation

The Mathematical Foundation fo Symbolic Trajectory Evaluation (CTC), pp. 196–207.

ITiCSE-1998-Cassel #education #library

A digital library for undergraduate education: goals and status of efforts at the US National Science Foundation (poster) (LNC), p. 272.

KR-1998-HaarslevLM #logic #reasoning

Foundations of Spatioterminological Reasoning with Description Logics (VH, CL, RM), pp. 112–123.

KR-1998-HaH #geometry

Geometric Foundations for Interval-Based Probabilities (VAH, PH), pp. 582–593.

ALP-PLILP-1998-CosmoLN #game studies #logic programming #semantics

A Game Semantics Foundation for Logic Programming (Extended Abstract) (RDC, JVL, SN), pp. 355–373.

LOPSTR-1998-AyedDFM #program transformation

Mathematical Foundations for Program Transformations (RBA, JD, MF, AM), pp. 319–321.

JICSLP-1998-Cervesato #compilation #logic programming

Proof-Theoretic Foundation of Compilation in Logic Programming (IC), pp. 115–129.

VLDB-1997-GyssensL #database #multi

A Foundation for Multi-dimensional Databases (MG, LVSL), pp. 106–115.

ICFP-1997-Crary #higher-order #implementation #type system

Foundations for the Implementation of Higher-Order Subtyping (KC), pp. 125–135.

HCI-CC-1997-Schmidt #concept #design #towards

Cooperative Work: Towards a Conceptual Foundation for CSCW Systems Design (KS), pp. 57–60.

HCI-SEC-1997-MatsushitaMA #interactive #pointer

Lock-On Pointer: A Foundation for Human-Object Interaction (NM, MM, YA), pp. 193–196.

POPL-1997-OngS #functional

A Curry-Howard Foundation for Functional Computation with Control (CHLO, CAS), pp. 215–227.

RE-1997-PottsN #requirements

Naturalistic Inquiry and Requirements Engineering: Reconciling Their Theoretical Foundations (CP, WN), pp. 118–127.

ITiCSE-1996-ProulxRF #education #how #question #what

Foundations of computer science: what are they and how do we teach them? (VKP, RR, HJF), pp. 42–48.

RWLW-1996-Diaconescu #behaviour #logic #specification

Foundations of behavioural specification in rewriting logic (RD), pp. 226–245.

KR-1996-Lemon #logic #semantics

Semantical Foundations of Spatial Logics (OL), pp. 212–219.

ESOP-J-1994-Andrews95 #constraints #implementation #logic programming

Foundational Issues in Implementing Constraint Logic Programming Systems (JHA), pp. 117–147.

PEPM-1995-DasRH #analysis #imperative #semantics #source code

Semantic Foundations of Binding Time Analysis for Imperative Programs (MD, TWR, PVH), pp. 100–110.

CHI-1995-FitzmauriceIB #named #user interface

Bricks: Laying the Foundations for Graspable User Interfaces (GWF, HI, WB), pp. 442–449.

KDD-1995-Siebes #induction #query

Data Surveying: Foundations of an Inductive Query Language (AS), pp. 269–274.

LICS-1995-Constable #experience #type system

Experience with Type Theory as a Foundation for Computer Science (RLC), pp. 266–279.

ESOP-1994-Andrews #constraints #implementation #logic programming

Foundational Issues in Implementing Constraint Logic Programming Systems (JHA), pp. 74–88.

KR-1994-LinR #database #how #logic #why

How to Progress a Database (and Why) I. Logical Foundations (FL, RR), pp. 425–436.

SIGIR-1994-Cooper #information retrieval #probability #question

The Formalism of Probability Theory in IR: A Foundation for An Encumbrance? (WSC), pp. 242–247.

OOPSLA-1994-KobayashiY #concurrent #object-oriented #programming

Type-Theoretic Foundations for Concurrent Object-Oriented Programming (NK, AY), pp. 31–45.

FSE-1994-Hamlet #dependence #testing

Foundations of Software Testing: Dependability Theory (RGH), pp. 128–139.

LICS-1994-SaraswatJG #concurrent #constraints #programming

Foundations of Timed Concurrent Constraint Programming (VAS, RJ, VG), pp. 71–80.

SEI-1992-WardleL

Current Founding Opportunities Through the National Science Foundations (CEW, DKL), pp. 415–416.

ICALP-1992-SannellaT #algebra #development #source code #specification #towards

Towards Formal Development of Programs from Algebraic Specifications: Model-Theoretic Foundations (DS, AT), pp. 656–671.

LFP-1992-JagannathanP #concurrent #multi #performance #thread

A Foundation for an Efficient Multi-Threaded Scheme System (SJ, JP), pp. 345–357.

TOOLS-EUROPE-1992-Steinmuller #industrial

Qualifying C++-Foundation Classes for Use in Industrial Applications (US), pp. 47–59.

POPL-1992-RinardL #semantics

Semantic Foundations of Jade (MCR, MSL), pp. 105–118.

LICS-1992-AbramskyJ #geometry #interactive

New Foundations for the Geometry of Interaction (SA, RJ), pp. 211–222.

POPL-1991-SaraswatRP #concurrent #constraints #programming #semantics

Semantic Foundations of Concurrent Constraint Programming (VAS, MCR, PP), pp. 333–352.

ICLP-1991-Dung #abduction #logic programming

Negations as Hypotheses: An Abductive Foundation for Logic Programming (PMD), pp. 3–17.

ISLP-1991-HarlandP #linear #logic programming

The Uniform Proof-Theoretic Foundation of Linear Logic Programming (JH, DJP), pp. 304–318.

LICS-1991-Leivant

A Foundational Delineation of Computational Feasiblity (DL), pp. 2–11.

CAiSE-1990-Capua #automation #named #tool support

FOUNDATION — CASE Tools for the Success of the French Stock Exchange (FDC), p. 3.

POPL-1990-Mitchell #inheritance #towards

Toward a Typed Foundation for Method Specialization and Inheritance (JCM), pp. 109–124.

LICS-1990-CroleP #fixpoint

New Foundations for Fixpoint Computations (RLC, AMP), pp. 489–497.

CAiSE-1989-BrodinD #named

Foundation — The Broad Tool (EB, BID).

NACLP-1989-Minker #logic programming #towards

Toward A Foundation of Disjunctive Logic Programming (JM), pp. 1215–1235.

LICS-1988-ConstableS #recursion

Computational Foundations of Basic Recursive Function Theory (RLC, SFS), pp. 360–371.

LICS-1988-MeseguerM #algebra #monad #petri net

Petri Nets Are Monoids: A New Algebraic Foundation for Net Theory (JM, UM), pp. 155–164.

PODS-1986-Weikum #concurrent #multi

A Theoretical Foundation of Multi-Level Concurrency Control (GW), pp. 31–43.

DAC-1983-Simon #named

CAD/CAM — the foundation for Computer Integrated Manufacturing (RLS), pp. 686–700.

ICALP-1983-Abramsky #multi #on the #semantics

On Semantic Foundations for Applicative Multiprogramming (SA), pp. 1–14.

PODS-1982-RotemTK #clustering #design #multi

Foundations for Multifile Design by Application Partitioning (DR, FWT, DGK), pp. 262–267.

STOC-1982-Kissin #energy

Measuring Energy Consumption in VLSI Circuits: a Foundation (GK), pp. 99–104.

LFP-1982-Bohm #combinator #functional #programming

Combinatory Foundation of Functional Programming (CB), pp. 29–36.