23 papers:
ICST-2015-HuuhtanenIL #algebra #algorithm #design #testing- Combining Algebraic and Domain Testing to Design Adequate Test Cases for Signal Processing Algorithms (TH, JI, CL), pp. 1–10.
HCI-AS-2013-PlischkeSPK #specification #standard- Human Adequate Lighting in Optimal Healing Environments — Measuring Non-visual Light Effects of a LED Light Source According to German Draft Pre-standard DIN SPEC 5031-100: 2012 (HP, CS, PP, NK), pp. 163–172.
ICEIS-v1-2013-RudraGA #approximate #query- Selecting Adequate Samples for Approximate Decision Support Queries (AR, RPG, NRA), pp. 46–55.
- ICEIS-v3-2013-SilvaSH #design
- Co-authoring Proto-patterns to Support on Designing Systems to Be Adequate for Users´ Diversity (JCAS, MARS, ECMH), pp. 164–169.
SAC-2013-HippMMR #framework #process #visualisation- A framework for the intelligent delivery and user-adequate visualization of process information (MH, BM, BM, MR), pp. 1383–1390.
ESEC-FSE-2013-BertolinoMM #composition #monitoring- Adequate monitoring of service compositions (AB, EM, AM), pp. 59–69.
ISSTA-2013-GligoricGZSAM #test coverage #testing #using- Comparing non-adequate test suites using coverage criteria (MG, AG, CZ, RS, MAA, DM), pp. 302–313.
- ICST-2012-FraserW #behaviour #testing
- Behaviourally Adequate Software Testing (GF, NW), pp. 300–309.
MSR-2011-HirataM- Do comments explain codes adequately?: investigation by text filtering (YH, OM), pp. 242–245.
- HCD-2011-NazemiBPBK #adaptation #user interface #visualisation
- Adapting User Interfaces by Analyzing Data Characteristics for Determining Adequate Visualizations (KN, DB, AP, MB, AK), pp. 566–575.
CIKM-2008-DouSYW #learning #question #ranking #web- Are click-through data adequate for learning web search rankings? (ZD, RS, XY, JRW), pp. 73–82.
- HIMI-IIE-2007-ParkCHNPCJ #artificial reality #navigation
- Disposition of Information Entities and Adequate Level of Information Presentation in an In-Car Augmented Reality Navigation System (KSP, IHC, GBH, TJN, JYP, SIC, IHJ), pp. 1098–1108.
STOC-2006-PanagiotouS #metric #on the #performance- On adequate performance measures for paging (KP, AS), pp. 487–496.
CSEET-2004-AlfertPS #education #modelling #re-engineering #tool support- Software Engineering Education Needs Adequate Modeling Tools (KA, JP, JS), pp. 72–77.
ASE-2001-RugaberSS #reverse engineering- Adequate Reverse Engineering (SR, TS, KS), p. 232–?.
FME-2001-CalderMS #logic- An Adequate Logic for Full LOTOS (MC, SM, CS), pp. 384–395.
TLCA-1997-Brauner #category theory- A Simple Adequate Categorical Model for PCF (TB), pp. 82–98.
LICS-1994-FioreP #axiom #formal method #modelling- An Axiomatization of Computationally Adequate Domain Theoretic Models of FPC (MPF, GDP), pp. 92–102.
ESOP-1992-BernotBK #towards- Towards an Adequate Notion of Observation (GB, MB, TK), pp. 39–55.
- ESOP-1992-PurushothamanS #evaluation #lazy evaluation #semantics
- An Adequate Operational Semantics for Sharing in Lazy Evaluation (SP, JS), pp. 435–450.
CSL-1991-Oguztuzun #equivalence #first-order #logic- A Fragment of First Order Logic Adequate for Observation Equivalence (HO), pp. 278–292.
- TAV-1991-Harrold #data flow #optimisation #testing
- The Effects of Optimizing Transformations on Data-Flow Adequate Test Sets (MJH), pp. 130–138.
- LICS-1990-CleavelandS #proving #specification #using
- When is “Partial” Adequate? A Logic-Based Proof Technique Using Partial Specifications (RC, BS), pp. 440–449.
