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:
model (7)
system (7)
use (6)
web (5)
applic (4)

Stem pro$ (all stems)

49 papers:

DACDAC-2015-WangH0LL #logic #memory management #named
ProPRAM: exploiting the transparent logic resources in non-volatile memory for near data computing (YW, YH, LZ, HL, XL), p. 6.
SEFMSEFM-2015-KringsBL #proving
From Failure to Proof: The ProB Disprover for B and Event-B (SK, JB, ML), pp. 199–214.
SEFMSEFM-2014-DobrikovL #model checking #optimisation #partial order #reduction #using
Optimising the ProB Model Checker for B Using Partial Order Reduction (ID, ML), pp. 220–234.
CHICHI-2014-JuhlinEO #video
Long tail TV revisited: from ordinary camera phone use to pro-am video production (OJ, AE, ), pp. 1325–1334.
CSCWCSCW-2014-TomasicZSH
Motivating contribution in a participatory sensing system via quid-pro-quo (AT, JZ, AS, YH), pp. 979–988.
SLESLE-2014-MeyersDLSVW #framework #generative #named
ProMoBox: A Framework for Generating Domain-Specific Property Languages (BM, RD, LL, ES, HV, MW), pp. 1–20.
ISSTAISSTA-2014-SchurRZ #mining #modelling #multi #named #web
ProCrawl: mining test models from multi-user web applications (MS, AR, AZ), pp. 413–416.
CBSECBSE-2013-YinQCH #component
Mode switch handling for the ProCom component model (HY, HQ, JC, HH), pp. 13–22.
CHICHI-2013-MassungCCJP #community #crowdsourcing #using
Using crowdsourcing to support pro-environmental community activism (EM, DC, KFC, MJ, CP), pp. 371–380.
FMFM-2012-PlaggeL #using #validation
Validating B, Z and TLA + Using ProB and Kodkod (DP, ML), pp. 372–386.
IFMIFM-2012-HansenL #validation
Translating TLA + to B for Validation with ProB (DH, ML), pp. 24–38.
CIKMCIKM-2012-SouihliS #predict #probability #query #xml
Demonstrating ProApproX 2.0: a predictive query engine for probabilistic XML (AS, PS), pp. 2734–2736.
CBSECBSE-2011-BordeC #component #embedded #realtime #synthesis #towards
Towards verified synthesis of ProCom, a component model for real-time embedded systems (EB, JC), pp. 129–138.
SIGMODSIGMOD-2011-SenellartS #approximate #lightweight #named #probability #query
ProApproX: a lightweight approximation query processor over probabilistic trees (PS, AS), pp. 1295–1298.
SEFMSEFM-2011-SoleimanifardGH #composition #named #safety #verification
ProMoVer: Modular Verification of Temporal Safety Properties (SS, DG, MH), pp. 366–381.
HCIHCI-MIIE-2011-AoyagiOIS #behaviour #communication
Proposal of a Method for Promotion of Continuous Pro-Environmental Behavior with Easy Communication (SA, TO, HI, HS), pp. 465–473.
HCIHCI-MIIE-2011-ForutanpourR #collaboration #mobile #named #using
ProJest: Enabling Higher Levels of Collaboration Using Today’s Mobile Devices (BF, JR), pp. 48–58.
SACSAC-2011-RahmanHA11a #named #privacy #quantifier #towards
ProQuPri: towards anonymity protection with privacy quantification for context-aware applications (FR, MEH, SIA), pp. 453–454.
DACDAC-2010-HePKYALC #energy #named #throughput
Xetal-Pro: an ultra-low energy and high throughput SIMD processor (YH, YP, RPK, ZY, AAA, SML, HC), pp. 543–548.
DACDAC-2010-NalamBMC #design #optimisation #prototype
Virtual prototyper (ViPro): an early design space exploration and optimization tool for SRAM designers (SN, MB, KM, BHC), pp. 138–143.
SIGIRSIGIR-2010-AwadallahRW #classification
Language-model-based pro/con classification of political text (RA, MR, GW), pp. 747–748.
ICSEICSE-2009-BianculliBDG #framework #named #web #web service
ReMan: A pro-active reputation management infrastructure for composite Web services (DB, WB, MLD, CG), pp. 623–626.
DACDAC-2008-SenNSC #adaptation #named #power management #process
Pro-VIZOR: process tunable virtually zero margin low power adaptive RF for wireless systems (SS, VN, RS, AC), pp. 492–497.
SIGMODSIGMOD-2008-ChandramouliYAYZ #named #scalability
ProSem: scalable wide-area publish/subscribe (BC, JY, PKA, AY, YZ), pp. 1315–1318.
SIGMODSIGMOD-2005-JahangiriS #data analysis #named
ProDA: a suite of web-services for progressive data analysis (MJ, CS), pp. 894–896.
VLDBVLDB-2005-PoessO #database #grid #scalability
Large Scale Data Warehouses on Grid: Oracle Database 10g and HP ProLiant Systems (MP, RON), pp. 1055–1066.
AdaEuropeAdaEurope-2005-Ruiz
GNAT Pro for On-board Mission-Critical Space Applications (JFR), pp. 248–259.
HPDCHPDC-2005-KonishiOHI #case study #throughput
A case study of instant workbench for InterProScan by Knoppix high throughput computing edition (FK, SO, YH, MI), pp. 301–302.
CSEETCSEET-2004-Jenkins #named
PRO-SOFTWARE: A Government-Industry-Academia Partnership that Worked (MJ), pp. 92–97.
DATEDATE-2003-AndritsopoulosCDKMPTPR #case study #verification
Verification of a Complex SoC: The PRO3 Case-Study (FA, CC, GD, FK, YM, FP, IT, SP, DIR), pp. 20224–20231.
ITiCSEITiCSE-2003-Gegg-HarrisonBGOW03a #correctness
Studying program correctness in ProVIDE (TSGH, GRB, RDG, CMO, JDW), p. 262.
FMFME-2003-LeuschelB #model checking #named
ProB: A Model Checker for B (ML, MJB), pp. 855–874.
CAiSECAiSE-2003-XuJ #contract #monitoring
Pro-active Monitoring of Electronic Contracts (LX, MAJ), pp. 584–600.
UMLUML-2003-LohmannSS #development #modelling #named #tool support #web
ProGUM-Web: Tool Support for Model-Based Development of Web Applications (ML, SS, TS), pp. 101–105.
VLDBVLDB-2002-NiermanJ #named #probability #xml
ProTDB: Probabilistic Data in XML (AN, HVJ), pp. 646–657.
CIAACIAA-2000-Heam #automaton
Automata for Pro-V Topologies (PCH), pp. 135–144.
SACSAC-1999-WalbornC #transaction
Transaction Processing in PRO-MOTION (GDW, PKC), pp. 389–398.
SACSAC-1997-WalbornC #mobile #transaction
PRO-MOTION : Management of Mobile Transactions (GDW, PKC), pp. 101–108.
HPCAHPCA-1997-BhandarkarD #performance
Performance Characterization of the Pentium(r) Pro Processor (DB, JJD), pp. 288–299.
PPDPPLILP-1996-GehrkeH #execution #named #specification
ProFun — A Language for Executable Specifications (TG, MH), pp. 304–318.
REICRE-1996-Pohl #named #requirements
PRO-ART: Enabling Requirements Pre-Traceability (KP), pp. 76–85.
ECOOPECOOP-1995-Amsellem #hypermedia #named #programming
ChyPro: A Hypermedia Programming Environment for Smalltalk-80 (MA), pp. 449–470.
CHICHI-1994-Newman94a #analysis #human-computer #research #using
A Preliminary Analysis of the Products of HCI Research, Using Pro Forma Abstracts (WN), pp. 278–284.
SEKESEKE-1994-Dunin-KepliczJLM #development #named
CAProDel: a system for computer aided program development (BDK, JJ, WL, EMB), pp. 470–477.
SEKESEKE-1992-WatsonN #analysis #development #named
ProTest: A Knowledge Analysis Tool for the Development of Expert Systems (IW, MN), pp. 206–212.
PPDPPLILP-1992-LiG #logic #named
ProQuery: Logical Access to an OODB (CML, PYG), pp. 487–488.
ICSEICSE-1992-Bjorner #experience
Trusted Computing Systems: The ProCoS Experience (DB), pp. 15–34.
ESECESEC-1987-Hruschka
ProMod at the Age of 5 (PH), pp. 288–296.
DACDAC-1976-Persky #automation #layout #named #string
PRO — an automatic string placement program for polycell layout (GP), pp. 417–424.

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.