Stem status$ (all stems)

83 papers:

CSCW-2015-SchaefbauerKLSS #product line

Snack Buddy: Supporting Healthy Snacking in Low Socioeconomic Status Families (CLS, DUK, AL, GS, KAS), pp. 1045–1057.

DUXU-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.

SCSM-2015-FilhoPV15a #chat #mobile

Enabling Continuous Emotional Status Display in Mobile Text Chat (JFF, WP, TV), pp. 12–19.

SEKE-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.

HT-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.

TACAS-2014-Beyer #contest #summary #verification

Status Report on Software Verification — (Competition Summary SV-COMP 2014) (DB0), pp. 373–388.

CHI-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.

CHI-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.

CSCW-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.

AdaEurope-2014-PinhoMM #ada #parallel

Parallelism in Ada: Status and Prospects (LMP, BM, SM), pp. 91–106.

KDIR-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.

KR-2014-Coste-MarquisKMM #on the

On the Revision of Argumentation Systems: Minimal Change of Arguments Statuses (SCM, SK, JGM, PM).

SEKE-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.

CASE-2013-ChuS #deployment #estimation #optimisation

Optimization of probe vehicle deployment for traffic status estimation (KCC, KS), pp. 880–885.

CASE-2013-DingLZC #physics #simulation

Emergency evacuation simulation in staircases considering evacuees’ physical and psychological status (ND, PBL, HZ, TC), pp. 741–746.

DAC-2013-Kahng #design #process #roadmap

The ITRS design technology and system drivers roadmap: process and status (ABK), p. 6.

DHM-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.

KDD-2013-ZhaoWYLZ #network #social

Inferring social roles and statuses in social networks (YZ, GW, PSY, SL, SZ), pp. 695–703.

ICPC-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.

CSCW-2012-NowakKKN #feedback #social #visualisation

Social visualization and negotiation: effects of feedback configuration and status (MN, JK, NWK, CN), pp. 1081–1090.

ICPR-2012-BagdanovBSU #realtime #recognition

Real-time hand status recognition from RGB-D imagery (ADB, ADB, LS, LU), pp. 2456–2459.

ICSE-2012-DownsPH

Ambient awareness of build status in collocated software teams (JD, BP, JGH), pp. 507–517.

RTA-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.

SEFM-2011-Sanchez #using

Using System Dynamics to Assess the Role of Socio-economic Status in Tuberculosis Incidence (MAS), pp. 464–475.

HCI-UA-2011-YangCS #analysis #learning #recognition

Facial Expression Recognition for Learning Status Analysis (MTY, YJC, YCS), pp. 131–138.

CIKM-2011-KarwegHB #evolution #network #social

Evolving social search based on bookmarks and status messages from social networks (BK, CH, KB), pp. 1825–1834.

KEOD-2011-Tinsley #ontology #realtime

OTTER Project — Ontology Technology that Executes Real-time: Project Status (TAT), pp. 521–527.

CHI-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.

KR-2010-GlimmR #decidability #query

Status QIO: Conjunctive Query Entailment Is Decidable (BG, SR).

HCD-2009-Stiso

Frequency of Usage and Feelings of Connectedness in Instant Messaging by Age, Sex, and Civil Status (MES), pp. 562–569.

CSCW-2008-KimKPA #network #social

Are you sleeping?: sharing portrayed sleeping status within a social network (SK, JAK, SNP, GDA), pp. 619–628.

SIGAda-2008-Moore08a #ada #distributed #monitoring

Distributed status monitoring and controlusing remote buffers and Ada 2005 (BJM), pp. 109–120.

CASE-2007-GuHTY #automation

Hardware-In-The-Loop for Manufacturing Automation Control: Current Status and Identified Needs (FG, WSH, DMT, CY), pp. 1105–1110.

DAC-2007-Natale #analysis #challenge

Virtual Platforms and Timing Analysis: Status, Challenges and Future Directions (MDN), pp. 551–555.

ICEIS-SAIC-2007-PetrieMKLZ #challenge #lessons learnt

SWS Challenge — Status, Perspectives, Lessons Learned So Far (CJP, TMS, UK, HL, MZ), pp. 447–452.

ICSE-2007-Kajko-Mattsson #maturity

Maturity Status within Front-End Support Organisations (MKM), pp. 652–663.

SAC-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.

DATE-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.

CSEET-2004-Kaner #education #testing

Teaching Domain Testing: A Status Report (CK), pp. 112–117.

ITiCSE-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.

DATE-2002-BlasquezHFLBHB #industrial #verification

Formal Verification Techniques: Industrial Status and Perspectives (JB, MvH, AF, JLL, DB, CH, PB), p. 1050.

DLT-2002-Svozil #automaton #concept #finite #modelling

Finite Automata Models of Quantized Systems: Conceptual Status and Outlook (KS), pp. 93–102.

ICPR-v2-2002-DuL

Mapping Emotional Status to Facial Expressions (YD, XL), pp. 524–527.

SAC-2002-DunningR #communication #security

Security status display and browser interframe communication (LAD, SR), pp. 237–241.

LSO-2001-FeldmannA #learning #on the

On the Status of Learning Software Organizations in the Year 2001 (RLF, KDA), pp. 2–7.

ITiCSE-2000-YooSLL #education

Present status and direction of information curriculum of Korea (IHY, SBS, CHL, TWL), p. 195.

ICEIS-2000-GoitiaGTC #internet

Building Internet Shops: Current Status of the Cities Project (AG, JGF, JT, JAC), pp. 529–530.

CL-2000-Muller #constraints

Promoting Constraints to First-Class Status (TM), pp. 429–447.

CSEET-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–?.

ICEIS-1999-Klein #challenge #multi

Status & Challenges for Multi-Agent Cooperation Technology (MK), p. IX.

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.

SAC-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.

ICSE-1998-TesorieroZ #re-engineering

A Model of Noisy Software Engineering Data (Status Report) (RT, MVZ), pp. 461–464.

CAV-1997-LarsenPY #named

UPPAAL: Status & Developments (KGL, PP, WY), pp. 456–459.

SIGMOD-1994-Kulkarni #object-oriented #sql

Object-Oriented Extensions in SQL3: A Status Report (KGK), p. 478.

OOPSLA-1994-CareyDKN #benchmark #metric #object-oriented

A Status Report on the oo7 OODBMS Benchmarking Effort (MJC, DJD, CK, JFN), pp. 414–426.

FSE-1994-AbowdD #interactive #specification

Integrating Status and Event Phenomena in Formal Specifications of Interactive Systems (GDA, AJD), pp. 44–52.

HCI-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.

AdaEurope-1993-Mathis #ada #standard

Progress of Ada as an International Standard: ISO/IEC JTC1/SC22 WG9 Ada Status (RFM), pp. 1–12.

ICLP-1993-VaghaniRKSSLH #database #deduction

Status of the Aditi Deductive Database System (JV, KR, DBK, ZS, PJS, TSL, JH), p. 851.

STOC-1992-Sipser

The History and Status of the P versus NP Question (MS), pp. 603–618.

DAC-1991-Kazyonnov #automation #design

Design Automation in the Soviet Union: History and Status (Abstract) (GGK), p. 118.

DAC-1991-Kozminski #benchmark #evolution #layout #metric #synthesis

Benchmarks for Layout Synthesis — Evolution and Current Status (KK), pp. 265–270.

HT-1991-BernsteinBFGLZ #hypermedia #navigation #problem

Structure, Navigation, and Hypertext: The Status of the Navigation Problem (MB, PJB, MEF, RJG, GPL, PZ), pp. 363–366.

VDME-1991-1-HepingZ #prototype

Prototyping with Temporal VDM: A Status Report (HH, HZ), pp. 681–682.

IWPTS-1991-Rayner #standard

Status Report on ISO/IEC 9646 Standardization and Extension (DR), pp. 47–58.

DAC-1988-BorrielloD #synthesis

High-Level Synthesis: Current Status and Future Directions (GB, ED), pp. 477–482.

VDME-1988-JonesL #reasoning #requirements

A Support System for Formal Reasoning: Requirements and Status (CBJ, PAL), pp. 139–152.

LFP-1988-BobrowK #kernel #lisp #object-oriented

The Common Lisp Object System Metaobject Kernel: A Status Report (DGB, GK), pp. 309–315.

CSCW-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.

SIGIR-1984-Hollaar #retrieval

The Utah Text Retrieval Project — A Status Report (LAH), pp. 123–132.

DAC-1982-PilotyB

The conlan project: Status and future plans (RP, DB), pp. 202–212.

SCC-1982-GrissBH #compilation #lisp

Current Status of a Portable Lisp Compiler (MLG, EB, ACH), pp. 276–283.

DAC-1981-BreuerP #roadmap #simulation

Digital system simulation: Current status and future trends or darwin’s theory of simulation (MAB, ACP), pp. 269–275.

DAC-1981-Yamada #automation #design

Design automation status in Japan (AY), pp. 43–50.

VLDB-1980-Brodie80a #approach #database #relational #standard

Standardization and the Relational Approach to Databases: An ANSI Task Group Status Report (MLB), pp. 326–327.

VLDB-1980-DeutschC #standard

DBMS Standards: Current Status and Future Directions (DRD, EKC), pp. 431–433.

VLDB-1980-Steel #database

Status Report on ISO/TC97/SC5/WG3 — Data Base Management Systems (TBSJ), pp. 321–325.

LISP-1980-BurtonMBHKS #bibliography #lisp

Overview and Status of DoradoLISP (RRB, LM, DGB, WH, RMK, BAS), p. 243–?.

DAC-1975-CleemputAL #automation #design #on the

On the status of design automation in canada (WMvC, RFA, JGL), pp. 1–7.

SIGMOD-1975-Steel #database #standard

Data Base Standardization — A Status Report (TBSJ), pp. 149–156.

SIGIR-1971-KelloggBDF #data transformation #natural language

The Converse Natural Language Data Management System: Current Status and Plans (CK, JDB, TD, KF), pp. 33–46.

SHARE-1965-Ross

Current status of AED (DTR).