Stem mission$ (all stems)

48 papers:

AdaEurope-2015-BalazsBBHKPRSSS

The Central on-Board Computer of the Philae Lander in the Context of the Rosetta Space Mission (AB, AB, HB, IH, OK, ZP, JR, WS, PS, JS, SS, LV), pp. 18–30.

ESEC-FSE-2015-KoskiM #architecture #lessons learnt #quality #requirements

Requirements, architecture, and quality in a mission critical system: 12 lessons learned (AK, TM), pp. 1018–1021.

DATE-2014-JerkeK #case study #design

Mission profile aware IC design — A case study (GJ, ABK), pp. 1–6.

DATE-2014-KatzschkeSOBTB #constraints #design

Application of Mission Profiles to enable cross-domain constraint-driven design (CK, MPS, MO, VMzB, MT, EB), pp. 1–6.

DATE-2014-NirmaierBHVBRP #assessment #robust

Mission profile aware robustness assessment of automotive power devices (TN, AB, MH, AV, OB, WR, GP), pp. 1–6.

DAC-2013-GirbalMGAQCY #convergence #on the

On the convergence of mainstream and mission-critical markets (SG, MM, AG, JA, EQ, FJC, SY), p. 10.

DHM-HB-2013-ZhangZLDW #optimisation

Optimization for Lunar Mission Training Scheme Based on AnyBody Software (JZ, RZ, JL, LD, LW), pp. 169–178.

DUXU-NTE-2013-MartinsMS #design #multi #paradigm

Breaking Technological Paradigms — Sustainable Design in Air Transport Multi-mission (ETM, ITM, MMS), pp. 160–168.

AdaEurope-2013-KampenhoutH #deployment #manycore #modelling

Model-Based Deployment of Mission-Critical Spacecraft Applications on Multicore Processors (JRvK, RH), pp. 35–50.

WICSA-ECSA-2012-ChristensenH #ecosystem #named #towards

Net4Care: Towards a Mission-Critical Software Ecosystem (HBC, KMH), pp. 224–228.

CSCW-2012-PoltrockHPM

Recognizing team context during simulated missions (SEP, MJH, SRP, PM), pp. 197–206.

CSEET-2011-KruchtenK #agile #game studies #release planning

Mission to Mars: An agile release planning game (PK, JK), p. 552.

CSCW-2011-CoughlanACDLR #interactive

Working with “mission control” in scientific fieldwork: supporting interactions between in situ and distanced collaborators (TC, AA, TDC, SJD, JL, YR), pp. 617–620.

HCI-UA-2011-MitchellGLA #validation #video

Validating Video Analytics in Mission Critical Applications (SJM, SG, SL, BA), pp. 394–402.

HCI-VAD-2009-BuxtonTF #evaluation #heuristic #scalability #using

Heuristic Evaluation of Mission-Critical Software Using a Large Team (TB, AT, ALF), pp. 673–682.

HCI-VAD-2009-GreefON

Distilling Support Opportunities to Improve Urban Search and Rescue Missions (TdG, AHJO, MAN), pp. 703–712.

ICST-2009-RogozF #multi #performance

A Test Based Multidimensional Performance Model for a Mission Critical System Server (KR, KF), pp. 269–278.

CASE-2008-Froehlich #modelling

Mission control: Local versus global modeling of robot tasking and routing (RF), pp. 566–571.

CIKM-2008-BaiL #database

A light weighted damage tracking quarantine and recovery scheme for mission-critical database systems (KB, PL), pp. 1403–1404.

SEKE-2008-NakaoaTM #case study #independence #validation #verification

Estimating the Effort of Independent Verification and Validation in the Context of Mission-critical Software Systems — A Case Study (HN, AT, JM), pp. 167–172.

SAC-2008-VassevHP #specification #towards

Towards an ASSL specification model for NASA swarm-based exploration missions (EV, MH, JP), pp. 1652–1657.

SAC-2007-HincheyDRTM #self

Bionic autonomic nervous system and self-healing for NASA ANTS-like missions (MGH, YSD, JLR, WT, MM), pp. 90–96.

ICSM-2006-StanekKNC #maintenance #online

Online Software Maintenance for Mission-Critical Systems (JS, SK, TNN, CCN), pp. 93–103.

WCRE-2006-CapiluppiMB #how #outsourcing #quality

How Outsourcing Affects the Quality of Mission Critical Software (AC, JM, CB), pp. 285–287.

RE-2006-Graham #question #requirements #testing

Testing to Improve Requirements — Mission Impossible? (DG), p. 3.

FM-2005-Johnson #debugging #formal method #using

The Natural History of Bugs: Using Formal Methods to Analyse Software Related Failures in Space Missions (CWJ), pp. 9–25.

AdaEurope-2005-Ruiz

GNAT Pro for On-board Mission-Critical Space Applications (JFR), pp. 248–259.

CSCW-2004-TollingerMVT #collaboration #information management

Collaborative knowledge management supporting mars mission scientists (IT, MM, AHV, PT), pp. 29–38.

ICEIS-v1-2004-Lyytinen #analysis #functional #requirements #scalability #source code

Large Scale Requirements Engineering in Action: An Ethnographic Analysis of Functional and Political Ecologies in Situ in Space Mission Programs (KL), p. V.

ICEIS-v4-2004-CostaOS #identification

E-Services in Mission-Critical Organizations: Identification Enforcement (CC, JLO, AS), pp. 389–396.

FME-2003-Fidge #legacy #verification

Verifying Emulation of Legacy Mission Computer Systems (CJF), pp. 187–207.

ICEIS-v4-2003-JayaputeraZL #internet #multi

A Mission-Based Multiagent System for Internet Applications (GTJ, ABZ, SWL), pp. 232–237.

DAC-2002-SmithNMCFKMB #embedded #question #tool support

Unified tools for SoC embedded systems: mission critical, mission impossible or mission irrelevant? (GS, DN, SM, RC, JF, KK, GM, BB), p. 479.

TACAS-2002-Lowry #analysis #tool support

Software Construction and Analysis Tools for Future Space Missions (MRL), pp. 1–19.

CBSE-2001-GiannakopoulouP #certification #component #verification

Component Verification and Certification in NASA Missions (DG, JP), p. 23.

DAC-2001-LiuCBK #constraints #embedded #power management #scheduling

Power-Aware Scheduling under Timing Constraints for Mission-Critical Embedded Systems (JL, PHC, NB, FJK), pp. 840–845.

DATE-2001-DorschW #embedded #logic #testing #using

Using mission logic for embedded testing (RD, HJW), p. 805.

FM-v2-1999-DongMF #modelling

Modeling Aircraft Mission Computer Task Rates (JSD, BPM, NF), p. 1855.

HCI-CCAD-1999-Paul #video

Improving public administration by video conferencing and application sharing — mission possible (HP), pp. 318–322.

HCI-CCAD-1999-PrevotC #automation #design #evaluation #simulation

A vertical situation display for automated aircraft — design and evaluation in full mission simulation (TP, BC), pp. 1266–1270.

ICSE-1999-Easterbrook #requirements #validation #verification

Verification and Validation of Requirements for Mission Critical Systems (SME), pp. 673–674.

ICSM-1997-AbowdGJMMMPRW #architecture #evolution #legacy

MORALE. Mission ORiented Architectural Legacy Evolution (GDA, AKG, DFJ, WMM, MMM, JWM, CP, SR, LMW), pp. 150–159.

HCI-CC-1997-FoxBBBB #design

Human Factors Techniques for Designing the Virtual Mission Operations Center (JAF, JB, RB, PB, MB), pp. 737–740.

SAC-1997-RobertRB #development #integration

A cooperative mission development environment for crossplatform integration (MAR, CR, CB), pp. 180–181.

CSCW-1996-WattsWCPKH

Voice Loops as Cooperative Aids in Space Shuttle Mission Control (JCW, DDW, JMC, ESP, RLK, LCH), pp. 48–56.

AdaEurope-1994-CiceriM #realtime

Event Diagnosis and Recovery in Real-Time On-Board Autonomous Mission Control (FC, LM), pp. 288–301.

AdaEurope-1994-Doeuff #ada #automation #generative #source code

Automatic Generation of Ada Source Code for the Rafale Mission Computer (HLD), pp. 333–348.

CSCW-1988-Linde

Who’s in Charge here? Cooperative Work and Authority Negotiation in Police Helicopter Missions (CL), pp. 52–64.