Stem rais$ (all stems)

36 papers:

CHI-2015-LugerURG #design #game studies #process #using

Playing the Legal Card: Using Ideation Cards to Raise Data Protection Issues within the Design Process (EL, LU, TR, MG), pp. 457–466.

HCI-IT-2015-CravenSGNSY #game studies #video

Evaluating a Public Display Installation with Game and Video to Raise Awareness of Attention Deficit Hyperactivity Disorder (MPC, LS, AG, SN, HS, ZY), pp. 584–595.

HIMI-IKC-2015-AoyagiKYW

Hand-Raising Robot for Promoting Active Participation in Classrooms (SA, RK, MY, TW), pp. 275–284.

HIMI-DE-2014-KawabeYAW #metric #student

Measurement of Hand Raising Actions to Support Students’ Active Participation in Class (RK, MY, SA, TW), pp. 199–207.

ICST-2014-LacknerTWW #design #modelling #product line

Model-Based Test Design of Product Lines: Raising Test Design to the Product Line Level (HL, MT, FW, SW), pp. 51–60.

SIGMOD-2013-SayersSKGCH

The farm: where pig scripts are bred and raised (CPS, AS, GK, AGG, DTC, MH), pp. 1025–1028.

ITiCSE-2013-Al-SubaihinA #developer #mobile

Raising awareness of mobile widgets among developers (AAAS, HSAK), p. 337.

DHM-HB-2013-WiezerRO #game studies

Serious Gaming Used as Management Intervention to Prevent Work-Related Stress and Raise Work-Engagement among Workers (NW, MBR, EO), pp. 149–158.

DATE-2012-PoulosYAVL #debugging #functional

Leveraging reconfigurability to raise productivity in FPGA functional debug (ZP, YSY, JA, AGV, BL), pp. 292–295.

HPCA-2010-GenbruggeEE #abstraction #architecture #simulation

Interval simulation: Raising the level of abstraction in architectural simulation (DG, SE, LE), pp. 1–12.

IFM-2009-VargasGTG #ltl #model checking

Model Checking LTL Formulae in RAISE with FDR (APV, AGG, SLTT, CG), pp. 231–245.

ITiCSE-2008-GrayHGSF

A computer-based test to raise awareness of disability issues (JG, GH, AG, JSR, JF), p. 347.

TOOLS-EUROPE-2008-SteimannES #fault #testing #towards

Towards Raising the Failure of Unit Tests to the Level of Compiler-Reported Errors (FS, TEE, MS), pp. 60–79.

SIGMOD-2007-CastroMA #abstraction #framework #programming

ADO.NET entity framework: raising the level of abstraction in data programming (PC, SM, AA), pp. 1070–1072.

SEFM-2007-PernaG #model checking #specification

Model Checking RAISE Applicative Specifications (JIP, CG), pp. 257–268.

KDD-2007-KolczY #classification

Raising the baseline for high-precision text classifiers (AK, WtY), pp. 400–409.

ECMDA-FA-2007-BrorkensK #abstraction #legacy #metamodelling #standard #tool support #xml

Improving the Interoperability of Automotive Tools by Raising the Abstraction from Legacy XML Formats to Standardized Metamodels (MB, MK), pp. 59–67.

ITiCSE-2006-Joyce06a

Raising awareness about academic integrity (DJ), p. 350.

ESEC-FSE-2005-SliwerskiZZ #named

HATARI: raising risk awareness (JŚ, TZ, AZ), pp. 107–110.

ICLP-2005-NadathurL #higher-order #on the fly #unification

Practical Higher-Order Pattern Unification with On-the-Fly Raising (GN, NL), pp. 371–386.

ICALP-2003-Schonhage #adaptation #optimisation #performance

Adaptive Raising Strategies Optimizing Relative Efficiency (AS), pp. 611–623.

ICFP-2003-BotlanR #ml #named #power of #system f

ML^F: raising ML to the power of system F (DLB, DR), pp. 27–38.

ICSE-2003-SarmaNH #configuration management #named

Palantír: Raising Awareness among Configuration Management Workspaces (AS, ZN, AvdH), pp. 444–454.

DATE-2001-Zhu #abstraction #design #named

MetaRTL: raising the abstraction level of RTL design (JZ), pp. 71–76.

SEKE-2001-Mellor #abstraction #execution

Raising the Level of Abstraction: Model Execution and Translation (SJM), p. 1.

FM-v2-1999-YongG #semantics

An Operational Semantics for Timed RAISE (XY, CG), pp. 1008–1027.

ICFP-1998-HannanH #higher-order

Higher-Order Arity Raising (JH, PH), pp. 27–38.

AdaEurope-1995-AlapideCCQ #ada

Applying Teamwork/Ada and RAISE for Developing an Air Traffic Control Application (AA, SC, MC, SQ), pp. 331–343.

FME-1994-ErasmyS #case study #refinement #using

Stepwise Refinement of Control Software — A Case Study Using RAISE (FE, ES), pp. 547–566.

FME-1993-DandanellGPZ #experience

Experience from Applications of RAISE (BD, JG, JSP, EZ), pp. 52–63.

FME-1993-HaxthausenG #case study #concurrent #using

A Concurrency Case Study Using RAISE (AEH, CG), pp. 367–387.

VDME-1991-1-ChalmersDGPZ #using

Using RAISE — First Impressions from the LaCoS Applications (DLC, BD, JG, JSP, EZ), pp. 645–657.

VDME-1991-1-Group #tool support

The RAISE Toolset (CRI), pp. 689–690.

VDME-1991-2-George #specification #tutorial

The RAISE Specification Langiage: A Tutorial (CG), pp. 238–319.

VDME-1988-NielsenHWG #tool support

The RAISE Language, Method and Tools (MN, KH, KRW, CG), pp. 376–405.

VDME-1987-Prehn

From VDM to RAISE (SP), pp. 141–150.