BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
system (13)
report (13)
current (10)
social (9)
standard (6)

Stem status$ (all stems)

83 papers:

CSCWCSCW-2015-SchaefbauerKLSS #product line
Snack Buddy: Supporting Healthy Snacking in Low Socioeconomic Status Families (CLS, DUK, AL, GS, KAS), pp. 1045–1057.
HCIDUXU-UI-2015-HeidtKBR #difference #gender #human-computer
Incommensurable Writings — Examining the Status of Gender Difference Within HCI Coding Practices (MH, KK, AB, PR), pp. 196–205.
HCISCSM-2015-FilhoPV15a #chat #mobile
Enabling Continuous Emotional Status Display in Mobile Text Chat (JFF, WP, TV), pp. 12–19.
SEKESEKE-2015-AlshaikhMWH #empirical #locality #open source
A Empirical Study on the Status of Software Localization in Open Source Projects (ZA, SM, XW, SH), pp. 692–695.
HTHT-2014-CunhaMGCA #how #social
How you post is who you are: characterizing google+ status updates across social groups (EC, GM, MAG, CC, VA), pp. 212–217.
TACASTACAS-2014-Beyer #contest #summary #verification
Status Report on Software Verification — (Competition Summary SV-COMP 2014) (DB0), pp. 373–388.
CHICHI-2014-ArreolaMFCCW #design
From checking on to checking in: designing for low socio-economic status older adults (IA, ZM, MF, KC, KEC, GEW), pp. 1933–1936.
CHICHI-2014-YueMJ #collaboration #composition #online
Share your view: impact of co-navigation support and status composition in collaborative online shopping (YY, XM, ZJ), pp. 3299–3308.
CSCWCSCW-2014-BackstromK #analysis #facebook #network #social
Romantic partnerships and the dispersion of social ties: a network analysis of relationship status on facebook (LB, JMK), pp. 831–841.
AdaEuropeAdaEurope-2014-PinhoMM #ada #parallel
Parallelism in Ada: Status and Prospects (LMP, BM, SM), pp. 91–106.
KDIRKDIR-2014-HafethAC #analysis #case study #classification
Text Analysis of User-Generated Contents for Health-care Applications — Case Study on Smoking Status Classification (DAH, AA, DC), pp. 242–249.
KRKR-2014-Coste-MarquisKMM #on the
On the Revision of Argumentation Systems: Minimal Change of Arguments Statuses (SCM, SK, JGM, PM).
SEKESEKE-2014-RockHW #benchmark #challenge #comparison #evaluation #framework #metric #performance
Performance Benchmarking of BPEL Engines: A Comparison Framework, Status Quo Evaluation and Challenges (CR, SH, GW), pp. 31–34.
CASECASE-2013-ChuS #deployment #estimation #optimisation
Optimization of probe vehicle deployment for traffic status estimation (KCC, KS), pp. 880–885.
CASECASE-2013-DingLZC #physics #simulation
Emergency evacuation simulation in staircases considering evacuees’ physical and psychological status (ND, PBL, HZ, TC), pp. 741–746.
DACDAC-2013-Kahng #design #process #roadmap
The ITRS design technology and system drivers roadmap: process and status (ABK), p. 6.
HCIDHM-SET-2013-LiuZLSFG #behaviour #modelling #towards
Towards Early Status Warning for Driver’s Fatigue Based on Cognitive Behavior Models (YL, YZ, JL, JS, FF, JG), pp. 55–60.
KDDKDD-2013-ZhaoWYLZ #network #social
Inferring social roles and statuses in social networks (YZ, GW, PSY, SL, SZ), pp. 695–703.
ICPCICPC-2012-SohSPPGA #comprehension #diagrams #empirical #uml
Professional status and expertise for UML class diagram comprehension: An empirical study (ZS, ZS, BVdP, GCP, YGG, GA), pp. 163–172.
CSCWCSCW-2012-NowakKKN #feedback #social #visualisation
Social visualization and negotiation: effects of feedback configuration and status (MN, JK, NWK, CN), pp. 1081–1090.
ICPRICPR-2012-BagdanovBSU #realtime #recognition
Real-time hand status recognition from RGB-D imagery (ADB, ADB, LS, LU), pp. 2456–2459.
ICSEICSE-2012-DownsPH
Ambient awareness of build status in collocated software teams (JD, BP, JGH), pp. 507–517.
RTARTA-2012-BertrandDKSS #decidability #graph transformation #on the #reachability
On the Decidability Status of Reachability and Coverability in Graph Transformation Systems (NB, GD, BK, AS, JS), pp. 101–116.
SEFMSEFM-2011-Sanchez #using
Using System Dynamics to Assess the Role of Socio-economic Status in Tuberculosis Incidence (MAS), pp. 464–475.
HCIHCI-UA-2011-YangCS #analysis #learning #recognition
Facial Expression Recognition for Learning Status Analysis (MTY, YJC, YCS), pp. 131–138.
CIKMCIKM-2011-KarwegHB #evolution #network #social
Evolving social search based on bookmarks and status messages from social networks (BK, CH, KB), pp. 1825–1834.
KEODKEOD-2011-Tinsley #ontology #realtime
OTTER Project — Ontology Technology that Executes Real-time: Project Status (TAT), pp. 521–527.
CHICHI-2010-MorrisTP #behaviour #bibliography #network #people #social #what #why
What do people ask their social networks, and why?: a survey study of status message q&a behavior (MRM, JT, KP), pp. 1739–1748.
KRKR-2010-GlimmR #decidability #query
Status QIO: Conjunctive Query Entailment Is Decidable (BG, SR).
HCIHCD-2009-Stiso
Frequency of Usage and Feelings of Connectedness in Instant Messaging by Age, Sex, and Civil Status (MES), pp. 562–569.
CSCWCSCW-2008-KimKPA #network #social
Are you sleeping?: sharing portrayed sleeping status within a social network (SK, JAK, SNP, GDA), pp. 619–628.
AdaSIGAda-2008-Moore08a #ada #distributed #monitoring
Distributed status monitoring and controlusing remote buffers and Ada 2005 (BJM), pp. 109–120.
CASECASE-2007-GuHTY #automation
Hardware-In-The-Loop for Manufacturing Automation Control: Current Status and Identified Needs (FG, WSH, DMT, CY), pp. 1105–1110.
DACDAC-2007-Natale #analysis #challenge
Virtual Platforms and Timing Analysis: Status, Challenges and Future Directions (MDN), pp. 551–555.
ICEISICEIS-SAIC-2007-PetrieMKLZ #challenge #lessons learnt
SWS Challenge — Status, Perspectives, Lessons Learned So Far (CJP, TMS, UK, HL, MZ), pp. 447–452.
ICSEICSE-2007-Kajko-Mattsson #maturity
Maturity Status within Front-End Support Organisations (MKM), pp. 652–663.
SACSAC-2005-BicakciCT #certification #how #metric #trust
How to incorporate revocation status information into the trust metrics for public-key certification (KB, BC, AST), pp. 1594–1598.
DATEDATE-v2-2004-SunterOCJBEBB #standard #testing
Status of IEEE Testability Standards 1149.4, 1532 and 1149.6 (SKS, AO, AC, NJ, DB, BE, CB, BB), pp. 1184–1191.
CSEETCSEET-2004-Kaner #education #testing
Teaching Domain Testing: A Status Report (CK), pp. 112–117.
ITiCSEITiCSE-2003-DarbhamullaDL #monitoring #online #student
Student status monitoring tool (SSM): proxy for the real world expert in online course delivery (RD, MD, PBL), p. 257.
DATEDATE-2002-BlasquezHFLBHB #industrial #verification
Formal Verification Techniques: Industrial Status and Perspectives (JB, MvH, AF, JLL, DB, CH, PB), p. 1050.
DLTDLT-2002-Svozil #automaton #concept #finite #modelling
Finite Automata Models of Quantized Systems: Conceptual Status and Outlook (KS), pp. 93–102.
ICPRICPR-v2-2002-DuL
Mapping Emotional Status to Facial Expressions (YD, XL), pp. 524–527.
SACSAC-2002-DunningR #communication #security
Security status display and browser interframe communication (LAD, SR), pp. 237–241.
LSOLSO-2001-FeldmannA #learning #on the
On the Status of Learning Software Organizations in the Year 2001 (RLF, KDA), pp. 2–7.
ITiCSEITiCSE-2000-YooSLL #education
Present status and direction of information curriculum of Korea (IHY, SBS, CHL, TWL), p. 195.
ICEISICEIS-2000-GoitiaGTC #internet
Building Internet Shops: Current Status of the Cities Project (AG, JGF, JT, JAC), pp. 529–530.
ICLPCL-2000-Muller #constraints
Promoting Constraints to First-Class Status (TM), pp. 429–447.
CSEETCSEET-1999-FraileyELD #education #re-engineering
Status Report from the ACM/IEEE-CS Task Forces on Software Engineering Curriculum and Body of Knowledge (panel) (DJF, GLE, RJL, RD), p. 124–?.
ICEISICEIS-1999-Klein #challenge #multi
Status & Challenges for Multi-Agent Cooperation Technology (MK), p. IX.
ITiCSEITiCSE-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.
SACSAC-1998-Li98a #algorithm #distributed #online #random
Deterministic and randomized algorithms for distributed on-line task assignment and load balancing without load status information (KL), pp. 613–622.
ICSEICSE-1998-TesorieroZ #re-engineering
A Model of Noisy Software Engineering Data (Status Report) (RT, MVZ), pp. 461–464.
CAVCAV-1997-LarsenPY #named
UPPAAL: Status & Developments (KGL, PP, WY), pp. 456–459.
SIGMODSIGMOD-1994-Kulkarni #object-oriented #sql
Object-Oriented Extensions in SQL3: A Status Report (KGK), p. 478.
OOPSLAOOPSLA-1994-CareyDKN #benchmark #metric #object-oriented
A Status Report on the oo7 OODBMS Benchmarking Effort (MJC, DJD, CK, JFN), pp. 414–426.
FSEFSE-1994-AbowdD #interactive #specification
Integrating Status and Event Phenomena in Formal Specifications of Interactive Systems (GDA, AJD), pp. 44–52.
HCIHCI-ACS-1993-McFarlane #automation #development
Current Status of Development and Use of Tethered and Autonomous Underwater Vehicles and the Potential for Further Automation (JRM), pp. 301–306.
AdaEuropeAdaEurope-1993-Mathis #ada #standard
Progress of Ada as an International Standard: ISO/IEC JTC1/SC22 WG9 Ada Status (RFM), pp. 1–12.
ICLPICLP-1993-VaghaniRKSSLH #database #deduction
Status of the Aditi Deductive Database System (JV, KR, DBK, ZS, PJS, TSL, JH), p. 851.
STOCSTOC-1992-Sipser
The History and Status of the P versus NP Question (MS), pp. 603–618.
DACDAC-1991-Kazyonnov #automation #design
Design Automation in the Soviet Union: History and Status (Abstract) (GGK), p. 118.
DACDAC-1991-Kozminski #benchmark #evolution #layout #metric #synthesis
Benchmarks for Layout Synthesis — Evolution and Current Status (KK), pp. 265–270.
HTHT-1991-BernsteinBFGLZ #hypermedia #navigation #problem
Structure, Navigation, and Hypertext: The Status of the Navigation Problem (MB, PJB, MEF, RJG, GPL, PZ), pp. 363–366.
FMVDME-1991-1-HepingZ #prototype
Prototyping with Temporal VDM: A Status Report (HH, HZ), pp. 681–682.
ICTSSIWPTS-1991-Rayner #standard
Status Report on ISO/IEC 9646 Standardization and Extension (DR), pp. 47–58.
DACDAC-1988-BorrielloD #synthesis
High-Level Synthesis: Current Status and Future Directions (GB, ED), pp. 477–482.
FMVDME-1988-JonesL #reasoning #requirements
A Support System for Formal Reasoning: Requirements and Status (CBJ, PAL), pp. 139–152.
LISPLFP-1988-BobrowK #kernel #lisp #object-oriented
The Common Lisp Object System Metaobject Kernel: A Status Report (DGB, GK), pp. 309–315.
CSCWCSCW-1986-KraemerK #development #problem
Computer-based systems for cooperative work and group decisionmaking: status of use and problems in development (KLK, JLK), pp. 353–375.
SIGIRSIGIR-1984-Hollaar #retrieval
The Utah Text Retrieval Project — A Status Report (LAH), pp. 123–132.
DACDAC-1982-PilotyB
The conlan project: Status and future plans (RP, DB), pp. 202–212.
PLDISCC-1982-GrissBH #compilation #lisp
Current Status of a Portable Lisp Compiler (MLG, EB, ACH), pp. 276–283.
DACDAC-1981-BreuerP #roadmap #simulation
Digital system simulation: Current status and future trends or darwin’s theory of simulation (MAB, ACP), pp. 269–275.
DACDAC-1981-Yamada #automation #design
Design automation status in Japan (AY), pp. 43–50.
VLDBVLDB-1980-Brodie80a #approach #database #relational #standard
Standardization and the Relational Approach to Databases: An ANSI Task Group Status Report (MLB), pp. 326–327.
VLDBVLDB-1980-DeutschC #standard
DBMS Standards: Current Status and Future Directions (DRD, EKC), pp. 431–433.
VLDBVLDB-1980-Steel #database
Status Report on ISO/TC97/SC5/WG3 — Data Base Management Systems (TBSJ), pp. 321–325.
LISPLISP-1980-BurtonMBHKS #bibliography #lisp
Overview and Status of DoradoLISP (RRB, LM, DGB, WH, RMK, BAS), p. 243–?.
DACDAC-1975-CleemputAL #automation #design #on the
On the status of design automation in canada (WMvC, RFA, JGL), pp. 1–7.
SIGMODSIGMOD-1975-Steel #database #standard
Data Base Standardization — A Status Report (TBSJ), pp. 149–156.
SIGIRSIGIR-1971-KelloggBDF #data transformation #natural language
The Converse Natural Language Data Management System: Current Status and Plans (CK, JDB, TD, KF), pp. 33–46.
DACSHARE-1965-Ross
Current status of AED (DTR).

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.