BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
proof (3)
human (3)
understand (2)
architectur (2)
find (2)

Stem attempt$ (all stems)

16 papers:

CADECADE-2015-RegerTV #proving
Cooperating Proof Attempts (GR, DT, AV), pp. 339–355.
HCIDUXU-TMT-2014-InoueSNTMHKWK #physics #process
Attempts to Quantitative Analyze for the Change of Human Brain Activity with Physical and Psychological Load (HI, SS, HN, TT, FM, NH, SK, EW, SK), pp. 240–249.
WICSAWICSA-2011-HarrisonC #architecture #scalability
Attempting to Understand the Progress of Software Architecture Decision-Making on Large Australian Defence Projects (TCH, APC), pp. 42–45.
FMFM-2011-MullerR #using #verification
Using Debuggers to Understand Failed Verification Attempts (PM, JNR), pp. 73–87.
HCIHCD-2011-AlmAGEDVR #aspect-oriented
Cognitive Prostheses: Findings from Attempts to Model Some Aspects of Cognition (NA, AA, GG, ME, RD, PV, PR), pp. 275–284.
Data Infrastructures in Agriculture — Attempts at Interoperability (DM, MS), pp. 287–292.
SACSAC-2009-NamakiBM #performance
Exhaustion dominated performance: a first attempt (NN, AdB, SMC), pp. 1011–1012.
HCIHCI-AS-2007-HayakawaUSAK #design #developer #identification #process #web
Report on Project to Identify Excellent Local Government Web Sites An Attempt to Educate Web Systems Developers on the Importance of Human-Centered Design Processes (SH, HU, TS, NA, YK), pp. 899–905.
WICSAWICSA-2005-LiLC #architecture #reliability
Octopus Architecture: A New Attempt to Achieve Reliable OS (HL, XL, PC), pp. 197–198.
Lesson Learned from Attempts to Implement Daily Build (MKM, MJ, SK, FW), pp. 137–146.
LOPSTRLOPSTR-2003-AlexandreBD #induction #proving #synthesis
Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures (FA, KB, MD), pp. 20–33.
ITiCSEITiCSE-2002-DagdilelisSE #behaviour #what
What they really do?: attempting (once again) to model novice programmers’ behavior (VD, MS, GE), p. 244.
ICPRICPR-v1-2002-WangHT #identification
A New Attempt to Gait-based Human Identification (LW, WH, TT), pp. 115–118.
LOPSTRLOPSTR-1998-StarkI #invariant #proving
Invariant Discovery via Failed Proof Attempts (JS, AI), pp. 271–288.
SASWSA-1991-Monsuez #abstract interpretation #polymorphism
An Attempt to Find Polymorphic Types by Abstract Interpretation (BM), pp. 18–25.
FMVDME-1991-1-Stolen #concurrent
An Attempt to Reason about Shared-State Concurrency in the Style of VDM (KS), pp. 324–342.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.