20 papers:
SIGMOD-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.
- SIGMOD-2015-KatsipoulakisTG #data type #named
- CE-Storm: Confidential Elastic Processing of Data Streams (NRK, CT, EAG, AL, AJL, PKC), pp. 859–864.
- SIGMOD-2015-YangM #migration
- Smooth Task Migration in Apache Storm (MY, RTBM), pp. 2067–2068.
MSR-2015-PonzanelliML15a #named #stack overflow- StORMeD: Stack Overflow Ready Made Data (LP, AM, ML), pp. 474–477.
- SIGMOD-2014-ToshniwalTSRPKJGFDBMR #twitter
- Storm@twitter (AT, ST, AS, KR, JMP, SK, JJ, KG, MF, JD, NB, SM, DVR), pp. 147–156.
ICPR-2014-IshaqEW #evaluation #performance- An Evaluation of the Faster STORM Method for Super-resolution Microscopy (OI, JE, CW), pp. 4435–4440.
KDIR-2014-LinDDG #data analysis- Data Analytics for Power Utility Storm Planning (LL, AD, DD, SSG), pp. 308–314.
SAC-2014-Yoo #named #online- OSBS: online storm-water billing system (WSY), pp. 760–761.
ICEIS-v2-2012-MunozMJ #comprehension- Storm as a Model for Measuring Understanding of Electrical Field (MMM, JAGdM, MLJ), pp. 59–62.
KEOD-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.
ICSE-2010-Rakamaric #concurrent #named #source code- STORM: static unit checking of concurrent programs (ZR), pp. 519–520.
ICALP-B-2008-VladimerouPVD #hybrid- STORMED Hybrid Systems (VV, PP, MV, GED), pp. 136–147.
FM-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.
ITiCSE-2005-ErnestBGSPTK- Weathering MindStorms with drizzle and DIODE in CS0 (JCE, ASB, SG, SS, JPP, DAT, MJK), p. 353.
HT-2003-FallensteinLHA #named #using #web- Storm: using P2P to make the desktop part of the web (BF, TJL, HH, TA), pp. 150–151.
HPDC-2003-KlebanC #queue- Quelling Queue Storms (SDK, SHC), pp. 162–173.
- FM-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.
- FM-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.
RTA-1995-ChenA #commutative #named- STORM: A MAny-to-One Associative-Commutative Matcher (TC, SA), pp. 414–419.
HCI-SHI-1993-OhiwaKST #collaboration #named- KJ-Editor: A Collaboration Environment for Brain Storming and Consensus Forming (HO, KK, AS, NT), pp. 939–942.
