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 (6)
method (4)
data (4)
surg (3)
barrier (3)

Stem storm$ (all stems)

20 papers:

SIGMODSIGMOD-2015-ChristensenWLYT #named #online #reasoning #scalability
STORM: Spatio-Temporal Online Reasoning and Management of Large Spatio-Temporal Data (RC, LW, FL, KY, JT, NV), pp. 1111–1116.
SIGMODSIGMOD-2015-KatsipoulakisTG #data type #named
CE-Storm: Confidential Elastic Processing of Data Streams (NRK, CT, EAG, AL, AJL, PKC), pp. 859–864.
SIGMODSIGMOD-2015-YangM #migration
Smooth Task Migration in Apache Storm (MY, RTBM), pp. 2067–2068.
MSRMSR-2015-PonzanelliML15a #named #stack overflow
StORMeD: Stack Overflow Ready Made Data (LP, AM, ML), pp. 474–477.
SIGMODSIGMOD-2014-ToshniwalTSRPKJGFDBMR #twitter
Storm@twitter (AT, ST, AS, KR, JMP, SK, JJ, KG, MF, JD, NB, SM, DVR), pp. 147–156.
ICPRICPR-2014-IshaqEW #evaluation #performance
An Evaluation of the Faster STORM Method for Super-resolution Microscopy (OI, JE, CW), pp. 4435–4440.
KDIRKDIR-2014-LinDDG #data analysis
Data Analytics for Power Utility Storm Planning (LL, AD, DD, SSG), pp. 308–314.
SACSAC-2014-Yoo #named #online
OSBS: online storm-water billing system (WSY), pp. 760–761.
ICEISICEIS-v2-2012-MunozMJ #comprehension
Storm as a Model for Measuring Understanding of Electrical Field (MMM, JAGdM, MLJ), pp. 59–62.
KEODKEOD-2011-HlomaniGKS #case study #composition #evaluation #framework #ontology
Utilizing a Compositional System Knowledge Framework for Ontology Evaluation — A Case Study on BioSTORM (HH, MGG, DK, DAS), pp. 167–175.
ICSEICSE-2010-Rakamaric #concurrent #named #source code
STORM: static unit checking of concurrent programs (ZR), pp. 519–520.
ICALPICALP-B-2008-VladimerouPVD #hybrid
STORMED Hybrid Systems (VV, PP, MV, GED), pp. 136–147.
FMFM-2008-WijbransBRG #case study #development #experience #formal method #re-engineering
Software Engineering with Formal Methods: Experiences with the Development of a Storm Surge Barrier Control System (KW, FB, RR, WG), pp. 419–424.
ITiCSEITiCSE-2005-ErnestBGSPTK
Weathering MindStorms with drizzle and DIODE in CS0 (JCE, ASB, SG, SS, JPP, DAT, MJK), p. 353.
HTHT-2003-FallensteinLHA #named #using #web
Storm: using P2P to make the desktop part of the web (BF, TJL, HH, TA), pp. 150–151.
HPDCHPDC-2003-KlebanC #queue
Quelling Queue Storms (SDK, SHC), pp. 162–173.
FMFM-v2-1999-ChaudronTW #design #formal method #lessons learnt
Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System (MRVC, JT, KW), pp. 1511–1526.
FMFM-1998-MeulenC #formal method #specification
Formal Methods in the Specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier (MvdM, TC), pp. 296–301.
RTARTA-1995-ChenA #commutative #named
STORM: A MAny-to-One Associative-Commutative Matcher (TC, SA), pp. 414–419.
HCIHCI-SHI-1993-OhiwaKST #collaboration #named
KJ-Editor: A Collaboration Environment for Brain Storming and Consensus Forming (HO, KK, AS, NT), pp. 939–942.

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.