BibSLEIGH — event stem

Used together with:

base (175)
system (141)
model (120)
use (80)
detect (80)

Stem event$ (all stems)

839 papers:

CASE-2015-AcarS #design #fault: Discrete event supervisor design and application for manufacturing systems with arbitrary faults and repairs (ANA, KWS), pp. 825–830.
CASE-2015-AicherRV #abstraction #automation #simulation #towards #verification: Towards finding the appropriate level of abstraction to model and verify automated production systems in discrete event simulation (TA, SR, BVH), pp. 1048–1053.
CASE-2015-AlfonsoXA #approach #capacity #programming #representation #scheduling: A simulation-optimization approach for capacity planning and appointment scheduling of blood donors based on mathematical programming representation of event dynamics (EA, XX, VA), pp. 728–733.
CASE-2015-HillmannS #dependence #distributed #linear: Decentralized control of distributed discrete event systems with linear dependency structure (CH, OS), pp. 551–557.
CASE-2015-LuoZHZ #modelling #synthesis: Discrete-event controller synthesis based on state space models (JL, QZ, YSH, MZ), pp. 87–92.
CASE-2015-Malik #composition #verification: Advanced selfloop removal in compositional nonblocking verification of discrete event systems (RM), pp. 819–824.
CASE-2015-NonakaSLNKK #analysis #simulation #statistics: The S-Model: A digital manufacturing system combined with autonomous statistical analysis and autonomous discrete-event simulation for smart manufacturing (YN, YS, AL, SN, KK, YK), pp. 1006–1011.
CASE-2015-SemeniutaF #approach #data flow #formal method #industrial #specification: Discrete event dataflow as a formal approach to specification of industrial vision systems (OS, PF), pp. 849–854.
CASE-2015-TomolaMBC #robust: Robust codiagnosability of discrete-event systems against permanent loss of observations (JHAT, MVM, JCB, LKC), pp. 813–818.
CASE-2015-WuJG #complexity #optimisation: Local and global event-based optimization: Performace and complexity (ZW, QSJ, XG), pp. 1375–1380.
DATE-2015-AndradeMVAPL #analysis #data flow #modelling: Pre-simulation symbolic analysis of synchronization issues between discrete event and timed data flow models of computation (LA, TM, AV, CBA, FP, MML), pp. 1671–1676.
DATE-2015-LinWPKC #configuration management: Event-driven and sensorless photovoltaic system reconfiguration for electric vehicles (XL, YW, MP, JK, NC), pp. 19–24.
SIGMOD-2015-BraunEGKKWAILL #database #performance #realtime: Analytics in Motion: High Performance Event-Processing AND Real-Time Analytics in the Same Database (LB, TE, GG, MK, DK, DW, AA, AI, EL, NL), pp. 251–264.
SIGMOD-2015-GuoZLTB #query: Location-Aware Pub/Sub System: When Continuous Moving Queries Meet Dynamic Event Streams (LG, DZ, GL, KLT, ZB), pp. 843–857.
SIGMOD-2015-SheT0 #social: Utility-Aware Social Event-Participant Planning (JS, YT, LC), pp. 1629–1643.
ESOP-2015-EmmiGMR #analysis #source code: Analysis of Asynchronous Programs with Event-Based Synchronization (ME, PG, RM, FRV), pp. 535–559.
SEFM-2015-KringsBL #proving: From Failure to Proof: The ProB Disprover for B and Event-B (SK, JB, ML), pp. 199–214.
SEFM-2015-SavaryFLL #modelling #robust #testing #using: Model-Based Robustness Testing in Event-B Using Mutation (AS, MF, ML, JLL), pp. 132–147.
CHI-2015-PalenSAB #evolution: Success & Scale in a Data-Producing Organization: The Socio-Technical Evolution of OpenStreetMap in Response to Humanitarian Events (LP, RS, TJA, MB), pp. 4113–4122.
CHI-2015-ZgraggenDFD #query #regular expression #sequence #visual notation: (s|qu)eries: Visual Regular Expressions for Querying and Exploring Event Sequences (EZ, SMD, DF, RD), pp. 2683–2692.
CHI-2015-ZhaoLDHW #comparison #named #sequence #visual notation: MatrixWave: Visual Comparison of Event Sequence Data (JZ, ZL, MD, AH, AW), pp. 259–268.
DUXU-UI-2015-GuimaraesS #simulation: Humanizing Labor Resource in a Discrete Event Manufacturing Simulation Software (LBdMG, CSS), pp. 14–22.
HCI-IT-2015-OnishiST #mobile #scalability: Investigation of Transferring Touch Events for Controlling a Mobile Device with a Large Touchscreen (KO, BS, JT), pp. 250–261.
LCT-2015-FatahiMZ #performance: A Computational Model to Determine Desirability of Events Based on Personality for Performance Motivational Orientation Learners (SF, HM, ANZ), pp. 227–237.
CAiSE-2015-WeilerGS #detection #performance #runtime #twitter: Run-Time and Task-Based Performance of Event Detection Techniques for Twitter (AW, MG, MHS), pp. 35–49.
ECIR-2015-LiangCC #approach #detection #social #social media: A Noise-Filtering Approach for Spatio-temporal Event Detection in Social Media (YL, JC, CC), pp. 233–244.
ECIR-2015-WangHS0W0 #network #problem #recommendation #social #towards: Toward the New Item Problem: Context-Enhanced Event Recommendation in Event-Based Social Networks (ZW, PH, LS, KC, SW, GC), pp. 333–338.
ICML-2015-ChangYXY #detection #semantics #using: Complex Event Detection using Semantic Saliency and Nearly-Isotonic SVM (XC, YY, EPX, YY), pp. 1348–1357.
KDD-2015-AdamopoulosT #effectiveness #social #social media: The Effectiveness of Marketing Strategies in Social Media: Evidence from Promotional Events (PA, VT), pp. 1641–1650.
KDD-2015-RongCM #identification #modelling #social #why: Why It Happened: Identifying and Modeling the Reasons of the Happening of Social Events (YR, HC, ZM), pp. 1015–1024.
KDD-2015-ScheinPBW #multi: Bayesian Poisson Tensor Factorization for Inferring Multilateral Relations from Sparse Dyadic Event Counts (AS, JWP, DMB, HMW), pp. 1045–1054.
KDD-2015-ZhangW #recommendation: A Collective Bayesian Poisson Factorization Model for Cold-start Local Event Recommendation (WZ, JW), pp. 1455–1464.
KDD-2015-ZhaoSYCLR #learning #multi: Multi-Task Learning for Spatio-Temporal Event Forecasting (LZ, QS, JY, FC, CTL, NR), pp. 1503–1512.
RecSys-2015-MacedoMS #network #recommendation #social: Context-Aware Event Recommendation in Event-based Social Networks (AQdM, LBM, RLTS), pp. 123–130.
RecSys-2015-MagnusonDM #process #recommendation #twitter #using: Event Recommendation using Twitter Activity (AM, VD, DM), pp. 331–332.
SEKE-2015-AssuncaoFLSV #automaton #generative #markov #modelling #named #network #predict #probability: SANGE — Stochastic Automata Networks Generator. A tool to efficiently predict events through structured Markovian models (JA, PF, LL, AS, JMV), pp. 581–584.
SEKE-2015-FaniB #ontology #security: An Ontology for Describing Security Events (HF, EB), pp. 455–460.
SIGIR-2015-AlbakourMO #data type #identification #metadata #topic #using: Using Sensor Metadata Streams to Identify Topics of Local Events in the City (MDA, CM, IO), pp. 711–714.
SIGIR-2015-ArayaQP #named #social #social media #visualisation: Galean: Visualization of Geolocated News Events from Social Media (VPA, MQ, BP), pp. 1041–1042.
SIGIR-2015-BaruahSC #evolution: Evaluating Streams of Evolving News Events (GB, MDS, CLAC), pp. 675–684.
SIGIR-2015-FoleyBJ #learning #web: Learning to Extract Local Events from the Web (JF, MB, VJ), pp. 423–432.
SIGIR-2015-Gupta #named: CricketLinking: Linking Event Mentions from Cricket Match Reports to Ball Entities in Commentaries (MG), pp. 1033–1034.
SIGIR-2015-KostakisG #sequence: Subsequence Search in Event-Interval Sequences (OK, AG), pp. 851–854.
SIGIR-2015-QuezadaPP #social #social media: Location-Aware Model for News Events in Social Media (MQ, VPA, BP), pp. 935–938.
MoDELS-2015-SzvetitsZ #modelling #reuse #runtime: Reusable event types for models at runtime to support the examination of runtime phenomena (MS, UZ), pp. 4–13.
Onward-2015-ProkopecO #composition #distributed #programming: Isolates, channels, and event streams for composable distributed programming (AP, MO), pp. 171–182.
OOPSLA-2015-JensenMRDV #model checking: Stateless model checking of event-driven applications (CSJ, AM, VR, DD, MTV), pp. 57–73.
OOPSLA-2015-MadsenTL #javascript #static analysis: Static analysis of event-driven Node.js JavaScript applications (MM, FT, OL), pp. 505–519.
SAC-2015-0001RMW #approach #behaviour #constraints #process: Matching of events and activities: an approach based on behavioral constraint satisfaction (TB, ARS, JM, MW), pp. 1225–1230.
SAC-2015-BrideJM #approximate #generative #testing: Tri-modal under-approximation of event systems for test generation (HB, JJ, PAM), pp. 1737–1744.
SAC-2015-JuniorDOFB #performance #web: Handling flash-crowd events to improve the performance of web applications (UdPJ, LMdAD, DdO, YF, VCB), pp. 769–774.
SAC-2015-LeTN #requirements #using #verification: Verifying eventuality properties of imprecise system requirements using event-B (HAL, NTT, SN), pp. 1651–1653.
SAC-2015-PintoMCS #process #using: Using event logs and the Ψ-theory to analyse business processes (PLP, CM, AC, MMdS), pp. 1195–1202.
SAC-2015-SoaresMV #multi: Controlling the focus and input events in multimedia applications (LFGS, MFM, ÁLVG), pp. 1278–1284.
ESEC-FSE-2015-LeiteTF #commit #named: UEDashboard: awareness of unusual events in commit histories (LL, CT, FMFF), pp. 978–981.
ESEC-FSE-2015-SafiSHM #detection: Detecting event anomalies in event-based systems (GS, AS, WGJH, NM), pp. 25–37.
ICSE-v1-2015-RegisDDA #logic #specification: Specifying Event-Based Systems with a Counting Fluent Temporal Logic (GR, RD, ND, NA), pp. 733–743.
ICSE-v2-2015-ParkHKLC #case study #nondeterminism #testing: Systematic Testing of Reactive Software with Non-Deterministic Events: A Case Study on LG Electric Oven (YP, SH, MK, DL, JC), pp. 29–38.
ICSE-v2-2015-PecchiaCCC #assessment #development #industrial #process: Industry Practices and Event Logging: Assessment of a Critical Software Development Process (AP, MC, GC, DC), pp. 169–178.
HPCA-2015-ZhuHR #energy #mobile #scheduling #web: Event-based scheduling for energy-efficient QoS (eQoS) in mobile Web applications (YZ, MH, VJR), pp. 137–149.
LCTES-2015-0001HL #analysis #kernel #realtime: Cross-Kernel Control-Flow-Graph Analysis for Event-Driven Real-Time Systems (CD, MH, DL), p. 10.
TAP-2015-AthanasiouLS #concurrent #generative #testing #using: Test Case Generation for Concurrent Systems Using Event Structures (KA, HPdL, SS), pp. 19–37.
ECSA-2014-FreudenreichAFB #architecture #complexity #policy #using: Using Policies for Handling Complexity of Event-Driven Architectures (TF, SA, SF, APB), pp. 114–129.
ECSA-2014-KochHD #generative #requirements #specification: Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications (TK, JH, JD), pp. 146–153.
CASE-2014-ChenFSWJF #internet: Complex event processing for the Internet of Things and its applications (CYC, JHF, TS, PFW, EJ, MWF), pp. 1144–1149.
CASE-2014-NgoS: A time fidelity control foundation for hierarchical discrete-event systems (QHN, KTS), pp. 443–448.
DAC-2014-KimM #3d #design #on the #reliability: On the Design of Reliable 3D-ICs Considering Charged Device Model ESD Events During Die Stacking (DK, SM), p. 6.
DAC-2014-LeeL #embedded #runtime: Area-Efficient Event Stream Ordering for Runtime Observability of Embedded Systems (JCL, RL), p. 6.
DAC-2014-MunawarS #functional #modelling #scalability: Scalable Co-Simulation of Functional Models With Accurate Event Exchange (AM, SS), p. 6.
DATE-2014-BanerjeeD #calculus #constraints #generative #random #realtime #sequence: Acceptance and random generation of event sequences under real time calculus constraints (KB, PD), pp. 1–6.
DATE-2014-HsuCMGB #architecture #named #performance #validation: ArChiVED: Architectural checking via event digests for high performance validation (CHH, DC, RM, RG, VB), pp. 1–6.
DATE-2014-KimSXWPC #android #fine-grained #monitoring #named #smarttech: FEPMA: Fine-grained event-driven power meter for android smartphones based on device driver layer event monitoring (KK, DS, QX, YW, MP, NC), pp. 1–6.
DATE-2014-LeeF #framework #named #realtime #runtime #scheduling: GPU-EvR: Run-time event based real-time scheduling framework on GPGPU platform (HL, MAAF), pp. 1–6.
DATE-2014-MurilloWCLA #automation #concurrent #constraints #debugging #detection: Automatic detection of concurrency bugs through event ordering constraints (LGM, SW, JC, RL, GA), pp. 1–6.
DATE-2014-YangHKKCPK #parallel #predict #simulation: Predictive parallel event-driven HDL simulation with a new powerful prediction strategy (SY, JH, DK, NK, DC, JP, JK), pp. 1–3.
HT-2014-ShuaiLXWG #category theory #twitter: Comparing the pulses of categorical hot events in Twitter and Weibo (XS, XL, TX, YW, CG), pp. 126–135.
SIGMOD-2014-FengCBM #network #online #social: In search of influential event organizers in online social networks (KF, GC, SSB, SM), pp. 63–74.
SIGMOD-2014-Musleh #analysis #twitter #visual notation: Spatio-temporal visual analysis for event-specific tweets (MM), pp. 1611–1612.
SIGMOD-2014-QiCRR #online #sequence: Complex event analytics: online aggregation of stream sequence patterns (YQ, LC, MR, EAR), pp. 229–240.
SIGMOD-2014-ZhangDI #complexity #on the #optimisation #query: On complexity and optimization of expensive queries in complex event processing (HZ, YD, NI), pp. 217–228.
SIGMOD-2014-ZhuSL0Z: Matching heterogeneous event data (XZ, SS, XL, JW, LZ), pp. 1211–1222.
VLDB-2014-KellarisPXP #infinity #sequence: Differentially Private Event Sequences over Infinite Streams (GK, SP, XX, DP), pp. 1155–1166.
VLDB-2014-XieZMXL #named #online #realtime: CLEar: A Real-time Online Observatory for Bursty and Viral Events (RX, FZ, HM, WX, CL), pp. 1637–1640.
VLDB-2015-SongGCW14 #graph #pattern matching: Event Pattern Matching over Graph Streams (CS, TG, CXC, JW), pp. 413–424.
MSR-2014-KhodabandelouHDS #modelling #process: Unsupervised discovery of intentional process models from event logs (GK, CH, RD, CS), pp. 282–291.
PLDI-2014-HsiaoPYPNCKF #concurrent #detection #mobile: Race detection for event-driven mobile applications (CHH, CP, JY, GP, SN, PMC, ZK, JF), p. 35.
IFM-2014-FurstHBDSM #code generation: Code Generation for Event-B (AF, TSH, DAB, KD, NS, KM), pp. 323–338.
IFM-2014-LaibinisBPTTP #in the cloud #modelling #simulation: Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud (LL, BB, IP, ET, KET, IP), pp. 103–119.
IFM-2014-SchneiderTWW #ltl #refinement: Managing LTL Properties in Event-B Refinement (SAS, HT, HW, DMW), pp. 221–237.
SEFM-2014-LaibinisTGMK #behaviour #formal method #modelling #verification: Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B (LL, ET, ZG, FM, AHK), pp. 363–377.
SEFM-2014-WangW #database: Translating Event-B Machines to Database Applications (QW, TW), pp. 265–270.
CHI-2014-LeavittC #process #social: Upvoting hurricane Sandy: event-based news production processes on a social news site (AL, JAC), pp. 1495–1504.
CSCW-2014-HuangWY #comprehension #online #social: De-virtualizing social events: understanding the gap between online and offline participation for event invitations (AJH, HCW, CWY), pp. 436–448.
DUXU-DI-2014-Al-SalhieAA #detection #multi: Multimedia Surveillance in Event Detection: Crowd Analytics in Hajj (LAS, MAZ, AAW), pp. 383–392.
DUXU-TMT-2014-Bastos #design #how #realtime: Designing Real-Time: On How Events Affect Audiovisual Narrative (MB), pp. 509–518.
DUXU-TMT-2014-Tao #analysis #identification #user interface: Grammatical Analysis of User Interface Events for Task Identification (YT), pp. 197–205.
CAiSE-2014-ChanYGM #development #execution #mining #process: Mining Event Logs to Assist the Development of Executable Process Variants (NNC, KY, WG, JM), pp. 548–563.
CAiSE-2014-PikaWFHLA #behaviour #framework #using: An Extensible Framework for Analysing Resource Behaviour Using Event Logs (AP, MTW, CJF, AHMtH, ML, WMPvdA), pp. 564–579.
EDOC-2014-HalleV #formal method: A Formalization of Complex Event Stream Processing (SH, SV), pp. 2–11.
ICEIS-v3-2014-GonzalezAY #architecture #enterprise #evolution: Evolving a Core Banking Enterprise Architecture — Leveraging Business Events Exploitation (BSMG, JMdÁ, JCY), pp. 181–189.
CIKM-2014-KuzeyVW #fresh look #knowledge base: A Fresh Look on Knowledge Bases: Distilling Named Events from News (EK, JV, GW), pp. 1689–1698.
CIKM-2014-McParlaneMJ #social #social media #visual notation: “Picture the scene...”;: Visually Summarising Social Media Events (PJM, AJM, JMJ), pp. 1459–1468.
CIKM-2014-OuyangSTN #crowdsourcing #detection: Truth Discovery in Crowdsourced Detection of Spatial Events (WRO, MBS, AT, TJN), pp. 461–470.
CIKM-2014-SeolJYCL #problem #summary: A Problem-Action Relation Extraction Based on Causality Patterns of Clinical Events in Discharge Summaries (JWS, SHJ, WY, JC, KSL), pp. 1971–1974.
ECIR-2014-CeroniF #automation #towards #validation: Towards an Entity-Based Automatic Event Validation (AC, MF), pp. 605–611.
ECIR-2014-CorneyMG #detection #twitter: Spot the Ball: Detecting Sports Events on Twitter (DC, CJM, AG), pp. 449–454.
ECIR-2014-SchallerHE #detection #smarttech: Detecting Event Visits in Urban Areas via Smartphone GPS Data (RS, MH, DE), pp. 681–686.
ICML-c1-2014-LianREC #correlation #markov #modelling #process: Modeling Correlated Arrival Events with Latent Semi-Markov Processes (WL, VR, BE, LC), pp. 396–404.
ICPR-2014-Climent-PerezMR #detection #multi #using: Multi-view Event Detection in Crowded Scenes Using Tracklet Plots (PCP, DNM, PR), pp. 4370–4375.
ICPR-2014-FengWWL #adaptation #multi #recognition: Multi-group Adaptation for Event Recognition from Videos (YF, XW, HW, JL), pp. 3915–3920.
ICPR-2014-FradiD #detection #recognition: Sparse Feature Tracking for Crowd Change Detection and Event Recognition (HF, JLD), pp. 4116–4121.
ICPR-2014-JhuoL #detection #learning #multi #video: Video Event Detection via Multi-modality Deep Learning (IHJ, DTL), pp. 666–671.
ICPR-2014-LuWW #detection #summary: Audiotory Movie Summarization by Detecting Scene Changes and Sound Events (TL, YW, GW), pp. 756–760.
ICPR-2014-QianZX #classification #multi #social: Boosted Multi-modal Supervised Latent Dirichlet Allocation for Social Event Classification (SQ, TZ, CX), pp. 1999–2004.
ICPR-2014-TrichetN #recognition #segmentation #video: Video Segmentation Descriptors for Event Recognition (RT, RN), pp. 1940–1945.
KDD-2014-ChenN #detection #graph #parametricity #social #social media #statistics: Non-parametric scan statistics for event detection and forecasting in heterogeneous social media graphs (FC, DBN), pp. 1166–1175.
KDD-2014-LiLBLY #on the #social: On social event organization (KL, WL, SB, LVSL, CY), pp. 1206–1215.
KDD-2014-LinRRYRF #clustering #enterprise #scalability: Unveiling clusters of events for alert and incident management in large-scale enterprise it (DL, RR, VR, JY, RR, JF), pp. 1630–1639.
KDD-2014-LuoLLFDZW #correlation: Correlating events with time series for incident diagnosis (CL, JGL, QL, QF, RD, DZ, ZW), pp. 1583–1592.
KDD-2014-RozenshteinAGT #detection #network #process: Event detection in activity networks (PR, AA, AG, NT), pp. 1176–1185.
KDD-2014-TsytsarauPC #social #social media: Dynamics of news events and social media reaction (MT, TP, MC), pp. 901–910.
KDIR-2014-CainaRV #impact analysis #monitoring: Marble Initiative — Monitoring the Impact of Events on Customers Opinion (MFC, RPDR, AFV), pp. 403–410.
KDIR-2014-DuvalCCS #mining #twitter: Mining for Adverse Drug Events on Twitter (FD, EC, OGC, FS), pp. 354–359.
KDIR-2014-FahedBB #algorithm #mining #predict: Episode Rules Mining Algorithm for Distant Event Prediction (LF, AB, AB), pp. 5–13.
SEKE-2014-FernandesALG #modelling #probability #process #reduction: A Dimensionality Reduction Process to Forecast Events through Stochastic Models (PF, JA, LL, SG), pp. 534–539.
SIGIR-2014-McMinnTYPSPJ #interactive #interface #twitter #visualisation: An interactive interface for visualizing events on Twitter (AJM, DT, TY, AP, RS, JARP, JMJ), pp. 1271–1272.
SIGIR-2014-McParlaneJ #image #twitter #wiki: Exploiting Twitter and Wikipedia for the annotation of event images (PJM, JMJ), pp. 1175–1178.
SIGIR-2014-McParlaneJ14a #automation #image #novel: A novel system for the semi automatic annotation of event images (PJM, JMJ), pp. 1269–1270.
SIGIR-2014-TsolmonL #analysis #modelling #timeline: An event extraction model based on timeline and user analysis in Latent Dirichlet allocation (BT, KSL), pp. 1187–1190.
MoDELS-2014-DavidRV #model transformation #streaming: Streaming Model Transformations By Complex Event Processing (ID, IR, DV), pp. 68–83.
MoDELS-2014-DavidRV #model transformation #streaming: Streaming Model Transformations By Complex Event Processing (ID, IR, DV), pp. 68–83.
OOPSLA-2014-PradelSNS #generative #latency #named #testing #user interface: EventBreak: analyzing the responsiveness of user interfaces through performance-guided test generation (MP, PS, GCN, KS), pp. 33–47.
SAC-2014-BillhardtLOBD: Intelligent event processing for emergency medical assistance (HB, ML, SO, RB, JD), pp. 200–206.
SAC-2014-RiveraC #java #source code: Translating event-B to JML-specified Java programs (VR, NC), pp. 1264–1271.
SAC-2014-TragatschnigTZ #impact analysis #using: Impact analysis for event-based systems using change patterns (ST, HT, UZ), pp. 763–768.
ICSE-2014-AlimadadiSMP #comprehension #interactive #javascript: Understanding JavaScript event-based interactions (SA, SS, AM, KP), pp. 367–377.
LICS-CSL-2014-GutierrezW #concurrent #game studies: Equilibria of concurrent games on event structures (JG, MW), p. 10.
CASE-2013-ChenK #distributed #probability: Decentralized failure diagnosis of stochastic discrete event systems (JC, RK), pp. 1083–1088.
CASE-2013-DanancherLLF #multi: A Discrete event model for multiple inhabitants location tracking (MD, JJL, LL, GF), pp. 910–915.
CASE-2013-DanishvarMSA #clustering #modelling #realtime: Event-clustering for real-time data modeling (MD, AM, PAMdS, RA), pp. 362–367.
CASE-2013-Markovski #analysis #synthesis: Synthesis and analysis of supervisory controllers for time-abstracted discrete-event systems (JM), pp. 1075–1082.
CASE-2013-SunLJY #energy #nondeterminism #optimisation: Event-based optimization with non-stationary uncertainties to save energy costs of HVAC systems in buildings (BS, PBL, QSJ, BY), pp. 436–441.
DAC-2013-EbrahimiAT #analysis #approach #multi: A layout-based approach for multiple event transient analysis (ME, HA, MBT), p. 6.
DAC-2013-JangPK #simulation: An event-driven simulation methodology for integrated switching power supplies in SystemVerilog (JEJ, MJP, JK), p. 7.
DATE-2013-BundMS #analysis: Event density analysis for event triggered control systems (TB, BM, FS), pp. 1111–1116.
DATE-2013-ChenD #parallel #predict #simulation #using: Optimized out-of-order parallel discrete event simulation using predictions (WC, RD), pp. 3–8.
DATE-2013-LukasiewyczSC #programming #using: Priority assignment for event-triggered systems using mathematical programming (ML, SS, SC), pp. 982–987.
HT-2013-LiangCCK #how #modelling #social #social media: How big is the crowd?: event and location based population modeling in social media (YL, JC, ZC, KYK), pp. 99–108.
HT-2013-RuoccoR #image #proximity: Exploring temporal proximity and spatial distribution of terms in web-based search of event-related images (MR, HR), pp. 248–252.
SIGMOD-2013-LiGC #named #realtime #sequence: ε-Matching: event processing over noisy sequences in real time (ZL, TG, CXC), pp. 601–612.
SIGMOD-2013-WangHRN: Utility-maximizing event stream suppression (DW, YH, EAR, JFN), pp. 589–600.
VLDB-2013-0001SZL #performance: Efficient Recovery of Missing Events (JW, SS, XZ, XL), pp. 841–852.
VLDB-2013-AbdelhaqSG #detection #locality #named #online #twitter: EvenTweet: Online Localized Event Detection from Twitter (HA, CS, MG), pp. 1326–1329.
ICSM-2013-Karus #automation #development #identification: Automatic Means of Identifying Evolutionary Events in Software Development (SK), pp. 412–415.
PLDI-2013-DesaiGJQRZ #named #programming: P: safe asynchronous event-driven programming (AD, VG, EKJ, SQ, SKR, DZ), pp. 321–332.
CIAA-2013-BelliB #testing #using: Using Regular Grammars for Event-Based Testing (FB, MB), pp. 48–59.
IFM-2013-Abrial #proving #source code: From Z to B and then Event-B: Assigning Proofs to Meaningful Programs (JRA), pp. 1–15.
CHI-2013-KimN #design #gesture #interactive #named #prototype: EventHurdle: supporting designers’ exploratory interaction prototyping with gesture-based sensors (JWK, TJN), pp. 267–276.
DUXU-NTE-2013-KulkarniW #energy #using: Classifying Energy-Related Events Using Electromagnetic Field Signatures (ASK, KCW), pp. 105–111.
HIMI-D-2013-ChenTWCXY #automation #generative #named #social #social media: EventLens: An Automatic Magazine Generating System for Social Media (HC, HT, ZW, PC, YX, SY), pp. 177–186.
CAiSE-2013-KapurugeHCK13a #ad hoc #adaptation #process: Enabling Ad-hoc Business Process Adaptations through Event-Driven Task Decoupling (MK, JH, AC, IK), pp. 384–399.
CAiSE-2013-PikaAFHW #process #profiling: Profiling Event Logs to Configure Risk Indicators for Process Delays (AP, WMPvdA, CJF, AHMtH, MTW), pp. 465–481.
CAiSE-2013-RiemerSS #design #performance: A Methodology for Designing Events and Patterns in Fast Data Processing (DR, NS, LS), pp. 133–148.
EDOC-2013-Herzberg0W #framework #process: An Event Processing Platform for Business Process Management (NH, AM, MW), pp. 107–116.
EDOC-2013-TranZ #analysis #approach #architecture #verification: Event Actors Based Approach for Supporting Analysis and Verification of Event-Driven Architectures (HT, UZ), pp. 217–226.
ICEIS-v2-2013-TounsiHKKD #design pattern #modelling #specification #using: Using SoaML Models and Event-B Specifications for Modeling SOA Design Patterns (IT, ZH, MHK, AHK, KD), pp. 294–301.
ICEIS-v2-2013-ZhangWSP #linked data #network #open data #recommendation #social: Event Recommendation in Social Networks with Linked Data Enablement (YZ, HW, VSS, VKP), pp. 371–379.
ICEIS-v3-2013-KimOK #architecture #enterprise #framework #modelling: Complex Event as an Core Aspect of Enterprise Architecture — EDEMF: Event Driven Enterprise Architecture Modeling Framework (HK, SO, PK), pp. 292–301.
CIKM-2013-ArdonBMRSTT #analysis #topic #twitter: Spatio-temporal and events based analysis of topic popularity in twitter (SA, AB, AM, AR, AS, RMT, ST), pp. 219–228.
CIKM-2013-GhoreishiS #predict #query: Predicting event-relatedness of popular queries (SNG, AS), pp. 1193–1196.
CIKM-2013-GuGZLG #effectiveness #identification #named #towards: AnchorMF: towards effective event context identification (HG, MG, LZ, QL, DG), pp. 629–638.
CIKM-2013-McMinnMJ #corpus #detection #scalability #twitter: Building a large-scale corpus for evaluating event detection on twitter (AJM, YM, JMJ), pp. 409–418.
CIKM-2013-TangLCZ #sequence: Searching similar segments over textual event sequences (LT, TL, SCC, SZ), pp. 329–338.
CIKM-2013-ValkanasG #how #web: How the live web feels about events (GV, DG), pp. 639–648.
ECIR-2013-GeorgescuKKNS #wiki: Extracting Event-Related Information from Article Updates in Wikipedia (MG, NK, DK, WN, SS), pp. 254–266.
ECIR-2013-GuoDY: Updating Users about Time Critical Events (QG, FD, EYT), pp. 483–494.
ECIR-2013-JeongM #classification #dependence #recognition #using: Using WordNet Hypernyms and Dependency Features for Phrasal-Level Event Recognition and Type Classification (YJ, SHM), pp. 267–278.
ECIR-2013-WaltherK #detection #twitter: Geo-spatial Event Detection in the Twitter Stream (MW, MK), pp. 356–367.
ICML-c1-2013-WulsinFL #correlation #markov #parsing #process #using: Parsing epileptic events using a Markov switching process model for correlated time series (DW, EBF, BL), pp. 356–364.
ICML-c3-2013-FriedlandJL #detection #social: Copy or Coincidence? A Model for Detecting Social Influence and Duplication Events (LF, DJ, ML), pp. 1175–1183.
KDD-2013-HuaCZLR #detection #named #twitter: STED: semi-supervised targeted-interest event detectionin in twitter (TH, FC, LZ, CTL, NR), pp. 1466–1469.
KDD-2013-KengneFTIRWS #execution #multi #scalability #sequence: Efficiently rewriting large multimedia application execution traces with few event sequences (CKK, LCF, AT, NI, MCR, TW, MS), pp. 1348–1356.
KDD-2013-LeeLM #evolution #keyword #named #social: KeySee: supporting keyword search on evolving events in social streams (PL, LVSL, EEM), pp. 1478–1481.
KDD-2013-LinWHY #information management #learning #modelling #social: Extracting social events for learning better information diffusion models (SL, FW, QH, PSY), pp. 365–373.
KDD-2013-TaoLHZCDDDGJKKLLLLOSTWZZ #mining #multi #named: EventCube: multi-dimensional search and mining of structured and text data (FT, KHL, JH, CZ, XC, MD, ND, BD, JG, HJ, RK, AK, QL, YL, CXL, JL, NCO, ANS, RT, CW, DZ, BZ), pp. 1494–1497.
KDD-2013-WangDYWCSI #clustering #data mining #framework #identification #mining #towards: Towards long-lead forecasting of extreme flood events: a data mining framework for precipitation cluster precursors identification (DW, WD, KY, XW, PC, DLS, SI), pp. 1285–1293.
KDD-2013-WangLLWWC #analysis #named #twitter: SEA: a system for event analysis on chinese tweets (YW, HL, HL, JW, ZW, JC), pp. 1498–1501.
KDD-2013-WuLYT #mining #sequence: Mining high utility episodes in complex event sequences (CWW, YFL, PSY, VST), pp. 536–544.
KDD-2013-ZhangWF #recommendation: Combining latent factor model with location features for event-based group recommendation (WZ, JW, WF), pp. 910–918.
KEOD-2013-OimK #comprehension #representation: Event Representation in Text Understanding — Transfer of Meaning Structures (HÕ, MK), pp. 367–372.
RecSys-2013-KhroufT #hybrid #linked data #open data #recommendation #using: Hybrid event recommendation using linked data and user diversity (HK, RT), pp. 185–192.
SIGIR-2013-SchallerHE #distributed #recommendation #visitor: RecSys for distributed events: investigating the influence of recommendations on visitor plans (RS, MH, DE), pp. 953–956.
SIGIR-2013-WhitingZJL #multi: Temporal variance of intents in multi-faceted event-driven information needs (SW, KZ, JMJ, ML), pp. 989–992.
Onward-2013-MilicevicJGM #interactive #modelling #paradigm #programming #web: Model-based, event-driven programming paradigm for interactive web applications (AM, DJ, MG, DM), pp. 17–36.
OOPSLA-2013-RaychevVS #concurrent #detection #effectiveness #source code: Effective race detection for event-driven programs (VR, MTV, MS), pp. 151–166.
SAC-2013-GaoB #architecture: User centric complex event processing based on service oriented architectures (FG, SB), pp. 1933–1934.
SAC-2013-TounsiKKDM #approach #design pattern #formal method #modelling #towards: Towards an approach for modeling and formalizing SOA design patterns with Event-B (IT, MHK, AHK, KD, EM), pp. 1937–1938.
SAC-2013-TragatschnigZ #enterprise #integration #using: Enterprise integration using event actor based event transformations (ST, UZ), pp. 1434–1440.
SAC-2013-ZagareseCZAPB #data-driven #interactive #performance: Efficient data-intensive event-driven interaction in SOA (QZ, GC, EZ, IA, LP, FB), pp. 1907–1912.
ESEC-FSE-2013-GarciaPSHM #distributed #identification: Identifying message flow in distributed event-based systems (JG, DP, GS, WGJH, NM), pp. 367–377.
ASPLOS-2013-GrossmanKBTDILSTYS #fine-grained #hardware: Hardware support for fine-grained event-driven computation in Anton 2 (JPG, JK, JAB, MT, ROD, DJI, RHL, UBS, BT, CY, DES), pp. 549–560.
PPoPP-2013-BonettaBP #javascript #named #parallel: TigerQuoll: parallel event-based JavaScript (DB, WB, CP), pp. 251–260.
ISSTA-2013-JensenPM #automation #generative #sequence #testing: Automated testing with targeted event sequence generation (CSJ, MRP, AM), pp. 67–77.
CASE-2012-CabasinoGMS #comparison #tool support: A comparison among tools for the diagnosability of discrete event systems (MPC, AG, LM, CS), pp. 218–223.
CASE-2012-ChenK #polynomial #probability: Polynomial test for Stochastic Diagnosability of discrete event systems (JC, RK), pp. 521–526.
CASE-2012-DhananjayanS #automation #design #realtime #requirements #specification #validation: Automating timed specification transparency for human designer validation of real-time discrete-event control requirements (AD, KTS), pp. 908–913.
CASE-2012-DotoliFIR #agile #modelling #simulation #using: A lean manufacturing strategy using Value Stream Mapping, the Unified Modeling Language, and discrete event simulation (MD, MPF, GI, GR), pp. 668–673.
CASE-2012-FeiMAL #approach #automaton #finite #scalability: A symbolic approach to large-scale discrete event systems modeled as finite automata with variables (ZF, SM, KÅ, BL), pp. 502–507.
CASE-2012-HoerningSWS #analysis #robust #simulation #tool support: Improving discrete event simulation in the emergency department with innovative and robust input analysis tools (SH, JS, TW, LS), pp. 131–136.
CASE-2012-KobayashiH #automaton #on the: On opacity and diagnosability in discrete event systems modeled by pushdown automata (KK, KH), pp. 662–667.
CASE-2012-NgoS #composition #design: Hierarchical control of discrete-event systems: A new command and control design based on feasible system decomposition (QHN, KTS), pp. 674–679.
CASE-2012-YamaguchiIS #data-driven #database #fault #network: Data based construction of Bayesian Network for fault diagnosis of event-driven systems (TY, SI, TS), pp. 508–514.
DATE-2012-PontesCV #design #reliability: An accurate Single Event Effect digital design flow for reliable system level design (JJHP, NC, PV), pp. 224–229.
HT-2012-ZubiagaSAG #realtime #summary #towards #twitter: Towards real-time summarization of scheduled events from twitter streams (AZ, DS, EA, JG), pp. 319–320.
SIGMOD-2012-MozafariZZ #xml: High-performance complex event processing over XML streams (BM, KZ, CZ), pp. 253–264.
VLDB-2012-AgarwalRB #clustering #graph #identification #realtime: Real Time Discovery of Dense Clusters in Highly Dynamic Graphs: Identifying Real World Events in Highly Dynamic Environments (MKA, KR, MB), pp. 980–991.
VLDB-2012-GuanYK #correlation #graph: Measuring Two-Event Structural Correlations on Graphs (ZG, XY, LMK), pp. 1400–1411.
ITiCSE-2012-Sudol-DeLyserSC #comprehension #learning #problem: Code comprehension problems as learning events (LASD, MS, SC), pp. 81–86.
FoSSaCS-2012-CrafaVY #parallel #semantics #π-calculus: Event Structure Semantics of Parallel Extrusion in the π-Calculus (SC, DV, NY), pp. 225–239.
FM-2012-BarringerFHRR #automaton #monitoring #performance #quantifier #runtime #towards: Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors (HB, YF, KH, GR, DER), pp. 68–84.
IFM-2012-CalderS #algebra #case study #network #process #runtime #verification: Process Algebra for Event-Driven Runtime Verification: A Case Study of Wireless Network Management (MC, MS), pp. 21–23.
IFM-2012-DiaconescuLPSS #interactive: Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems (DD, IL, LP, KS, GS), pp. 221–236.
IFM-2012-TarasyukTL #formal method #modelling #probability #verification: Formal Modelling and Verification of Service-Oriented Systems in Probabilistic Event-B (AT, ET, LL), pp. 237–252.
IFM-2012-TianBB #behaviour #detection #game studies #multi: Behaviour-Based Cheat Detection in Multiplayer Games with Event-B (HT, PJB, AGB), pp. 206–220.
SEFM-2012-BicknellRBCS #approach #using #verification: A Practical Approach for Closed Systems Formal Verification Using Event-B (BB, JR, MJB, JC, CFS), pp. 323–332.
SEFM-2012-FathabadiBR #approach #composition: A Systematic Approach to Atomicity Decomposition in Event-B (ASF, MJB, AR), pp. 78–93.
CSCW-2012-ChoudhuryDN #category theory #classification #twitter: Unfolding the event landscape on twitter: classification and exploration of user categories (MDC, ND, MN), pp. 241–244.
CSCW-2012-LindsethB #collaboration #design: Collaborative design of an oceanographic event logger (BL, KB), pp. 1195–1198.
AdaEurope-2012-EdmundsRB #ada #formal method #implementation #modelling: Formal Modelling for Ada Implementations: Tasking Event-B (AE, AR, MJB), pp. 119–132.
AdaEurope-2012-PereverzevaTL #development: Formal Goal-Oriented Development of Resilient MAS in Event-B (IP, ET, LL), pp. 147–161.
CAiSE-2012-BrouckeWBV #generative #process: Improved Artificial Negative Event Generation to Enhance Process Event Logs (SKLMvB, JDW, BB, JV), pp. 254–269.
CAiSE-2012-MaggiBA #declarative #modelling #performance #process: Efficient Discovery of Understandable Declarative Process Models from Event Logs (FMM, RPJCB, WMPvdA), pp. 270–285.
EDOC-2012-ParaisoHRMS #framework #middleware: A Middleware Platform to Federate Complex Event Processing (FP, GH, RR, PM, LS), pp. 113–122.
ICEIS-v3-2012-DunkelB #design pattern #enterprise: Design Patterns for Event-driven Enterprise Architectures (JD, RB), pp. 187–192.
ICEIS-v3-2012-KimO #architecture #case study #enterprise #modelling: A Case Study on Modeling of Complex Event Processing in Enterprise Architecture (HK, SO), pp. 173–180.
ICEIS-v3-2012-SantanaB #summary #user interface #visualisation: Visualizing User Interface Events — Event Stream Summarization through Signs (VFdS, MCCB), pp. 78–85.
CIKM-2012-CuiZLMZ #twitter: Discover breaking events with popular hashtags in twitter (AC, MZ, YL, SM, KZ), pp. 1794–1798.
CIKM-2012-GaoLD #modelling #social #social media #summary #topic: Joint topic modeling for event summarization across news and social media streams (WG, PL, KD), pp. 1173–1182.
CIKM-2012-KanhabuaRSN #microblog: Supporting temporal analytics for health-related events in microblogs (NK, SR, AS, WN), pp. 2686–2688.
CIKM-2012-KongJYXZ #ranking: Ranking news events by influence decay and information fusion for media and users (LK, SJ, RY, SX, YZ), pp. 1849–1853.
CIKM-2012-LinLLWCL #generative #microblog: Generating event storylines from microblogs (CL, CL, JL, DW, YC, TL), pp. 175–184.
CIKM-2012-LiSD #detection #named #twitter: Twevent: segment-based event detection from tweets (CL, AS, AD), pp. 155–164.
CIKM-2012-WhitingZJAL #named: CrowdTiles: presenting crowd-based information for event-driven information needs (SW, KZ, JMJ, OA, TL), pp. 2698–2700.
ECIR-2012-GaugazSDIGH #impact analysis #predict: Predicting the Future Impact of News Events (JG, PS, GD, TI, MG, NH), pp. 50–62.
ICML-2012-ChambersJ #learning: Learning the Central Events and Participants in Unlabeled Text (NC, DJ), p. 3.
ICML-2012-DavisCBPPC #clustering #predict #relational: Demand-Driven Clustering in Relational Domains for Predicting Adverse Drug Events (JD, VSC, EB, DP, PLP, MC), p. 172.
ICPR-2012-TrinhLMMP #performance #summary #video: Efficient UAV video event summarization (HT, JL, SM, JM, SP), pp. 2226–2229.
ICPR-2012-WangJ #network #recognition: Incorporating contextual knowledge to Dynamic Bayesian Networks for event recognition (XW, QJ), pp. 3378–3381.
ICPR-2012-WangJ12a #approach #novel #probability #recognition: A novel probabilistic approach utilizing clip attribute as hidden knowledge for event recognition (XW, QJ), pp. 3382–3385.
KDD-2012-0001LHSE #approach #towards: Towards heterogeneous temporal clinical event pattern discovery: a convolutional approach (FW, NL, JH, JS, SE), pp. 453–461.
KDD-2012-BatalFHMH #detection #mining #multi: Mining recent temporal patterns for event detection in multivariate time series data (IB, DF, JH, FM, MH), pp. 280–288.
KDD-2012-CadonnaGB #pattern matching #performance: Efficient event pattern matching with match windows (BC, JG, MHB), pp. 471–479.
KDD-2012-LiuHTLMH #network #online #social: Event-based social networks: linking the online and offline social worlds (XL, QH, YT, WCL, JM, JH), pp. 1032–1040.
KDD-2012-LiWH #mining: Mining event periodicity from incomplete observations (ZL, JW, JH), pp. 444–452.
KDD-2012-MatsubaraSFIY #mining #performance: Fast mining and forecasting of complex time-stamped events (YM, YS, CF, TI, MY), pp. 271–279.
KDD-2012-RitterMEC #twitter: Open domain event extraction from twitter (AR, M, OE, SC), pp. 1104–1112.
KDD-2012-ShanZCSWYYL #multi #named #retrieval: EventSearch: a system for event discovery and retrieval on multi-type historical data (DS, WXZ, RC, BS, ZW, JY, HY, XL), pp. 1564–1567.
KDD-2012-TattiV #sequence: The long and the short of it: summarising event sequences with serial episodes (NT, JV), pp. 462–470.
KDIR-2012-Ananiadou #semantics: Extracting Semantically Enriched Events from the Literature (SA).
KDIR-2012-FleissnerF #approach: A Syntax-oriented Event Extraction Approach (SF, ACF), pp. 336–339.
KDIR-2012-HaanR #detection: Detecting Temporally Related Arithmetical Patterns — An Extension of Complex Event Processing (RdH, MR), pp. 329–332.
KDIR-2012-QuirogaMH #sequence: Frequent and Significant Episodes in Sequences of Events — Computation of a New Frequency Measure based on Individual Occurrences of the Events (OQ, JM, SH), pp. 324–328.
KR-2012-GrastienHT #theory and practice: Conflict-Based Diagnosis of Discrete Event Systems: Theory and Practice (AG, PH, ST).
RecSys-2012-GertnerLW #enterprise #recommendation: Recommenders for the enterprise: event, contact, and group (ASG, BL, JW), pp. 299–300.
RecSys-2012-SklarSH #realtime #recommendation: Recommending interesting events in real-time with foursquare check-ins (MS, BS, AH), pp. 311–312.
SEKE-2012-DagninoSR #fault #machine learning #using: Forecasting Fault Events in Power Distribution Grids Using Machine Learning (AD, KS, LR), pp. 458–463.
SEKE-2012-XiePDMRTR #categorisation #clustering #grid #power management: Progressive Clustering with Learned Seeds: An Event Categorization System for Power Grid (BX, RJP, HD, JYM, AR, AT, CR), pp. 100–105.
ECMFA-2012-GoldschmidtM #domain-specific language #query: An Internal Domain-Specific Language for Constructing OPC UA Queries and Event Filters (TG, WM), pp. 62–73.
SAC-2012-FischerMK #data type #realtime #visual notation: Real-time visual analytics for event data streams (FF, FM, DAK), pp. 801–806.
SAC-2012-MalakutiA #composition #evolution: Evolution of composition filters to event composition (SM, MA), pp. 1850–1857.
SAC-2012-Perez-CastilloGPW #repository: Integrating event logs into KDM repositories (RPC, IGRdG, MP, BW), pp. 1095–1102.
SAC-2012-TiwariG #case study #validation: Statechart-based use case requirement validation of event-driven systems (ST, AG), pp. 1091–1093.
ICSE-2012-DIppolito #challenge #re-engineering #synthesis: Synthesis of event-based controllers: A software engineering challenge (ND), pp. 1547–1550.
HPDC-2012-IlscheSCKJKIRNP #middleware: Enabling event tracing at leadership-class scale through I/O forwarding middleware (TI, JS, JC, DK, TJ, AK, KI, RBR, WEN, SP), pp. 49–60.
PPoPP-2012-KosterMD: Synchronization views for event-loop actors (JDK, SM, TD), pp. 317–318.
ICLP-2012-BanbaraTI #generative #matrix #programming #testing: Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix (MB, NT, KI), pp. 86–97.
ICST-2012-CalvarTH #framework #monitoring #runtime: A Runtime Monitoring Framework for Event Streams with Non-primitive Arguments (JC, RTL, SH), pp. 499–508.
ICST-2012-KuhnHLKL #combinator #sequence #testing: Combinatorial Methods for Event Sequence Testing (DRK, JMH, JL, RK, YL), pp. 601–609.
ICST-2012-MizanF #analysis #automation #performance: Automated Performance Model Construction through Event Log Analysis (AM, GF), pp. 636–641.
ICST-2012-WehbiOB #monitoring #security #using: Events-Based Security Monitoring Using MMT Tool (BW, EMdO, MB), pp. 860–863.
ISSTA-2012-Walcott-JusticeMS #hardware #monitoring #named #testing: THeME: a system for testing by hardware monitoring events (KWJ, JM, MLS), pp. 12–22.
TAP-2012-LeonHL #consistency: Conformance Relations for Labeled Event Structures (HPdL, SH, DL), pp. 83–98.
ECSA-2011-HamelGKBG #behaviour #transaction #verification: Verifying Composite Service Transactional Behavior with EVENT-B (LH, MG, MK, MTB, WG), pp. 67–74.
QoSA-ISARCS-2011-KlattRK #communication #framework #integration #predict #quality: Integration of event-based communication in the palladio software quality prediction framework (BK, CR, SK), pp. 43–52.
ASE-2011-RathfelderKE #automation #capacity #performance #predict #using: Capacity planning for event-based systems using automated performance predictions (CR, SK, DE), pp. 352–361.
CASE-2011-BasileCC #analysis #automation: A discrete event model for the control and analysis of complex automated warehouse systems (FB, PC, JC), pp. 201–207.
CASE-2011-CabasinoCGSS #framework #integration #tool support: A software platform for the integration of discrete event systems tools (MPC, LC, AG, CS, AS), pp. 45–51.
CASE-2011-MalkiM #approach #modelling: Boolean temporal model-based approach for the diagnosis of Discrete Event Systems (NM, MSM), pp. 175–180.
CASE-2011-MohajeraniMF #composition #nondeterminism #synthesis: Nondeterminism avoidance in compositional synthesis of discrete event systems (SM, RM, MF), pp. 19–24.
DAC-2011-VelamalaLTC #design #logic: Design sensitivity of single event transients in scaled logic circuits (JV, RL, MT, YC), pp. 694–699.
DATE-2011-FazeliAMAT #estimation #fault #multi: Soft error rate estimation of digital circuits in the presence of Multiple Event Transients (METs) (MF, SNA, SGM, HA, MBT), pp. 70–75.
DATE-2011-KimCY #distributed #predict #simulation: A new distributed event-driven gate-level HDL simulation by accurate prediction (DK, MJC, SY), pp. 547–550.
HT-2011-GoedeMNW #network #social #summary #using: Succinct summaries of narrative events using social networks (BdG, MM, AN, JvW), pp. 299–304.
HT-2011-StewartSN #approach #detection #social #social media: A transfer approach to detecting disease reporting events in blog social media (AS, MS, WN), pp. 271–280.
PODS-2011-HeBWN #complexity #on the #privacy: On the complexity of privacy-preserving complex event processing (YH, SB, DW, JFN), pp. 165–174.
SIGMOD-2011-LiuRGGWAM #analysis #multi #named #query #sequence #using: E-Cube: multi-dimensional event sequence analysis using hierarchical pattern query sharing (ML, EAR, KG, CG, SW, IA, AM), pp. 889–900.
VLDB-2011-WangRE: Active Complex Event Processing over Event Streams (DW, EAR, RTE), pp. 634–645.
FASE-2011-BendispostoL #analysis #automation: Automatic Flow Analysis for Event-B (JB, ML), pp. 50–64.
CSMR-2011-StojanovicOCD #coordination #development #named #open source #realtime: ALERT: Active Support and Real-Time Coordination Based on Event Processing in Open Source Software Development (LS, FO, LC, SD), pp. 359–362.
WCRE-2011-RamonCM #reverse engineering: Reverse Engineering of Event Handlers of RAD-Based Applications (ÓSR, JSC, JGM), pp. 293–302.
PLDI-2011-ZiarekSJ #composition: Composable asynchronous events (LZ, KCS, SJ), pp. 628–639.
CIAA-2011-OrtizLS #automaton #distributed: Distributed Event Clock Automata — Extended Abstract (JJO, AL, PYS), pp. 250–263.
IFM-J-2009-BenesBBCSV11 #automaton #component #ltl #partial order #reduction: Partial order reduction for state/event LTL with application to component-interaction automata (NB, LB, BB, IC, JS, PV), pp. 877–890.
IFL-2011-AmsdenF #transaction: Fairness for Transactional Events (EA, MF), pp. 17–34.
AGTIVE-2011-Proctor #named: Drools: A Rule Engine for Complex Event Processing (MP), p. 2.
CHI-2011-MarcusBBKMM #microblog #named #visualisation: Twitinfo: aggregating and visualizing microblogs for event exploration (AM, MSB, OB, DRK, SM, RCM), pp. 227–236.
CHI-2011-MartinH #coordination #named #scheduling #social: Kairoscope: managing time perception and scheduling through social event coordination (RM, HH), pp. 1969–1978.
CHI-2011-ShiraziRSKMS #mobile #realtime: Real-time nonverbal opinion sharing through mobile phones during sports events (ASS, MR, RS, SGK, AM, AS), pp. 307–310.
CHI-2011-WilcoxMTGH: Characterizing patient-friendly “micro-explanations” of medical events (LW, DM, DST, JG, EH), pp. 29–32.
CHI-2011-WongsuphasawatGPWTS #bibliography #named #sequence #visualisation: LifeFlow: visualizing an overview of event sequences (KW, JAGG, CP, TDW, MTM, BS), pp. 1747–1756.
HIMI-v1-2011-VrotsouF #metric #similarity: A Qualitative Study of Similarity Measures in Event-Based Data (KV, CF), pp. 170–179.
OCSC-2011-AliprandiRMTM #dataset #rdf #semantics #web #wiki: Extracting Events from Wikipedia as RDF Triples Linked to Widespread Semantic Web Datasets (CA, FR, AM, MT, SM), pp. 90–99.
ICEIS-J-2011-NganBL11a #framework #learning #monitoring #multi #query: An Event-Based Service Framework for Learning, Querying and Monitoring Multivariate Time Series (CKN, AB, JL), pp. 208–223.
ICEIS-v1-2011-Osborn #library #maintenance: Event-based Maintenance of Digital Library Collections (WO), pp. 123–128.
ICEIS-v4-2011-SchiefKZRWSMME #internet #process: The ADiWa Project — On the Way to Just-in-time Process Dynamics based on Events from the Internet of Things (MS, CK, BZ, PR, WW, JS, DM, HM, JE), pp. 371–377.
CIKM-2011-AmodeoBB #hybrid #modelling #predict: Hybrid models for future event prediction (GA, RB, UB), pp. 1981–1984.
CIKM-2011-JiangPL #summary: Natural event summarization (YJ, CSP, TL), pp. 765–774.
CIKM-2011-LoreyNFMRZDFLPPRSV #statistics: Black swan: augmenting statistics with event data (JL, FN, BF, AM, PR, AZ, SD, CF, SL, TP, RCP, SR, TS, SV), pp. 2517–2520.
CIKM-2011-MalikBF #information management: Accurate information extraction for quantitative financial events (HHM, VSB, HF), pp. 2497–2500.
CIKM-2011-TangLP #generative #named: LogSig: generating system events from raw textual logs (LT, TL, CSP), pp. 785–794.
CIKM-2011-WatanabeOOO #detection #microblog #named #realtime: Jasmine: a real-time local-event detection system based on geolocation information propagated to microblogs (KW, MO, MO, RO), pp. 2541–2544.
KDD-2011-KotaA #multi: Temporal multi-hierarchy smoothing for estimating rates of rare events (NK, DA), pp. 1361–1369.
KDD-2011-PatnaikBRPKH #case study #challenge #experience #mining #sequence: Experiences with mining temporal event sequences from electronic medical records: initial successes and some challenges (DP, PB, NR, LP, BJK, DAH), pp. 360–368.
KDD-2011-PiskorskiA #framework #realtime: Frontex real-time news event extraction framework (JP, MA), pp. 749–752.
KDD-2011-TattiC #mining: Mining closed episodes with simultaneous events (NT, BC), pp. 1172–1180.
KDIR-2011-ReuterC #identification #learning #similarity #using: Learning Similarity Functions for Event Identification using Support Vector Machines (TR, PC), pp. 208–215.
KDIR-2011-RoleN #case study #metric #similarity #word: Handling the Impact of Low Frequency Events on Co-occurrence based Measures of Word Similarity — A Case Study of Pointwise Mutual Information (FR, MN), pp. 226–231.
KMIS-2011-CachiaM #approach #modelling #re-engineering: An Event-driven Cartographic Approach to Modelling Software Engineering Knowledge (EC, MM), pp. 18–27.
RecSys-2011-DalyG #effectiveness #recommendation #social #using: Effective event discovery: using location and social information for scoping event recommendations (EMD, WG), pp. 277–280.
SEKE-2011-GregoriadesLP11a #calculus #risk management #using: Project Risk Management Using Event Calculus(S) (AG, VPL, PP), pp. 335–338.
SEKE-2011-SilvaGRRR #architecture #flexibility #peer-to-peer: A Flexible Event-Driven Architecture for Peer-to-Peer Based Applications (LPVdS, RG, EdOR, GNR, CGR), pp. 764–769.
SEKE-2011-SunHGZWY #detection #novel #petri net #using: A Novel Method for Formally Detecting RFID Event Using Petri Nets (JS, YH, XG, SZ, LW, CYY), pp. 122–125.
SEKE-2011-ZirkelW #correlation #problem: Proactive Problem Management and Event Correlation (WZ, GW), pp. 572–577.
SIGIR-2011-StrotgenGJ #documentation #multi #similarity: An event-centric model for multilingual document similarity (JS, MG, CJ), pp. 953–962.
SIGIR-2011-Yom-TovD11a: Location and timeliness of information sources during news events (EYT, FD), pp. 1105–1106.
Onward-2011-NevesGF #stack: Language support for asynchronous event handling in the invocation call stack (CRGdN, EMG, CTF), pp. 177–180.
PLATEAU-2011-YoonM #editing #low level: Capturing and analyzing low-level events from the code editor (YY, BAM), pp. 25–30.
QAPL-2011-BortolussiGH #probability: HYPE with stochastic events (LB, VG, JH), pp. 120–133.
PADL-2011-FodorAR: Results on Out-of-Order Event Processing (PF, DA, SR), pp. 220–234.
SAC-2011-HuangC #retrieval #video: An event-based video retrieval system by combining broadcasting baseball video and web-casting text (YFH, LWC), pp. 846–852.
SAC-2011-HuangH #detection #markov #multi #semantics: Semantic event detection in baseball videos based on a multi-output hidden Markov model (YFH, JJH), pp. 929–936.
SAC-2011-KontogiannisWM #clustering #comprehension #reduction #runtime: Event clustering for log reduction and run time system understanding (KK, AW, SM), pp. 191–192.
SAC-2011-MakanjuZM #retrieval #using: Storage and retrieval of system log events using a structured schema based on message type transformation (AM, ANZH, EEM), pp. 528–533.
SAC-2011-SebastianC #approach #design #re-engineering #towards #using: Towards designing a tool for event reconstruction using Gladyshev Approach (MS, PC), pp. 193–194.
SLE-2011-NishimoriK #framework #game studies #programming: Join Token-Based Event Handling: A Comprehensive Framework for Game Programming (TN, YK), pp. 119–138.
CAV-2011-BaeM #ltl #model checking #parametricity: State/Event-Based LTL Model Checking under Parametric Generalized Fairness (KB, JM), pp. 132–148.
CASE-2010-AllenT #consistency #detection #fault #industrial #nondeterminism: Event-based fault detection of manufacturing cell: Data inconsistencies between academic assumptions and industry practice (LVA, DMT), pp. 426–432.
CASE-2010-CabasinoGS #fault #petri net #using: Diagnosis using labeled Petri nets: Faults may either be silent or undistinguishable events (MPC, AG, CS), pp. 485–490.
CASE-2010-LinYG: Sensor configuration selection for discrete-event systems under unreliable observations (WCL, TSY, HEG), pp. 477–484.
DATE-2010-RoxE #correlation: Exploiting inter-event stream correlations between output event streams of non-preemptively scheduled tasks (JR, RE), pp. 226–231.
SIGMOD-2010-SilbersteinTCR: Feeding frenzy: selectively materializing users’ event feeds (AS, JT, BFC, RR), pp. 831–842.
SIGMOD-2010-WangWLW #algorithm #approach #summary: An algorithmic approach to event summarization (PW, HW, ML, WW), pp. 183–194.
VLDB-2010-Etzion #past present future: Event Processing — past, present and future (OE), pp. 1651–1652.
VLDB-2010-SadoghiJLSS #algorithm #configuration management #hardware #performance: Efficient Event Processing through Reconfigurable Hardware for Algorithmic Trading (MS, HAJ, ML, WS, HS), pp. 1525–1528.
VLDB-2010-WangREW #health #realtime: Active Complex Event Processing: Applications in Real-Time Health Care (DW, EAR, RTE, HW), pp. 1545–1548.
VLDB-2010-WoodsTA #detection: Complex Event Detection at Wire Speed with FPGAs (LW, JT, GA), pp. 660–669.
MSR-2010-NagappanV #mining: Abstracting log lines to log event types for mining software system logs (MN, MAV), pp. 114–117.
CIAA-2010-Rudie #problem #summary: A Summary of Some Discrete-Event System Control Problems (KR), pp. 4–16.
IFM-2010-ArenasABW #approach: An Event-B Approach to Data Sharing Agreements (AEA, BA, JB, MDW), pp. 28–42.
IFM-2010-Bostrom #modelling #source code: Creating Sequential Programs from Event-B Models (PB), pp. 74–88.
IFM-2010-MilhauFGL: Systematic Translation Rules from astd to Event-B (JM, MF, FG, RL), pp. 245–259.
IFM-2010-SchneiderTW #approach #csp: A CSP Approach to Control in Event-B (SS, HT, HW), pp. 260–274.
IFM-2010-TarasyukTL #modelling #probability #towards: Towards Probabilistic Modelling in Event-B (AT, ET, LL), pp. 275–289.
ICGT-2010-LaraGBHT #graph transformation #simulation: Graph Transformation for Domain-Specific Discrete Event Time Simulation (JdL, EG, AB, RH, PT), pp. 266–281.
CHI-2010-ViewegHSP #microblog #twitter #what: Microblogging during two natural hazards events: what twitter may contribute to situational awareness (SV, ALH, KS, LP), pp. 1079–1088.
SOFTVIS-2010-PauwH #named #scalability #visual notation: Zinsight: a visual and analytic environment for exploring large event traces (WDP, SH), pp. 143–152.
CAiSE-2010-GaaloulZCG #policy: Dynamic Authorisation Policies for Event-Based Task Delegation (KG, EZ, FC, CG), pp. 135–149.
CAiSE-2010-SenS #lifecycle #named: GRUVe: A Methodology for Complex Event Pattern Life Cycle Management (SS, NS), pp. 209–223.
ICEIS-AIDSS-2010-PortelaAROG #automation #detection #framework #game studies #performance: An Intelligent Framework for Automatic Event Detection in Robotic Soccer Games — An Auxiliar Tool to Help Coaches Improve their Teams’ Performance (JP, PA, LPR, ECO, JG), pp. 244–249.
ICEIS-ISAS-2010-DohringKGZ #architecture #challenge #convergence #workflow: The Convergence of Workflows, Business Rules and Complex Events — Defining a Reference Architecture and Approaching Realization Challenges (MD, LK, EG, BZ), pp. 338–343.
ICEIS-ISAS-2010-LaurierBP #enterprise #modelling: A Consolidated Enterprise Reference Model — Integrating McCarthy’s and Hruby’s Resource-Event-Agent Reference Models (WL, MB, GP), pp. 159–164.
CIKM-2010-CiglanN #detection #named #personalisation #statistics #wiki: WikiPop: personalized event detection system based on Wikipedia page view statistics (MC, KN), pp. 1931–1932.
CIKM-2010-FiranGNP #classification #image #order #social: Bringing order to your photos: event-driven classification of flickr images based on social knowledge (CSF, MG, WN, RP), pp. 189–198.
CIKM-2010-FisichellaSDN #detection #health: Unsupervised public health event detection for epidemic intelligence (MF, AS, KD, WN), pp. 1881–1884.
CIKM-2010-MinkovCLTJ #collaboration #recommendation: Collaborative future event recommendation (EM, BC, JL, SJT, TSJ), pp. 819–828.
CIKM-2010-PopescuP #detection #twitter: Detecting controversial events from twitter (AMP, MP), pp. 1873–1876.
ICPR-2010-CadavidA #automation #detection #modelling #using #visual notation: Exploiting Visual Quasi-periodicity for Automated Chewing Event Detection Using Active Appearance Models and Support Vector Machines (SC, MAM), pp. 1714–1717.
ICPR-2010-DuinOL #classification #multi: Classification of Volcano Events Observed by Multiple Seismic Stations (RPWD, MOA, JMLB), pp. 1052–1055.
ICPR-2010-LiaoH #detection #energy: Slip and Fall Events Detection by Analyzing the Integrated Spatiotemporal Energy Map (TL, CLH), pp. 1718–1721.
ICPR-2010-LiHLYZL #recognition #top-down: Event Recognition Based on Top-Down Motion Attention (LL, WH, BL, CY, PZ, WL), pp. 3561–3564.
ICPR-2010-OGorman #analysis #latency #speech: Latency in Speech Feature Analysis for Telepresence Event Coding (LO), pp. 4464–4467.
ICPR-2010-ShiGW #detection #realtime: Real-Time Abnormal Event Detection in Complicated Scenes (YS, YG, RW), pp. 3653–3656.
ICPR-2010-WuHCCT #detection #interactive #using #visual notation: Human Smoking Event Detection Using Visual Interaction Clues (PW, JWH, JCC, SCC, SYT), pp. 4344–4347.
ICPR-2010-YonetaniKHM #estimation: Gaze Probing: Event-Based Estimation of Objects Being Focused On (RY, HK, TH, TM), pp. 101–104.
KDD-2010-AgarwalAKK #modelling #multi #scalability: Estimating rates of rare events with multiple hierarchies through scalable log-linear models (DA, RA, RK, NK), pp. 213–222.
KDD-2010-DuBoisS #modelling #relational: Modeling relational events via latent classes (CD, PS), pp. 803–812.
KDD-2010-HoTL #learning #metric #reduction #sequence #similarity: Tropical cyclone event sequence similarity search via dimensionality reduction and metric learning (SSH, WT, WTL), pp. 135–144.
KDD-2010-LinZMH #community #named #social #statistics: PET: a statistical model for popular events tracking in social communities (CXL, BZ, QM, JH), pp. 929–938.
KEOD-2010-HirvonenTPCFF #fuzzy #keyword #ontology: Fuzzy Keyword Ontology for Annotating and Searching Event Reports (JH, TT, AP, CC, MF, RF), pp. 251–256.
ECOOP-2010-HuKPYH #java #type safety: Type-Safe Eventful Sessions in Java (RH, DK, OP, NY, KH), pp. 329–353.
RE-2010-MashkoorJ #domain model #lessons learnt: Domain Engineering with Event-B: Some Lessons We Learned (AM, JPJ), pp. 252–261.
SAC-2010-AnelliLHL #detection #towards: Transport congestion events detection (TCED): towards decorrelating congestion detection from TCP (PA, EL, FH, DMLP), pp. 663–669.
SAC-2010-MiyanishiSU #generative #ranking: Hypothesis generation and ranking based on event similarities (TM, KS, KU), pp. 1552–1558.
ICSE-2010-HolmesW #recommendation: Customized awareness: recommending relevant external change events (RH, RJW), pp. 465–474.
ICSE-2010-LewisW #fault #monitoring #runtime #using: Runtime repair of software faults using event-driven monitoring (CL, JW), pp. 275–280.
ICSE-2010-Popescu #component #impact analysis: Impact analysis for event-based components and systems (DP), pp. 401–404.
ICSE-2010-Popescu10a #component #impact analysis #named: Helios: impact analysis for event-based components and systems (DP), pp. 531–532.
CGO-2010-ChenVHLRYCZ #compilation #hardware: Taming hardware event samples for FDO compilation (DC, NV, RH, SwL, VR, PY, WC, WZ), pp. 42–52.
ISMM-2010-PetricekS: Collecting hollywood’s garbage: avoiding space-leaks in composite events (TP, DS), pp. 53–62.
LCTES-2010-PerathonerRTLR #analysis #modelling #performance: Modeling structured event streams in system level performance analysis (SP, TR, LT, KL, JR), pp. 37–46.
LICS-2010-StatonW #on the #symmetry: On the Expressivity of Symmetry in Event Structures (SS, GW), pp. 392–401.
VMCAI-2010-Dubrovin #bound #reachability: Checking Bounded Reachability in Asynchronous Systems by Symbolic Event Tracing (JD), pp. 146–162.
CBSE-2009-Bickford #component #specification #using: Component Specification Using Event Classes (MB), pp. 140–155.
CASE-2009-XuK #nondeterminism: Discrete event control under nondeterministic partial observation (SX, RK), pp. 127–132.
DAC-2009-ChatterjeeDB #simulation: Event-driven gate-level simulation with GP-GPUs (DC, AD, VB), pp. 557–562.
DATE-2009-AbateSVK #case study #functional: A study of the Single Event Effects impact on functional mapping within Flash-based FPGAs (FA, LS, MV, FLK), pp. 1226–1229.
DATE-2009-GuptaRHWB #approach: An event-guided approach to reducing voltage noise in processors (MSG, VJR, GHH, GYW, DMB), pp. 160–165.
SIGMOD-2009-DindarGLOST #declarative #named #pattern matching: DejaVu: declarative pattern matching over live and archived streams of events (ND, BG, PL, AÖ, MS, NT), pp. 1023–1026.
SIGMOD-2009-MeiM #adaptation #cost analysis #detection #named #query: ZStream: a cost-based query processor for adaptively detecting composite events (YM, SM), pp. 193–206.
SIGMOD-2009-WeiLLGRC: Supporting a spectrum of out-of-order event processing technologies: from aggressive to conservative methodologies (MW, ML, ML, DG, EAR, KTC), pp. 1031–1034.
VLDB-2009-SatishJG #named: Tolkien: An Event Based Storytelling System (AS, RJ, AG), pp. 1630–1633.
ICPC-2009-PopescuGM #analysis #dependence #precise: Enabling more precise dependency analysis in event-based systems (DP, JG, NM), pp. 305–306.
ICSM-2009-BrooksM #metric #similarity #testing: Introducing a test suite similarity metric for event sequence-based test cases (PAB, AMM), pp. 243–252.
IFM-2009-BenesBCSVZ #ltl #partial order #reduction: Partial Order Reduction for State/Event LTL (NB, LB, IC, JS, PV, BZ), pp. 307–321.
IFM-2009-Butler #composition: Decomposition Structures for Event-B (MJB), pp. 20–38.
IFM-2009-HoangKBA: Developing Topology Discovery in Event-B (TSH, HK, DAB, JRA), pp. 1–19.
SEFM-2009-HoangFA #tool support: Event-B Patterns and Their Tool Support (TSH, AF, JRA), pp. 210–219.
SEFM-2009-TruongTN #analysis #coordination #multi #using: Coordinated Consensus Analysis of Multi-agent Systems Using Event-B (NTT, TBT, VHN), pp. 201–209.
CHI-2009-AkersSJW #problem #undo #usability: Undo and erase events as indicators of usability problems (DA, MS, RJ, TW), pp. 659–668.
HIMI-II-2009-NishiharaSS #case study #experience #visualisation: Event Extraction and Visualization for Obtaining Personal Experiences from Blogs (YN, KS, WS), pp. 315–324.
ICEIS-DISI-2009-DunkelFOO #architecture #injection #semantics: Injecting Semantics into Event-driven Architectures (JD, AF, RO, SO), pp. 70–75.
ICEIS-ISAS-2009-BarkaouiBE #collaboration #coordination: An Event Structure based Coordination Model for Collaborative Sessions (KB, CB, JMME), pp. 137–143.
ICEIS-ISAS-2009-SarmientoBC #approach #detection #interactive #requirements: Applying an Event-based Approach for Detecting Requirements Interaction (ES, MRSB, MLMC), pp. 225–230.
ICEIS-J-2009-LampertiZ #monitoring #nondeterminism: Monotonic Monitoring of Discrete-Event Systems with Uncertain Temporal Observations (GL, MZ), pp. 348–362.
CIKM-2009-ChenR #analysis #detection: Event detection from flickr data through wavelet-based spatial analysis (LC, AR), pp. 523–532.
CIKM-2009-HolzeGR #classification #consistency #online: Consistent on-line classification of dbs workload events (MH, CG, NR), pp. 1641–1644.
CIKM-2009-HuC #monitoring #online: RSS watchdog: an instant event monitor on real online news streams (CLH, CKC), pp. 2097–2098.
CIKM-2009-LiaoM #documentation #re-engineering: Feature engineering on event-centric surrogate documents to improve search results (WL, IM), pp. 1629–1632.
KDD-2009-MakanjuZM #clustering #using: Clustering event logs using iterative partitioning (AM, ANZH, EEM), pp. 1255–1264.
KEOD-2009-ThwaitesFS #graph: Chain Event Graph Map Model Selection (PAT, GF, JQS), pp. 392–395.
KEOD-2009-WalzerHK: Event Lifetime Calculation based on Temporal Relationships (KW, TH, AK), pp. 269–274.
SEKE-2009-Al-SharifJ09a #debugging: Language Support for Event-based Debugging (ZAS, CLJ), pp. 392–399.
SIGIR-2009-GrinevGBNSL: Sifting micro-blogging stream for events of user interest (MNG, MPG, AB, LN, AS, DL), p. 837.
SIGIR-2009-Ha-ThucMHS #topic: A relevance-based topic model for news event tracking (VHT, YM, CGH, PS), pp. 764–765.
ECOOP-2009-EugsterJ #correlation #java #named: EventJava: An Extension of Java for Event Correlation (PTE, KRJ), pp. 570–594.
SAC-2009-ChoudhuriG #embedded #named #nondeterminism: FlashBox: a system for logging non-deterministic events in deployed embedded systems (SC, TG), pp. 1676–1682.
SAC-2009-WanMKJ #communication #detection #email #network: Link-based event detection in email communication networks (XW, EEM, NK, JJ), pp. 1506–1510.
TLCA-2009-FaggianP #linear #partial order: Partial Orders, Event Structures and Linear Strategies (CF, MP), pp. 95–111.
ASE-2008-Hall #modelling #queue #realtime #specification #using #validation: Validating Real Time Specifications using Real Time Event Queue Modeling (RJH), pp. 79–88.
CASE-2008-AddadA #algebra #architecture #evaluation #graph #modelling #using: Modeling and response time evaluation of ethernet-based control architectures using timed event graphs and Max-Plus algebra (BA, SA), pp. 418–423.
CASE-2008-ChakibK #architecture #distributed #multi: Multi-decision C&P∨D&A architecture for the decentralized control of discrete event systems (HC, AK), pp. 187–193.
CASE-2008-ZhaoYZHLG #performance #simulation: Efficient simulation for serial production lines based on aggregated event-scheduling (YZ, CBY, QZ, NH, JL, XG), pp. 406–411.
DATE-2008-KoN08a #automation #generative #on the #validation: On Automated Trigger Event Generation in Post-Silicon Validation (HFK, NN), pp. 256–259.
DATE-2008-RoxE #modelling: Modeling Event Stream Hierarchies with Hierarchical Event Models (JR, RE), pp. 492–497.
DATE-2008-TangX #debugging #transaction: In-band Cross-Trigger Event Transmission for Transaction-Based Debug (ST, QX), pp. 414–419.
SIGMOD-2008-AgrawalDGI #pattern matching #performance: Efficient pattern matching over event streams (JA, YD, DG, NI), pp. 147–160.
SIGMOD-2008-PatelHL #classification #mining: Mining relationships among interval-based events for classification (DP, WH, MLL), pp. 393–404.
SIGMOD-2008-ReLBS #correlation #probability #query: Event queries on correlated probabilistic streams (CR, JL, MB, DS), pp. 715–728.
VLDB-2008-AkdereCT #detection #distributed: Plan-based complex event detection across distributed sources (MA, UÇ, NT), pp. 66–77.
VLDB-2008-NezhadBSCA #process: Process spaceship: discovering and exploring process views from event logs in data spaces (HRMN, BB, RSP, FC, PA), pp. 1412–1415.
CSMR-2008-SmitSW #case study #documentation #user interface: Use Case Redocumentation from GUI Event Traces (MS, ES, KW), pp. 263–268.
PASTE-2008-PamnanyJ #named #parallel: Elyze: enabling safe parallelism in event-driven servers (KP, JJ), pp. 15–21.
ICFP-2008-Effinger-DeanKG #ml #transaction: Transactional events for ML (LED, MK, DG), pp. 103–114.
CHI-2008-WangPQSMS #health: Aligning temporal data by sentinel events: discovering patterns in electronic health records (TDW, CP, AJQ, RS, SNM, BS), pp. 457–466.
CSCW-2008-PalenV #interactive #online: The emergence of online widescale interaction in unexpected events: assistance, alliance & retreat (LP, SV), pp. 117–126.
ICEIS-AIDSS-2008-BoucheGC #sequence: A Global Model of Sequences of Discrete Event Class Occurrences (PB, MLG, JC), pp. 173–180.
ICEIS-AIDSS-2008-GocB #sequence: Discovering Expert’s Knowledge from Sequences of Discrete Event Class Occurrences (MLG, NB), pp. 253–260.
ICEIS-DISI-2008-LiuQLZWD #distributed #specification #visual notation: A Visual Specification Tool for Event-Condition-Action Rules Supporting Web-Based Distributed System (WL, YQ, XL, KZ, HW, GD), pp. 246–251.
ICEIS-ISAS2-2008-AnicicS #framework #information management #logic #towards: Towards Creation of Logical Framework for Event-Driven Information Systems (DA, NS), pp. 394–401.
CIKM-2008-LuoYY #detection #realtime #video: Real-time new event detection for video streams (GL, RY, PSY), pp. 379–388.
CIKM-2008-TongSEF #mining #performance: Fast mining of complex time-stamped events (HT, YS, TER, CF), pp. 759–768.
ICML-2008-FrankMP #learning: Reinforcement learning in the presence of rare events (JF, SM, DP), pp. 336–343.
ICPR-2008-AzoughDMH #behaviour #modelling #monitoring #personalisation: Intuitive event modeling for personalized behavior monitoring (AA, AD, FDM, MSH), pp. 1–4.
ICPR-2008-CaoBLLH #classification #word: Audio-visual event classification via spatial-temporal-audio words (YC, SB, SHL, ML, SH), pp. 1–5.
ICPR-2008-KaiserH #analysis #detection: Qualitative analysis of spatio-temporal event detectors (BK, GH), pp. 1–4.
ICPR-2008-MakiKSS #automation #detection #interactive: Image-based automatic detection of indoor scene events and interactive inquiry (KM, NK, NS, YS), pp. 1–4.
KDD-2008-KiernanT #scalability #sequence #summary: Constructing comprehensive summaries of large event sequences (JK, ET), pp. 417–425.
KDD-2008-LaxmanTW #generative #modelling #predict #sequence #using: Stream prediction using a generative model based on frequent episodes in event sequences (SL, VT, RWW), pp. 453–461.
RecSys-2008-Lee #named #recommendation #trust: PITTCULT: trust-based cultural event recommender (DHL), pp. 311–314.
SEKE-2008-KloukinasSM #distributed #runtime #verification: Estimating Event Lifetimes for Distributed Runtime Verification (CK, GS, KM), pp. 117–122.
SIGIR-2008-CanKBKOU #detection: Bilkent news portal: a personalizable system with new event detection and tracking capabilities (FC, SK, OB, SK, HCO, EU), p. 885.
ECMDA-FA-2008-GronmoSMK #aspect-oriented #interactive #semantics: A Semantics-Based Aspect Language for Interactions with the Arbitrary Events Symbol (RG, FS, BMP, SK), pp. 262–277.
MoDELS-2008-OberCL #behaviour #composition #modelling #slicing #using: Behavioral Modelling and Composition of Object Slices Using Event Observation (IO, BC, YL), pp. 219–233.
MoDELS-2008-OberCL #behaviour #composition #modelling #slicing #using: Behavioral Modelling and Composition of Object Slices Using Event Observation (IO, BC, YL), pp. 219–233.
ECOOP-2008-RajanL #named #quantifier: Ptolemy: A Language with Quantified, Typed Events (HR, GTL), pp. 155–179.
REFSQ-2008-SchlosserJM #database #requirements #using: Using a Creativity Workshop to Generate Requirements for an Event Database Application (CS, SJ, NAMM), pp. 109–122.
SAC-2008-AdaikkalavanC #exclamation: Events must be complete in event processing! (RA, SC), pp. 1038–1039.
SAC-2008-SungCM #clustering #concept #learning #lifecycle #ontology #performance #using #web: Efficient concept clustering for ontology learning using an event life cycle on the web (SS, SC, DM), pp. 2310–2314.
SAC-2008-Willassen #calculus #using: Using simplified event calculus in digital investigation (SYW), pp. 1438–1442.
SAC-2008-YiMCJK #named #operating system #realtime: PreeMe: preemptive real-time task management for event-driven sensor operating systems (SY, HM, YC, IJ, YK), pp. 1726–1727.
FSE-2008-DragertDR #concurrent #generative #using: Generation of concurrency control code using discrete-event systems theory (CD, JD, KR), pp. 146–157.
LCTES-2008-CohenK #named #regular expression: EventScript: an event-processing language based on regular expressions with actions (NHC, KTK), pp. 111–120.
CAV-2008-KashyapG #using: Producing Short Counterexamples Using “Crucial Events” (SK, VKG), pp. 491–503.
ASE-2007-YuanCM #array #automation #sequence #testing #user interface: Covering array sampling of input event sequences for automated gui testing (XY, MBC, AMM), pp. 405–408.
CASE-2007-AlenljungSLA #detection #fault #implementation #process: PLC-based Implementation of Process Observation and Fault Detection for Discrete Event Systems (TA, MS, BL, KÅ), pp. 207–212.
CASE-2007-BasileCT #fault #online #using: Improving on-line fault diagnosis for discrete event systems using time (FB, PC, GDT), pp. 26–32.
CASE-2007-DotoliFM #identification #monitoring #on the #petri net #specification: On Line Identification of Discrete Event Systems via Petri Nets: an Application to Monitor Specification (MD, MPF, AMM), pp. 893–898.
CASE-2007-PanH #analysis: Diagnosability Analysis and Sensor Selection in Discrete-Event Systems with Permanent Failures (JP, SHZ), pp. 869–874.
CASE-2007-ZhaoLZ #on the #petri net: On Supervisory Control of a Class of Discrete Event Systems Modeled by Petri Nets (MZ, ZL, MZ), pp. 1–6.
DAC-2007-GolshanB: Single-Event-Upset (SEU) Awareness in FPGA Routing (SG, EB), pp. 330–333.
DAC-2007-YangG #simulation: Simulating Improbable Events (SY, MRG), pp. 154–157.
DATE-2007-NarayanasamyCC #fault #predict: Transient fault prediction based on anomalies in processor events (SN, AKC, BC), pp. 1140–1145.
DATE-2007-SingheeR #monte carlo #novel #performance #simulation #statistics: Statistical blockade: a novel method for very fast Monte Carlo simulation of rare circuit events, and its application (AS, RAR), pp. 1379–1384.
DATE-2007-Soderquist #architecture: Event driven data processing architecture (IS), pp. 972–976.
ICDAR-2007-AradhyeM #detection: Exploiting Videotext _Events_ for Improved Videotext Detection (HBA, GKM), pp. 894–898.
PODS-2007-WhiteRGD #question #what: What is “next” in event processing? (WMW, MR, JG, AJD), pp. 263–272.
SIGMOD-2007-BrennaDGHOPRTW #named: Cayuga: a high-performance event processing engine (LB, AJD, JG, MH, JO, BP, MR, MT, WMW), pp. 1100–1102.
SIGMOD-2007-ChandyG #database #using: Event processing using database technology (KMC, DG), pp. 1169–1170.
SIGMOD-2007-LuoTY #adaptation #detection #realtime: Resource-adaptive real-time new event detection (GL, CT, PSY), pp. 497–508.
PEPM-2007-FischerMM #named #programming: Tasks: language support for event-driven programming (JF, RM, TDM), pp. 134–143.
PLDI-2007-LiZ #concurrent #evaluation #implementation #monad #network #scalability #thread: Combining events and threads for scalable network services implementation and evaluation of monadic, application-level concurrency primitives (PL, SZ), pp. 189–199.
IFM-2007-HallerstedeH #modelling #probability: Qualitative Probabilistic Modelling in Event-B (SH, TSH), pp. 293–312.
HCI-AS-2007-Tao #aspect-oriented #user interface: Capturing User Interface Events with Aspects (YT), pp. 1170–1179.
HCI-IDU-2007-CortierdA #java #user interface #validation: Formal Validation of Java/Swing User Interfaces with the Event B Method (AC, Bd, YAA), pp. 1062–1071.
HCI-IPT-2007-OtsukiKNST #artificial reality #interactive #novel: RealSound Interaction: A Novel Interaction Method with Mixed Reality Space by Localizing Sound Events in Real World (MO, AK, TN, FS, HT), pp. 653–662.
HCI-MIE-2007-FoursaW #interactive: Movement-Based Interaction and Event Management in Virtual Environments with Optical Tracking Systems (MF, GW), pp. 615–624.
HIMI-IIE-2007-BaeckerFBCC #chat #interactive #learning #persistent: Webcasting Made Interactive: Persistent Chat for Text Dialogue During and About Learning Events (RB, DF, LB, CC, DC), pp. 260–268.
HIMI-MTT-2007-ZhangCF #image #multi #named #personalisation #retrieval #video: MyView: Personalized Event Retrieval and Video Compositing from Multi-camera Video Images (CCZ, SBC, SF), pp. 549–558.
SIGAda-2007-PukiteL #design #logic #simulation #using: Generic discrete event simulations using DEGAS: application to logic design and digital signal processing (PP, LL), pp. 27–40.
EDOC-2007-DeckerGB #modelling #process #visual notation: A Graphical Notation for Modeling Complex Events in Business Processes (GD, AG, APB), pp. 27–36.
ICEIS-DISI-2007-OHaganSS #collaboration #composition #named #process: EVIE — An event brokering language for the composition of collaborative business processes (TO, SWS, WS), pp. 372–377.
KDD-2007-AgarwalBCDJS #multi: Estimating rates of rare events at multiple resolutions (DA, AZB, DC, DD, VJ, MS), pp. 16–25.
KDD-2007-AsurPU #behaviour #framework #graph #interactive: An event-based framework for characterizing the evolutionary behavior of interaction graphs (SA, SP, DU), pp. 913–921.
KDD-2007-FungYLY: Time-dependent event hierarchy construction (GPCF, JXY, HL, PSY), pp. 300–309.
KDD-2007-LaxmanSU #algorithm #performance: A fast algorithm for finding frequent episodes in event streams (SL, PSS, KPU), pp. 410–419.
KDD-2007-PengPLW #summary: Event summarization for system management (WP, CP, TL, HW), pp. 1028–1032.
SEKE-2007-SabucedoA #semantics: Semantic Support to Reformulate Public Services in Terms of Life Events (LÁS, LEAR), pp. 632–636.
SIGIR-2007-HeCL #detection: Analyzing feature trajectories for event detection (QH, KC, EPL), pp. 207–214.
SIGIR-2007-RattenburyGN #automation #semantics #towards: Towards automatic extraction of event and place semantics from flickr tags (TR, NG, MN), pp. 103–110.
SIGIR-2007-WiegandLK: Combining term-based and event-based matching for question answering (MW, JLL, DK), pp. 715–716.
SIGIR-2007-ZhangZW #detection: New event detection based on indexing-tree and named entity (KZ, JZ, LGW), pp. 215–222.
QAPL-2007-VaraccaY #probability #π-calculus: Probabilistic π-Calculus and Event Structures (DV, NY), pp. 147–166.
REFSQ-2007-Poppleton #development #feature model #specification #towards: Towards Feature-Oriented Specification and Development with Event-B (MP), pp. 367–381.
SAC-2007-QiaoZWL #database #realtime: Developing event-condition-action rules in real-time active database (YQ, KZ, HW, XL), pp. 511–516.
LCTES-2007-WaltherHN #behaviour #embedded #realtime: Analyzing the real-time behaviour of deeply embedded event driven systems (KW, RH, JN), pp. 149–151.
CASE-2006-DotoliFM #case study #identification #online: On-Line Identification of Discrete Event Systems: a Case Study (MD, MPF, AMM), pp. 405–410.
CASE-2006-LeeLS #clustering #graph: Token delays and generalized workload balancing for timed event graphs with application to cluster tool operation (TEL, HYL, RSS), pp. 93–99.
DAC-2006-KanjJN #analysis #design: Mixture importance sampling and its application to the analysis of SRAM designs in the presence of rare failure events (RK, RVJ, SRN), pp. 69–72.
DATE-2006-AsadiSTK #analysis: Vulnerability analysis of L2 cache elements to single event upsets (HA, VS, MBT, DRK), pp. 1276–1281.
DATE-2006-ViaudPG #modelling #parallel #performance #simulation: An efficient TLM/T modeling and simulation environment based on conservative parallel discrete event principles (EV, FP, AG), pp. 94–99.
SIGMOD-2006-WuDR: High-performance complex event processing over streams (EW, YD, SR), pp. 407–418.
SIGMOD-2006-XueLCL #detection #network: Contour map matching for event detection in sensor networks (WX, QL, LC, YL), pp. 145–156.
ITiCSE-2006-AxelssonMW #assessment #design #multi #process #student: Student activity in seminars: designing multi-functional assessment events (KA, UM, TW), pp. 93–97.
FASE-2006-DevereuxC #automation #behaviour #modelling: Automated Support for Building Behavioral Models of Event-Driven Systems (BD, MC), pp. 122–138.
FASE-2006-FiadeiroL #approach #architecture #formal method: A Formal Approach to Event-Based Architectures (JLF, AL), pp. 18–32.
ICSM-2006-NeginhalK #c #comprehension #graph #reduction: Event Views and Graph Reductions for Understanding System Level C Code (SN, SK), pp. 279–288.
FM-2006-EvansB: A Proposal for Records in Event-B (NE, MJB), pp. 221–235.
ICFP-2006-DonnellyF #transaction: Transactional events (KD, MF), pp. 124–135.
SIGAda-2006-LudwigP #named: DEGAS: discrete event Gnu advanced scheduler (LL, PP), pp. 35–42.
EDOC-2006-JangFGN #workflow: An Event-Driven Workflow Engine for Service-based Business Systems (JJ, AF, PG, SN), pp. 233–242.
ICEIS-AIDSS-2006-LampertiZ #incremental: Incremental Processing of Temporal Observations in Supervision and Diagnosis of Discrete-Event Systems (GL, MZ), pp. 47–57.
ICEIS-ISAS-2006-CostelloFMLD #approach #distributed #framework #modelling #named #process #using: iWISE: A Framework for Providing Distributed Process Visibility Using an Event-Based Process Modelling Approach (CC, WF, OM, GL, JD), pp. 224–233.
ICEIS-J-2006-LampertiZ06a #monitoring #on the: On Processing Temporal Observations in Monitoring of Discrete-Event Systems (GL, MZ), pp. 135–146.
ECIR-2006-NaughtonKC #clustering: Clustering Sentences for Discovering Events in News Articles (MN, NK, JC), pp. 535–538.
ICPR-v1-2006-AndradeBF #detection #modelling: Modelling Crowd Scenes for Event Detection (ELA, SB, RBF), pp. 175–178.
ICPR-v1-2006-ChanHSSBD #recognition: Event Recognition with Fragmented Object Tracks (MTC, AH, ZS, JS, RB, GD), pp. 412–416.
ICPR-v3-2006-ZhouK #detection #mining #multi #video: Unusual Event Detection via Multi-camera Video Mining (HZ, DK), pp. 1161–1166.
KDD-2006-CastanoMTGDCCD #classification #detection: Onboard classifiers for science event detection on a remote sensing spacecraft (RC, DM, NT, RG, TD, BC, SAC, AD), pp. 845–851.
KDD-2006-IhlerHS #adaptation #detection #process: Adaptive event detection with time-varying poisson processes (ATI, JH, PS), pp. 207–216.
KDD-2006-ZhaoLBM #detection #evolution: Event detection from evolution of click-through data (QZ, TYL, SSB, WYM), pp. 484–493.
SAC-2006-AbbottBCVM #automation #forensics #recognition: Automated recognition of event scenarios for digital forensics (JA, JB, AJC, OYdV, GMM), pp. 293–300.
SAC-2006-Chang #embedded #scalability #scheduling: Event-driven scheduling for dynamic workload scaling in uniprocessor embedded systems (LPC), pp. 1462–1466.
SAC-2006-JiangWC #symmetry: Symmetry in event structures (JJ, JW, DC), pp. 1850–1851.
ICSE-2006-Liu #integration #specification #visual notation: Visual languages for event integration specification (NL), pp. 969–972.
CGO-2006-ZhangCT #framework #optimisation #self: A Self-Repairing Prefetcher in an Event-Driven Dynamic Optimization Framework (WZ, BC, DMT), pp. 50–64.
HPCA-2006-IsciM: Phase characterization for power: evaluating control-flow-based and event-counter-based techniques (CI, MM), pp. 121–132.
ISMM-2006-BhatiaCL #behaviour #co-evolution #design #optimisation: Memory-manager/scheduler co-design: optimizing event-driven servers to improve cache behavior (SB, CC, JLL), pp. 104–114.
MBT-2006-ConradK #classification #embedded: An Extension of the Classification-Tree Method for Embedded Systems for the Description of Events (MC, AK), pp. 3–11.
CBSE-2005-GrunskeKP #component #evaluation #modelling #safety: Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations (LG, BK, YP), pp. 33–48.
CASE-2005-0001G #embedded: Embedded supervisory control of discrete-event systems (YY, PG), pp. 410–415.
CASE-2005-LeeP #analysis #constraints #graph: Steady state analysis of a timed event graph with time window constraints (TEL, SHP), pp. 404–409.
DATE-2005-CheongL #embedded #named: galsC: A Language for Event-Driven Embedded Systems (EC, JL), pp. 1050–1055.
DocEng-2005-Beaudoux05a #documentation #xml: Event points: annotating XML documents for remote sharing (OB), pp. 159–161.
PODS-2005-AbiteboulAHM #datalog #exclamation: Diagnosis of asynchronous discrete event systems: datalog to the rescue! (SA, ZA, SH, TM), pp. 358–367.
SIGMOD-2005-RizviJKFBEL: Events on the edge (SR, SRJ, SK, MJF, NB, AE, LL), pp. 885–887.
SIGMOD-2005-ThomeGP #database: Event processing with an oracle database (BT, DG, MP), pp. 863–867.
VLDB-2005-AbadiML #detection #named #network #performance #robust: REED: Robust, Efficient Filtering and Event Detection in Sensor Networks (DJA, SM, WL), pp. 769–780.
VLDB-2005-FungYYL #detection #parametricity: Parameter Free Bursty Events Detection in Text Streams (GPCF, JXY, PSY, HL), pp. 181–192.
ITiCSE-2005-Pohlhaus: Ethical engagement with data collection efforts related to fighting terrorists and terrorism in the context of recent events (WP), p. 401.
FoSSaCS-2005-AbbesB #branch #probability: Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications (SA, AB), pp. 95–109.
IWPC-2005-HendricksonDT #approach #architecture #comprehension: An (Architecture-Centric) Approach for Tracing, Organizing, and Understanding Events in Event-Based Software Architectures (SAH, EMD, RNT), pp. 227–236.
IFM-2005-BarradasB #fixpoint #semantics: A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions (HRB, DB), pp. 327–346.
IFM-2005-ChakiCGOSTV #specification #verification: State/Event Software Verification for Branching-Time Specifications (SC, EMC, OG, JO, NS, TT, HV), pp. 53–69.
CHI-2005-YeeP #learning #named #online #using: StudioBRIDGE: using group, location, and event information to bridge online and offline encounters for co-located learning groups (SY, KSP), pp. 551–560.
CAiSE-2005-PlessersTC #evolution #modelling #semantics: Event-Based Modeling of Evolution for Semantic-Driven Systems (PP, ODT, SC), pp. 63–76.
EDOC-2005-StefanovL #process: Bridging the Gap between Data Warehouses and Business Processes: A Business Intelligence Perspective for Event-Driven Process Chains (VS, BL), pp. 3–14.
EDOC-2005-XuXH #approach: An Extended Event Matching Approach in Content-based Pub/Sub Systems for EAI (GX, WX, TH), pp. 287–296.
ICEIS-v2-2005-LokugeA #hybrid #learning #multi: Handling Multiple Events in Hybrid BDI Agents with Reinforcement Learning: A Container Application (PL, DA), pp. 83–90.
ICEIS-v2-2005-NixFM #correlation #multi #scalability: Anatomy of a Secure and Scalable Multiagent System for Event Capture and Correlation (TN, KF, FM), pp. 233–238.
ICEIS-v3-2005-Gonzalez #distributed #simulation: Model Sharing in the Simulation and Control of Distributed Discrete-Event Systems (FG), pp. 144–151.
CIKM-2005-GuppenbergerF #concept #evaluation #implementation #information management: Intelligent creation of notification events in information systems: concept, implementation and evaluation (MG, BF), pp. 52–59.
CIKM-2005-HaradaH #order #using: Order checking in a CPOE using event analyzer (LH, YH), pp. 549–555.
KDD-2005-ChenCC #adaptation #detection #named: LIPED: HMM-based life profiles for adaptive event detection (CCC, MCC, MSC), pp. 556–561.
KDD-2005-Petrushin #mining #multi #self #using #video: Mining rare and frequent events in multi-camera surveillance video using self-organizing maps (VAP), pp. 794–800.
SIGIR-2005-LiLLW: Profile-based event tracking (BL, WL, QL, MW), pp. 631–632.
SIGIR-2005-LiWLM #detection #probability: A probabilistic model for retrospective news event detection (ZL, BW, ML, WYM), pp. 106–113.
SAC-2005-Morimoto #mining #transitive: Optimized transitive association rule: mining significant stopover between events (YM), pp. 543–544.
ESEC-FSE-2005-LetierKMU #logic #modelling: Fluent temporal logic for discrete-time event-based models (EL, JK, JM, SU), pp. 70–79.
HPDC-2005-HumphreyWJBRGBLFMPM #comparison #framework #implementation #web #web service: State and events for Web services: a comparison of five WS-resource framework and WS-notification implementations (MH, GSW, KRJ, JB, MR, JG, JB, SL, ITF, SM, SP, MM), pp. 3–13.
SOSP-2005-EfstathopoulosKVFZKMKM #operating system #process: Labels and event processes in the Asbestos operating system (PE, MNK, SV, CF, DZ, EK, DM, MFK, RM), pp. 17–30.
TestCom-2005-CampbellVHP #multi #order: Multiplexing of Partially Ordered Events (CC, MV, JH, AP), pp. 97–110.
ASE-2004-BreuK #mining #using: Aspect Mining Using Event Traces (SB, JK), pp. 310–315.
ASE-2004-MemonX #automation #fault #persistent #testing #using: Using Transient/Persistent Errors to Develop Automated Test Oracles for Event-Driven Software (AMM, QX), pp. 186–195.
ASE-2004-SpanoudakisM #calculus #framework #monitoring #requirements #towards: Requirements Monitoring for Service-Based Systems: Towards a framework based on Event Calculus (GS, KM), pp. 379–384.
DAC-2004-KwonKK #functional #graph #metric #synthesis: Systematic functional coverage metric synthesis from hierarchical temporal event relation graph (YSK, YIK, CMK), pp. 45–48.
DATE-v1-2004-KwonK #functional #generative #graph #metric: Functional Coverage Metric Generation from Temporal Event Relation Graph (YSK, CMK), pp. 670–671.
DATE-v2-2004-MondalCM #analysis #approach #logic #using: A New Approach to Timing Analysis Using Event Propagation and Temporal Logic (AM, PPC, CAM), pp. 1198–1203.
DATE-v2-2004-ReedLBMC #algorithm #parallel #simulation: An Application of Parallel Discrete Event Simulation Algorithms to Mixed Domain System Simulation (DKR, SPL, JB, JAM, DMC), pp. 1356–1357.
SIGMOD-2004-WuSZ #data type #online #sequence: Online Event-driven Subsequence Matching over Financial Data Streams (HW, BS, DZ), pp. 23–34.
VLDB-2004-KochSSS #data type #query #scheduling: Schema-based Scheduling of Event Processors and Buffer Minimization for Queries on Structured Data Streams (CK, SS, NS, BS), pp. 228–239.
CSMR-2004-ZaidmanD #clustering #execution #process: Managing Trace Data Volume through a Heuristical Clustering Process Based on Event Execution Frequency (AZ, SD), pp. 329–338.
IFM-2004-ChakiCOSS #model checking: State/Event-Based Software Model Checking (SC, EMC, JO, NS, NS), pp. 128–147.
SFM-2004-CacciagranoC: Expressiveness of Timed Events and Timed Languages (DC, FC), pp. 98–131.
ICGT-2004-GuerraL #graph transformation #integration #metamodelling #towards: Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation (EG, JdL), pp. 54–69.
AdaEurope-2004-Nadrchal #on the fly #realtime #requirements: Event Language for Real-Time On-the-Fly Control According to the Initial Requirements (SPN), pp. 120–131.
ICEIS-v1-2004-GomezA #database: Durative Events in Active Databases (RG, JCA), pp. 306–311.
ICEIS-v1-2004-SchieferM #correlation #monitoring #process: Correlating Events for Monitoring Business Processes (JS, CM), pp. 320–327.
ICEIS-v1-2004-UrbanKDJS #component #integration #rule-based: An Event Processing System for Rule-Based Component Integration (SDU, SK, SWD, YJ, AS), pp. 312–319.
ICEIS-v2-2004-SilvaCSGN #multi #network #using: Multiple Organ Failure Diagnosis Using Adverse Events and Neural Networks (ÁMS, PC, MFS, LG, JN), pp. 401–408.
CIKM-2004-NallapatiFPA #thread #topic: Event threading within news topics (RN, AF, FP, JA), pp. 446–453.
ICPR-v1-2004-JohnstonFD #clustering #execution #grid #image #performance: An Event-Based Execution Model for Efficient Image Processing on Workstation Clusters and the Grid (DJJ, MF, ACD), pp. 732–735.
ICPR-v3-2004-ForestiMS #automation #classification: Event Classification for Automatic Visual-based Surveillance of Parking Lots (GLF, CM, LS), pp. 314–317.
ICPR-v3-2004-GaoLT #identification #music: Indexing with Musical Events and Its Application to Content-Based Music Identification (SG, CHL, QT), pp. 846–849.
ICPR-v3-2004-ReiterR #classification #multi #programming #segmentation #using: Segmentation and Classification of Meeting Events using Multiple Classifier Fusion and Dynamic Programming (SR, GR), pp. 434–437.
ICPR-v4-2004-BertiniBCP #adaptation #semantics #video: Object-Based and Event-Based Semantic Video Adaptation (MB, ADB, RC, AP), pp. 987–990.
ICPR-v4-2004-ChanHSP #detection #semantics #using #video: Detecting Rare Events in Video Using Semantic Primitives with HMM (MTC, AH, JS, MP), pp. 150–154.
ICPR-v4-2004-ParkA #interactive #semantics: Event Semantics in Two-person Interactions (SP, JKA), pp. 227–230.
ICPR-v4-2004-PiriouBY #detection #image #modelling #probability: Learned Probabilistic Image Motion Models for Event Detection in Videos (GP, PB, JFY), pp. 207–210.
SIGIR-2004-ChieuL #query #timeline: Query based event extraction along a timeline (HLC, YKL), pp. 425–432.
SIGIR-2004-KumaranA #classification #detection: Text classification and named entities for new event detection (GK, JA), pp. 297–304.
UML-2004-CabotT #constraints: Determining the Structural Events That May Violate an Integrity Constraint (JC, ET), pp. 320–334.
PPDP-2004-GrecoGSS #datalog #logic programming #multi #programming language #reasoning: Event choice datalog: a logic programming language for reasoning in multiple dimensions (GG, AG, DS, FS), pp. 238–249.
SAC-2004-AntoniouVPHJ #generative #network #simulation: A discrete event based simulation environment for enhanced UMTS 3^rd generation networks (JA, VV, AP, GH, NJ), pp. 369–370.
SAC-2004-WuCY #performance: VCR indexing for fast event matching for highly-overlapping range predicates (KLW, SKC, PSY), pp. 740–747.
FSE-2004-WalkerV #declarative #implementation #protocol: Implementing protocols via declarative event patterns (RJW, KV), pp. 159–169.
ICSE-2004-AlfonsoBKO #visual notation: Visual Timed Event Scenarios (AA, VAB, NK, AO), pp. 168–177.
ICSE-2004-RyanW #evolution #protocol #using: Using Event-Based Translation to Support Dynamic Protocol Evolution (NDR, ALW), pp. 408–417.
FASE-2003-FenkamGJ #specification: Composing Specifications of Event Based Applications (PF, HCG, MJ), pp. 67–86.
IWPC-2003-Reiss #analysis #performance: Event-Based Performance Analysis (SPR), pp. 74–83.
FME-2003-Abrial #development #pointer: Event Based Sequential Program Development: Application to Constructing a Pointer Program (JRA), pp. 51–74.
FME-2003-FenkamGJ #approach #concurrent: Constructing Deadlock Free Event-Based Applications: A Rely/Guarantee Approach (PF, HCG, MJ), pp. 636–657.
SFM-2003-Garlan #analysis #architecture #component #formal method #modelling: Formal Modeling and Analysis of Software Architecture: Components, Connectors, and Events (DG), pp. 1–24.
ICEIS-v4-2003-HampelB #documentation #web: Combining Web Based Document Management and Event-Based Systems — Integrating MUDS and MOOS Together with DMS to Form a Cooperative Knowledge Space (TH, TB), pp. 218–223.
CIKM-2003-HaradaHAKOT: Event analyzer: a tool for sequential data processing (LH, YH, NA, KK, TO, RT), pp. 172–174.
ECIR-2003-Pons-PorrataLR #library #topic: Building a Hierarchy of Events and Topics for Newspaper Digital Libraries (APP, RBL, JRS), pp. 588–596.
KDD-2003-PerngTGMH #data-driven #network #validation: Data-driven validation, completion and construction of event relationship networks (CSP, DT, GG, SM, JLH), pp. 729–734.
KDD-2003-SahooORGMMVS #clustering #predict #scalability: Critical event prediction for proactive management in large-scale computer clusters (RKS, AJO, IR, MG, JEM, SM, RV, AS), pp. 426–435.
SIGIR-2003-BrantsC #detection: A System for new event detection (TB, FC), pp. 330–337.
SIGIR-2003-YangCWK: Structured use of external knowledge for event-based open domain question answering (HY, TSC, SW, CKK), pp. 33–40.
RE-2003-LandtsheerLL #modelling #requirements #specification: Deriving Tabular Event-Based Specifications from Goal-Oriented Requirements Models (RDL, EL, AvL), p. 200–?.
SAC-2003-CheongLLZ #embedded #named #programming: TinyGALS: A Programming Model for Event-Driven Embedded Systems (EC, JL, JL, FZ), pp. 698–704.
ESEC-FSE-2003-GiannakopoulouM #model checking: Fluent model checking for event-based systems (DG, JM), pp. 257–266.
LCTES-2003-PratapCSP #abstraction #embedded: Transport layer abstraction in event channels for embedded systems (RP, RC, DCS, EP), pp. 144–152.
LICS-2003-Madhusudan #model checking: Model-checking Trace Event Structures (PM), pp. 371–380.
TestCom-2003-Cousin #consistency #process #testing: Interoperabolity Events Complementing Conformance Testing Activities (PC), p. 128.
TestCom-2003-HallalBUP #approach #testing: An Automata-Based Approach to Property Testing in Event Traces (HH, SB, AU, AP), pp. 180–196.
ASE-2002-DiasR #component #concurrent #identification: Identifying Cause & Effect Relations between Events in Concurrent Event-Based Components (MSD, DJR), pp. 245–248.
DAC-2002-ChakrabortyEKT #embedded #realtime #scheduling: Schedulability of event-driven code blocks in real-time embedded systems (SC, TE, SK, LT), pp. 616–621.
DATE-2002-RichterE #analysis #interface: Event Model Interfaces for Heterogeneous System Analysis (KR, RE), pp. 506–513.
ITiCSE-2002-ChristensenC #framework #programming: Frameworks in CS1: a different way of introducing event-driven programming (HBC, MEC), pp. 75–79.
FASE-2002-Cerone #algebra #implementation #process: Implementing Condition/Event Nets in the Circal Process Algebra (AC), pp. 49–63.
PLDI-2002-RajagopalanDHS #optimisation #source code: Profile-Directed Optimization of Event-Based Programs (MR, SKD, MAH, RDS), pp. 106–116.
IFM-2002-BarradasB #liveness #proving #specification: Specification and Proof of Liveness Properties under Fairness Assumptions in B Event Systems (HRB, DB), pp. 360–379.
ICEIS-2002-MarirZO #database #logic #online #retrieval #video: An Integrated Object Database and Description Logic System for Online Content and Event-Based Indexing and Retrieval of a Car Park Surveillance Video (FM, KZ, KO), pp. 129–139.
ICEIS-2002-Poels #enterprise #functional #metric #modelling: A Functional Size Measurement Method for Event-Based Objectoriented Enterprise Models (GP), pp. 667–675.
ICPR-v2-2002-AmerDM #independence #realtime #recognition: Context-Independent Real-Time Event Recognition: Application to Key-Image Extraction (AA, ED, AM), pp. 945–948.
ICPR-v2-2002-KawashimaM #multi #recognition: Integrated Event Recognition from Multiple Sources (HK, TM), p. 785–?.
ICPR-v2-2002-LateckiW #automation #predict #recognition: Automatic Recognition of Unpredictable Events in Videos (LJL, DdW), pp. 889–892.
ICPR-v2-2002-MiyauchiHBK #analysis #collaboration #detection #multi #semantics #video: Collaborative Multimedia Analysis for Detecting Semantical Events from Broadcasted Sports Video (SM, AH, NB, TK), pp. 1009–1012.
ICPR-v2-2002-SatohTWKNY #detection #robust: Robust Event Detection by Radial Reach Filter (RRF) (YS, HT, CW, SK, YN, KY), pp. 623–627.
ICPR-v2-2002-TeraguchiMESE #agile #generative #personalisation #video: Rapid Generation of Event-Based Indexes for Personalized Video Digests (MT, KM, TE, SiS, ME), pp. 1041–1044.
ICPR-v2-2002-XuMZY #recognition #using: Motion Based Event Recognition Using HMM (GX, YFM, HZ, SY), pp. 831–834.
KR-2002-McCarthy #calculus: Actions and Other Events in Situation Calculus (JM0), pp. 615–628.
SEKE-2002-Dantzig #architecture #design #web: Architecture and design of high volume web sites: (a brief history of IBM sport and event web sites) (PD), pp. 17–24.
SEKE-2002-MoroN #component #coordination #multi #on the: On the event coordination in multi-component systems (GM, AN), pp. 315–322.
SIGIR-2002-Smith #detection: Detecting and Browsing Events in Unstructured text (DAS), pp. 73–80.
ECOOP-2002-FiegeMMB: Engineering Event-Based Systems with Scopes (LF, MM, GM, APB), pp. 309–333.
PADL-2002-WanTH: Event-Driven FRP (ZW, WT, PH), pp. 155–172.
RE-2002-Cleland-HuangCSJHX #automation #query #requirements #traceability: Automating Speculative Queries through Event-Based Requirements Traceability (JCH, CKC, GS, KJ, HH, JX), pp. 289–298.
SAC-2002-El-Ansary #analysis #behaviour #representation #requirements #towards: Behavioral Pattern Analysis: towards a new representation of systems requirements based on actions and events (AEA), pp. 984–991.
SAC-2002-FiegeMG #approach #composition: A modular approach to build structured event-based systems (LF, GM, FCG), pp. 385–392.
SAC-2002-KornissNKG #parallel #simulation #statistics: Statistical properties of the simulated time horizon in conservative parallel discrete-event simulations (GK, MAN, AKK, HG), pp. 132–137.
HPDC-2002-Plale #data type #memory management #runtime: Leveraging Run Time Knowledge about Event Rates to Improve Memory Utilization in Wide Area Data Stream Filtering (BP), pp. 171–178.
CAV-2002-YounesS #probability #using #verification: Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling (HLSY, RGS), pp. 223–235.
ICLP-2002-RussoMNK #abduction #approach #requirements #specification: An Abductive Approach for Analysing Event-Based Requirements Specifications (AR, RM, BN, JK), pp. 22–37.
DAC-2001-LiouCKK #analysis #performance #probability #statistics: Fast Statistical Timing Analysis By Probabilistic Event Propagation (JJL, KTC, SK, AK), pp. 661–666.
DATE-2001-ZolfyMN #adaptation #concurrent #fault #simulation: Adaptation of an event-driven simulation environment to sequentially propagated concurrent fault simulation (MZ, SM, ZN), p. 823.
HT-2001-Miles #hypermedia: Hypertext structure as the event of connection (AM), pp. 61–68.
ICDAR-2001-CrandallK #detection #robust #video: Robust Detection of Stylized Text Events in Digital Video (DJC, RK), pp. 865–871.
VLDB-2001-Gibbons #query: Distinct Sampling for Highly-Accurate Answers to Distinct Values Queries and Event Reports (PBG), pp. 541–550.
ITiCSE-2001-BruceDM #programming: Event-driven programming is simple enough for CS1 (KBB, APD, TPM), pp. 1–4.
ITiCSE-2001-Lawhead #programming #using: Events robots and programming using legos in CS1 (PBL), p. 183.
ITiCSE-2001-Sooriamurthi01a #java: Prelude to the Java event model (RS), p. 193.
CSMR-2001-PodnarM #analysis #maintenance #process #simulation #using: Software Maintenance Process Analysis Using Discrete-Event Simulation (IP, BM), pp. 192–195.
ICFP-2001-Russell #haskell #how: Events in Haskell, and How to Implement Them (GR), pp. 157–168.
SVIS-2001-DemetrescuFS #algorithm #question #specification #visualisation: Specifying Algorithm Visualizations: Interesting Events or State Mapping? (CD, IF, JTS), pp. 16–30.
KDD-2001-MannilaS #sequence: Finding simple intensity descriptions from event sequence data (HM, MS), pp. 341–346.
SEKE-2001-GomezAG #specification #testing: Testing an Event Specification Language (RG, JCA, AG), pp. 341–345.
SIGIR-2001-StentL #segmentation #using: Using Event Segmentation to Improve Indexing of Consumer Photographs (AS, ACL), pp. 59–65.
OOPSLA-2001-EugsterGD #on the: On Objects and Events (PTE, RG, CHD), pp. 254–269.
RE-2001-SmithHE #constraints #editing #logic #requirements #source code #visual notation: Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs (MHS, GJH, KE), pp. 14–22.
ICSE-2001-Dong #diagrams #modelling: State, Event, Time and Diagram in System Modeling (JSD), pp. 733–734.
LDTA-2001-NakanoN #documentation #specification: Deriving Event-Based Document Transformers from Tree-Based Specifications (KN, SN), pp. 181–205.
DATE-2000-JantschB: Composite Signal Flow: A Computational Model Combining Events, Sampled Streams, and Vectors (AJ, PB), pp. 154–160.
VLDB-2000-AdiBEY #correlation #personalisation: Push Technology Personalization through Event Correlation (AA, DB, OE, TYH), pp. 643–645.
ESOP-2000-BusiZ #coordination #data-driven #on the: On the Expressiveness of Event Notification in Data-Driven Coordination Languages (NB, GZ), pp. 41–55.
AdaEurope-2000-BarrazaPCC #development #predict: An Application of the Chains-of-Rare-Events Model to Software Development Failure Prediction (NRB, JDP, BCF, FC), pp. 185–195.
CAiSE-2000-TombrosG #framework #using #workflow: Building Extensible Workflow Systems Using an Event-Based Infrastructure (DT, AG), pp. 325–339.
EDOC-2000-AbrahamDLMRW #corba #enterprise: Mapping Enterprise Events to the CORBA Notification Service (SA, KD, ML, ZM, KR, AW), pp. 124–134.
ICPR-v1-2000-YoonDD #detection #video: Event Detection from MPEG Video in the Compressed Domain (KY, DD, DSD), pp. 1819–1822.
ICPR-v4-2000-NittaBK #approach #video: Extracting Actors, Actions and Events from Sports Video — A Fundamental Approach to Story Tracking (NN, NB, TK), pp. 4718–4721.
ICPR-v4-2000-ShottonRGT #biology #recognition: Object Tracking and Event Recognition in Biological Microscopy Videos (DMS, ARM, NG, OT), pp. 4226–4229.
KR-2000-IocchiNR #concurrent #framework #implementation #logic: Planning with sensing, concurrency, and exogenous events: logical framework and implementation (LI, DN, RR), pp. 678–689.
KR-2000-LampertiZ #compilation #generative: Generation of Diagnostic Knowledge by Discrete-Event Model Compilation (GL, MZ), pp. 333–344.
KR-2000-MorrisM #complexity #on the #reasoning: On the complexity of reasoning about repeating events (RAM, PHM), pp. 580–588.
SIGIR-2000-FukumotoS #dependence: Event tracking based on domain dependency (FF, YS), pp. 57–64.
SIGIR-2000-StokesHC #detection #online #semantics: Lexical semantic relatedness and online new event detection (NS, PH, JC), pp. 324–325.
SIGIR-2000-YangAPL #categorisation: Improving text categorization methods for event tracking (YY, TA, TP, CWL), pp. 65–72.
UML-2000-BarrosDLMRW #architecture #concept #enterprise #process #uml: Processes, Roles, and Events: UML Concepts for Enterprise Architecture (APB, KD, ML, ZM, KR, AW), pp. 62–77.
TOOLS-EUROPE-2000-MoniqueG #modelling #object-oriented: Object-Oriented Modeling with Events (SM, DG), pp. 458–459.
TOOLS-EUROPE-2000-PoelsD #interactive #metric: Measures for Object-Event Interactions (GP, GD), pp. 70–81.
TOOLS-PACIFIC-2000-SilverajanK #convergence #framework: An Event-Based Framework for Converged Service Provisioning (BS, PK), pp. 24–35.
PPDP-2000-Elliott #declarative #programming: Declarative event-oriented programming (CE), pp. 56–67.
SAC-2000-BusiZ #coordination #data-driven #order: Event Notification in Data-driven Coordination Languages: Comparing the Ordered and Unordered Interpretations (NB, GZ), pp. 233–239.
ICSE-2000-Kammer #approach #component #distributed #process: Supporting dynamic distributed work processes with a component and event based approach (PJK), pp. 710–712.
HPDC-2000-EisenhauerBS #performance: Event Services for High Performance Computing (GE, FEB, KS), pp. 113–120.
ISMM-2000-ChilimbiJZ #design: Designing a Trace Format for Heap Allocation Events (TMC, REJ, BGZ), pp. 35–49.
WICSA-1999-VeraPL #architecture #execution: Event-Based Execution Architectures for Dynamic Software Systems (JV, LP, DCL), pp. 303–318.
ASE-1999-Penix99a #architecture #deduction #synthesis: Deductive Synthesis of Event-Based Software Architectures (JP), pp. 311–314.
VLDB-1999-DarmontS #named #random #simulation: VOODB: A Generic Discrete-Event Random Simulation Model To Evaluate the Performances of OODBs (JD, MS), pp. 254–265.
FoSSaCS-1999-BaldranCM #graph grammar #semantics: Unfolding and Event Structure Semantics for Graph Grammars (PB, AC, UM), pp. 73–89.
TACAS-1999-BehrmannLAHL #composition #reuse #using #verification: Verification of Hierarchical State/Event Systems Using Reusability and Compositionality (GB, KGL, HRA, HH, JLN), pp. 163–177.
IFM-1999-StoddartD #calculus #modelling #refinement: The Refinement of Event Calculus Models (BS, SD), pp. 151–169.
HCI-CCAD-1999-BarnekowSZS #architecture #bottom-up: An architecture for recovering business events bottom-up (TB, SS, JZ, RS), pp. 614–618.
HCI-CCAD-1999-HafH #community #named #online: VR-shopland: online shopping in a virtual world as community event (AH, AH), pp. 1167–1171.
HCI-CCAD-1999-YuCK #approximate #multi #using: Dynamic event filtering technique using multi-level path approximation in a shared virtual environment (SJY, YCC, KK), pp. 583–587.
HCI-EI-1999-Stelovsky #architecture #eye tracking #integration #interactive #java #source code #user interface: An Extendible Architecture for the Integration of Eye Tracking and User Interaction Events of Java Programs with Complex User Interfaces (JS), pp. 861–865.
EDOC-1999-LauderK #component #legacy #named: EventPorts: preventing legacy componentware (AL, SK), pp. 224–232.
EDOC-1999-OrvalhoFB #corba #multi #protocol #reliability: Evaluating light-weight reliable multicast protocol extensions to the CORBA event service (JO, LF, FB), pp. 255–261.
ICEIS-1999-MarcosBGTF: Realization of Exposition-Like Events in Cyber-Space (AM, JB, LG, ET, RF), pp. 682–689.
KDD-1999-GuralnikS #detection: Event Detection from Time Series Data (VG, JS), pp. 33–42.
TOOLS-EUROPE-1999-Poo #case study #identification #specification: Events in Use Cases as a Basis for Identifying and Specifying Classes and Business Rules (DCCP), pp. 204–213.
TOOLS-USA-1999-SilverajanH #distributed #framework #object-oriented #programming: Enhancing an Event-Based OO Framework for Distributed Programming (BS, JH), p. 162–?.
RE-1999-PaunC #linear: Events in Linear-Time Properties (DOP, MC), pp. 123–132.
ICSE-1999-HolzmannS #verification: A Practical Method for Verifying Event-Driven Software (GJH, MHS), pp. 597–607.
CAV-1999-BuchholzK #analysis: A Toolbox for the Analysis of Discrete Event Dynamic Systems (PB, PK), pp. 483–486.
CAV-1999-Lind-NielsenA #model checking: Stepwise CTL Model Checking of State/Event Systems (JLN, HRA), pp. 316–327.
ICLP-1999-KaneiwaT #logic #order: Event, Property, and Hierarchy in Order-Sorted Logic (KK, ST), pp. 94–108.
DAC-1998-BauerBKV #configuration management #logic #performance #simulation: A Reconfigurable Logic Machine for Fast Event-Driven Simulation (JB, MB, IK, PV), pp. 668–671.
VLDB-1998-BaulierBKS #database #realtime: A Database System for Real-Time Event Aggregation in Telecommunication (JB, SB, HFK, AS), pp. 680–684.
FoSSaCS-1998-BaldanCM #semantics #symmetry: An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures (PB, AC, UM), pp. 63–80.
TACAS-1998-Lind-NielsenABHKL #analysis #composition #dependence #scalability #using #verification: Verification of Large State/Event Systems Using Compositionality and Dependency Analysis (JLN, HRA, GB, HH, KJK, KGL), pp. 201–216.
EDOC-1998-KoschelK #configuration management #corba: Configurable event triggered services for CORBA-based systems (AK, RK), pp. 306–318.
EDOC-1998-LoosA #modelling #object-oriented #process #uml: Object-orientation in business process modeling through applying event driven process chains (EPC) in UML (PL, TA), pp. 102–112.
EDOC-1998-Riemer: A process-driven, event-based business object model (KR), pp. 68–74.
ICPR-1998-BabaguchiJ #detection: Event detection from continuous media (NB, RJ), pp. 1209–1212.
ICPR-1998-GargiAK #database #video: Indexing text events in digital video databases (UG, SA, RK), pp. 916–918.
KDD-1998-WeissH #learning #predict #sequence: Learning to Predict Rare Events in Event Sequences (GMW, HH), pp. 359–363.
KR-1998-CervesatoFM #calculus #complexity #model checking #quantifier: The Complexity of Model Checking in Modal Event Calculi with Quantifiers (IC, MF, AM), pp. 368–379.
KR-1998-Lukasiewicz #constraints #deduction #probability: Probabilistic Deduction with Conditional Constraints over Basic Events (TL), pp. 380–393.
KR-1998-Thielscher #how: How (Not) To Minimize Events (MT), pp. 60–73.
SIGIR-1998-AllanPL #detection #online: On-Line New Event Detection and Tracking (JA, RP, VL), pp. 37–45.
SIGIR-1998-YangPC #case study #detection #online: A Study of Retrospective and On-Line Event Detection (YY, TP, JGC), pp. 28–36.
FSE-1998-CoolW #concurrent #detection: Event-Base Detection of Concurrency (JEC, ALW), pp. 35–45.
ICSE-1998-CugolaNF #distributed #framework: Exploiting an Event-Based Infrastructure to Develop Complex Distributed Systems (GC, EDN, AF), pp. 261–270.
SIGMOD-1997-Chakravarthy #named #object-oriented: SENTINEL: An Object-Oriented DBMS With Event-Based Rules (SC), pp. 572–575.
TACAS-1997-Penczek #model checking #subclass: Model-Checking for a Subclass of Event Structures (WP), pp. 145–164.
FME-1997-LanoS #design: Design of Reactive Control Systems for Event-Drivem Operations (KL, AS), pp. 142–161.
HCI-CC-1997-BiancardiP: 4 Super-Events to Tame the Daunting Image-Selections (AB, MP), pp. 725–728.
HCI-CC-1997-KuwakinoF #simulation: Longitudinal Study of the Effect of Life and Work Events on Depressive Symptoms, Based on Computer Simulation (MK, YF), pp. 365–368.
CAiSE-1997-DiazP #calculus #modelling #policy #validation: Stimuli and Business Policies as Modelling Constructs: Their Definition and Validation Through the Event Calculus (OD, NWP), pp. 33–46.
CAiSE-1997-TombrosGD #component #execution #semantics #workflow: Semantics of Reactive Components in Event-Driven Workflow Execution (DT, AG, KRD), pp. 409–422.
CIKM-1997-Lukasiewicz #deduction #knowledge base #performance #probability #taxonomy: Efficient Global Probabilistic Deduction from Taxonomic and Probabilistic Knowledge-Bases over Conjunctive Events (TL), pp. 75–82.
OOPSLA-1997-HarrisonLS #design #performance #realtime: The Design and Performance of a Hard Real-Time Object Event Service (THH, DLL, DCS), pp. 184–200.
ESEC-FSE-1997-RosenblumW #design #framework: A Design Framework for Internet-Scale Event Observation and Notification (DSR, ALW), pp. 344–360.
ICLP-1997-CervesatoFM #calculus #complexity #model checking: The Complexity of Model Checking in Modal Event Calculi (IC, MF, AM), p. 419.
SIGMOD-1996-HungYK #named #process: CapBasED-AMS: A Capability-based and Event-driven Activity Management System (PCKH, HPY, KK), p. 554.
RWLW-1996-Landauer #logic: Discrete event systems in rewriting logic (CL), pp. 310–321.
TACAS-1996-KowalewskiP #composition #framework #modelling #realtime #verification: Timed Condition/Event Systems: A Framework for Modular Discrete Models of Chemical Plants and Verification of Their Real-Time Discrete Control (SK, JP), pp. 225–240.
ICSM-1996-White #interactive #testing #user interface: Regression Testing of GUI Event Interactions (LJW), pp. 350–358.
TRI-Ada-1996-HagenauerP #ada #parallel #prototype #simulation: Prototyping a Parallel Discrete Event Simulation System in Ada (HH, WP), pp. 11–22.
KR-1996-MillerS #calculus #reasoning: Reasoning about Discontinuities in the Event Calculus (RM, MS), pp. 63–74.
ISSTA-1996-HowdenS #analysis #linear #sequence: Linear and Structural Event Sequence Analysis (WEH, GMS), pp. 98–106.
JICSLP-1996-DeneckerBDPS #calculus #empirical #information management #protocol #representation #specification: A Realistic Experiment in Knowledge Representation in Open Event Calculus: Protocol Specification (MD, KVB, GD, FP, DDS), pp. 170–184.
DAC-1995-FrenchLLO #compilation #simulation: A General Method for Compiling Event-Driven Simulations (RSF, MSL, JRL, KO), pp. 151–156.
DAC-1995-WalkerG #algorithm #distributed #execution #parallel #simulation: Asynchronous, Distributed Event Driven Simulation Algorithm for Execution of VHDL on Parallel Processors (PAW, SG), pp. 144–150.
CAiSE-1995-BurgR #approach #modelling #named: COLOR-X: Linguistically-based Event Modeling: A General Approach to Dynamic Modeling (JFMB, RPvdR), pp. 26–39.
SEKE-1995-ChenP #adaptation #distributed: Event Adaption for Integrating Distributed Applications (CC, JMP), pp. 392–401.
SEKE-1995-Stanbrough: An object view = methods + events (DS), pp. 80–86.
OOPSLA-1995-AllenC #scheduling #statechart: Extending the Statechart Formalism: Event Scheduling & Disposition (AA, DdC), pp. 1–16.
SAC-1995-GarrettOK #source code #visual notation: Scripting of event driven programs for graphical, computer-based laboratories (DAG, MBO, BLK), pp. 17–21.
ICSE-1995-BarghoutiK #constraints #monitoring #process #using: Using Event Contexts and Matching Constraints to Monitor Software Processes (NSB, BK), pp. 83–92.
ICSE-1995-CookW #automation #data analysis #process: Automating Process Discovery Through Event-Data Analysis (JEC, ALW), pp. 73–82.
ICLP-1995-BelleghemDS #calculus: Combining Situation Calculus and Event Calculus (KVB, MD, DDS), pp. 83–97.
ICLP-1995-CervesatoCM #calculus #framework #logic programming #order: A Modal Calculus of Partially Ordered Events in a Logic Programming Framework (IC, LC, AM), pp. 299–313.
ICLP-1995-SadriK #calculus: Variants of the Event Calculus (FS, RAK), pp. 67–81.
ICLP-1995-Sripada #calculus #database #implementation #performance: Efficient Implementation of the Event Calculus for Temporal Database Applications (SMS), pp. 99–113.
EDAC-1994-MichaelsS #modelling #simulation: Variable Accuracy Device Modeling for Event-Driven Circuit Simulation (KWM, AJS), pp. 557–561.
VLDB-1994-ChakravarthyKAK #database #detection #semantics: Composite Events for Active Databases: Semantics, Contexts and Detection (SC, VK, EA, SKK), pp. 606–617.
VLDB-1994-TeisseirePC #database #design #modelling #towards: Towards Event-Driven Modelling for Database Design (MT, PP, RC), pp. 285–296.
TAGT-1994-CorradiniELMR #graph grammar #parallel #semantics: An Event Structure Semantics for Graph Grammars with Parallel Productions (AC, HE, ML, UM, FR), pp. 240–256.
AdaEurope-1994-CiceriM #realtime: Event Diagnosis and Recovery in Real-Time On-Board Autonomous Mission Control (FC, LM), pp. 288–301.
TRI-Ada-1994-Kortright #approach #component #development #incremental #reuse: An Incremental Approach to the Development of Reusable General-Purpose Discrete-Event Simulator Components (LMLK), pp. 486–493.
CAiSE-1994-TeisseirePC #modelling: Dynamic Modelling with Events (MT, PP, RC), pp. 186–199.
SEKE-1994-ChiangWBN #automation #documentation #named #programming #visual notation: DocFlow: an event-driven visual programming environment for office automation through document processing (SCYC, JTLW, MPB, PAN), pp. 454–461.
FSE-1994-AbowdD #interactive #specification: Integrating Status and Event Phenomena in Formal Specifications of Interactive Systems (GDA, AJD), pp. 44–52.
ICLP-1994-BelleghemDS #abduction #calculus #representation: Representing Continuous Change in the Abductive Event Calculus (KVB, MD, DDS), pp. 225–239.
ILPS-1994-CervesatoCM #calculus: Modal Event Calculus (IC, LC, AM), p. 675.
ILPS-1994-KowalskiS #calculus: The Situation Calculus and Event Calculus Compared (RAK, FS), pp. 539–553.
DAC-1993-Gennart #comparative #design #validation: Comparative Design Validation Based on Event Pattern Mappings (BAG), pp. 373–378.
DAC-1993-VisweswariahW #incremental #simulation: Incremental Event-Driven Simulation of Digital FET Circuits (CV, JAW), pp. 737–741.
HCI-SHI-1993-ResselHH #approach #multi: An Eventful Approach to Multi-Media, Multi-User Applications (MR, HH, JH), pp. 428–433.
ISSTA-1993-CorbettA #bound #concurrent #realtime: A Practical Technique for Bounding the Time Between Events in Concurrent Real-Time Systems (JCC, GSA), pp. 110–116.
DAC-1992-GennartL #simulation #using #validation: Validating Discrete Event Simulations Using Event Pattern Mappings (BAG, DCL), pp. 414–419.
DAC-1992-Hirose #evaluation #logic #performance #simulation: Performance Evaluation of an Event-Driven Logic Simulation Machine (FH), pp. 428–431.
SIGMOD-1992-GehaniJS #database #object-oriented #specification: Event Specification in an Active Object-Oriented Database (NHG, HVJ, OS), pp. 81–90.
VLDB-1992-GehaniJS #database #implementation #specification: Composite Event Specification in Active Databases: Model & Implementation (NHG, HVJ, OS), pp. 327–338.
KR-1992-Poesio: Conversational Events and Discourse State Change: A Preliminary Report (MP), pp. 369–380.
ML-1992-RadiyaZ #framework #modelling: A Framework for Discovering Discrete Event Models (AR, JMZ), pp. 373–378.
PPoPP-1991-Malony #case study #performance: Event-Based Performance Perturbation: A Case Study (ADM), pp. 201–212.
IWPTS-1991-VelthuysZ #approach #consistency #testing: Relating Events for Conformance Testing — a Pragmatic Approach (RJV, GZ), pp. 231–253.
LICS-1991-Kozen #algebra #theorem: A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events (DK), pp. 214–225.
DAC-1990-WangM #logic #named #simulation: LECSIM: A Levelized Event Driven Compiled Logic Simulation (ZW, PMM), pp. 491–496.
ICALP-1990-CourcoubetisY #markov #process: Markov Decision Processes and Regular Events (Extended Abstract) (CC, MY), pp. 336–349.
PLILP-1990-DumortierB #automation #generative #on the #prolog: On the Automatic Generation of Events in Delta Prolog (VD, MB), pp. 324–339.
PPoPP-1990-CallahanKS #analysis #parallel #programming: Analysis of Event Synchronization in A Parallel Programming Tool (DC, KK, JS), pp. 21–30.
PPoPP-1990-Nicol #analysis #parallel: Analysis of Synchronization in Massively Parallel Discrete-Event Sumulations (DMN), pp. 89–98.
CAV-1990-GolaszewskiK: Task-Driven Supervisory Control of Discrete Event Systems (CHG, RPK), pp. 282–291.
PODS-1989-KedemT #behaviour #database #modelling #relational: Relational Database Behavior: Utilizing Relational Discrete Event Systems and Models (ZMK, AT), pp. 336–346.
VLDB-1989-SegevG #database #optimisation #relational: Event-Join Optimization in Temporal Relational Databases (AS, HG), pp. 205–215.
OOPSLA-1989-Shan #framework #mvc #smalltalk: An Event-Driven Model-View-Controller Framework for Smalltalk (YPS), pp. 347–352.
ESEC-1989-NardiT #calculus #representation: An Application of the Event Calculus for Representing the History of a Software Project (DN, MT), pp. 176–190.
NACLP-1989-Meier #prolog: Event Handling in Prolog (MM), pp. 871–887.
DAC-1988-TakamineMNMK #algorithm #development: Clock Event Suppression Algorithm of VELVET and Its Application to S-820 Development (YT, SM, SN, MM, SK), pp. 716–719.
ICALP-1988-CoriM #approximate #automaton #distributed: Approximation of a TRace, Asynchronous Automata and the Ordering of Events in a Distributed System (RC, YM), pp. 147–161.
PPEALS-1988-Nicol #network #parallel #probability #simulation: Parallel Discrete-Event Simulation Of FCFS Stochastic Queuing Networks (DMN), pp. 124–137.
JICSCP-1988-Eshghi88 #abduction #calculus: Abductive Planning with Event Calculus (KE), pp. 562–579.
ICALP-1987-LodayaT #logic #subclass: A Modal Logic for a Subclass of Event Structures (KL, PST), pp. 290–303.
CADE-1986-CoxP: Causes for Events: Their Computation and Applications (PTC, TP), pp. 608–621.
ICLP-1986-PereiraMCA86 #backtracking #distributed #prolog: Delta Prolog: A Distributed Backtracking Extension with Events (LMP, LM, JCC, JNA), pp. 69–83.
DAC-1985-HahnF #music #named #performance #simulation: MuSiC: an event-flow computer for fast simulation of digital systems (WH, KF), pp. 338–344.
ICSE-1985-PottsBCM #design #simulation #specification #validation: Discrete Event Simulation as a Means of Validating JSD Design Specifications (CP, AB, BHC, RM), pp. 119–127.
ICSE-1984-RomanD #distributed #multi #process #specification #using: Multifaceted Distributed Systems Specification Using Processes and Event Synchronization (GCR, MSD), pp. 44–55.
ICALP-1982-Winskel #semantics: Event Structure Semantics for CCS and Related Languages (GW), pp. 561–576.
VLDB-1981-AntonellisZ #database #design #modelling: Modelling Events a Data Base Application Design (VDA, BZ), pp. 23–31.
DAC-1976-Ulrich #logic #simulation: Non-integral event timing for digital logic simulation (EGU), pp. 61–67.
ICALP-1976-Schwarz #proving #reasoning #source code #termination: Event Based Reasoning — A System for Proving Correct Termination of Programs (JS), pp. 131–146.
ICSE-1976-ParnasW: Response to Undesired Events in Software Systems (DLP, HW), pp. 437–446.
ICALP-1972-Bertoni #approximate #complexity #probability #problem: Complexity Problems Related to the Approximation of Probabilistic Languages and Events by Deterministic Machines (AB), pp. 507–516.