BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
model (247)
system (144)
base (122)
use (115)
user (106)

Stem behavior$ (all stems)

1104 papers:

CBSECBSE-2015-MouelhiACM #behaviour #component #contract #design #object-oriented #using
Object-Oriented Component-Based Design using Behavioral Contracts: Application to Railway Systems (SM, KA, SC, HM), pp. 49–58.
CASECASE-2015-CarmenateRLBM #analysis #approach #behaviour #energy #modelling #using
Modeling and analyzing occupant behaviors in building energy analysis using an information space approach (TC, MMR, DL, LB, AM), pp. 425–431.
CASECASE-2015-NohAH #assessment #behaviour
Situation assessment and behavior decision for vehicle/driver cooperative driving in highway environments (SN, KA, WH), pp. 626–633.
CASECASE-2015-ParisACAR #behaviour #learning #markov #smarttech #using
Using Hidden Semi-Markov Model for learning behavior in smarthomes (AP, SA, NC, AEA, NR), pp. 752–757.
DACDAC-2015-HuangCZL #behaviour #named #realtime #scheduling
PASS: priority assignment of real-time tasks with dynamic suspending behavior under fixed-priority scheduling (WHH, JJC, HZ, CL), p. 6.
DACDAC-2015-McLaughlin #behaviour #policy
Blocking unsafe behaviors in control systems through static and dynamic policy enforcement (SM), p. 6.
DACDAC-2015-YoonSMC #behaviour #detection #embedded #heatmap #memory management #realtime #using
Memory heat map: anomaly detection in real-time embedded systems using memory behavior (MKY, LS, SM, JC), p. 6.
DATEDATE-2015-DuqueDY #adaptation #behaviour #fault #reliability #runtime
Improving MPSoC reliability through adapting runtime task schedule based on time-correlated fault behavior (LARD, JMMD, CY), pp. 818–823.
HTHT-2015-GadirajuSFK #behaviour #categorisation #comprehension
Breaking Bad: Understanding Behavior of Crowd Workers in Categorization Microtasks (UG, PS, BF, RK), pp. 33–38.
ESOPESOP-2015-Penninckx0P #behaviour #composition #source code #verification
Sound, Modular and Compositional Verification of the Input/Output Behavior of Programs (WP, BJ, FP), pp. 158–182.
ICSMEICSME-2015-BiegelLD #behaviour #java
Live object exploration: Observing and manipulating behavior and state of Java objects (BB, BL, SD), pp. 581–585.
ICSMEICSME-2015-LuciaDGR #automation #behaviour #design pattern #detection #dynamic analysis #towards
Towards automating dynamic analysis for behavioral design pattern detection (ADL, VD, CG, MR), pp. 161–170.
ICSMEICSME-2015-LuciaDGRP #behaviour #design pattern #detection #named
ePadEvo: A tool for the detection of behavioral design patterns (ADL, VD, CG, MR, CP), pp. 327–329.
MSRMSR-2015-AhmedSH #behaviour #development #empirical
An Empirical Study of the Copy and Paste Behavior during Development (TMA, WS, AEH), pp. 99–110.
MSRMSR-2015-Marder #approach #behaviour #stack overflow
Stack Overflow Badges and User Behavior: An Econometric Approach (AM), pp. 450–453.
FMFM-2015-Hauck-Stattelmann #behaviour #industrial
Analyzing the Restart Behavior of Industrial Control Applications (SHS, SB, BS, SK, RJ), pp. 585–588.
FMFM-2015-Nakajima #behaviour #energy #maude #realtime #using
Using Real-Time Maude to Model Check Energy Consumption Behavior (SN), pp. 378–394.
CHICHI-2015-AhmedHCCK #behaviour #people #privacy #visual notation
Privacy Concerns and Behaviors of People with Visual Impairments (TA, RH, KC, DJC, AK), pp. 3523–3532.
CHICHI-2015-ChangLKS #behaviour #comprehension #gesture #mobile #scalability
Understanding Users’ Touch Behavior on Large Mobile Touch-Screens and Assisted Targeting by Tilting Gesture (YC, SL, KK, JS), pp. 1499–1508.
CHICHI-2015-ChenBBOH #behaviour #interactive
The Emergence of Interactive Behavior: A Model of Rational Menu Search (XC, GB, DPB, AO, AH), pp. 4217–4226.
CHICHI-2015-EgelmanP #behaviour #scalability #security
Scaling the Security Wall: Developing a Security Behavior Intentions Scale (SeBIS) (SE, EP), pp. 2873–2882.
CHICHI-2015-GadirajuKDD #behaviour #comprehension #crowdsourcing #online
Understanding Malicious Behavior in Crowdsourcing Platforms: The Case of Online Surveys (UG, RK, SD, GD), pp. 1631–1640.
CHICHI-2015-GunaratneN #behaviour #performance #user interface #using
Informing and Improving Retirement Saving Performance using Behavioral Economics Theory-driven User Interfaces (JG, ON), pp. 917–920.
CHICHI-2015-HollisKW #behaviour
Change of Heart: Emotion Tracking to Promote Behavior Change (VH, AK, SW), pp. 2643–2652.
CHICHI-2015-JungSGS #behaviour #experience #nondeterminism
Displayed Uncertainty Improves Driving Experience and Behavior: The Case of Range Anxiety in an Electric Car (MFJ, DS, TMG, MS), pp. 2201–2210.
CHICHI-2015-KwakBH #behaviour #contest #game studies #online
Exploring Cyberbullying and Other Toxic Behavior in Team Competition Online Games (HK, JB, SH), pp. 3739–3748.
CHICHI-2015-LaseckiGLLBD #behaviour #crowdsourcing #privacy #trade-off #video
Exploring Privacy and Accuracy Trade-Offs in Crowdsourced Behavioral Video Coding (WSL, MG, WL, EL, JPB, SPD), pp. 1945–1954.
CHICHI-2015-ParkOSJC #behaviour #image #scalability #web
A Large-Scale Study of User Image Search Behavior on the Web (JYP, NO, RS, AJ, CWC), pp. 985–994.
CHICHI-2015-RedaJPL #behaviour #visual notation
Effects of Display Size and Resolution on User Behavior and Insight Acquisition in Visual Exploration (KR, AEJ, MEP, JL), pp. 2759–2768.
CHICHI-2015-ShayBCCFKMMSU #behaviour #feedback
A Spoonful of Sugar?: The Impact of Guidance and Feedback on Password-Creation Behavior (RS, LB, NC, LFC, AF, SK, MLM, WM, SMS, BU), pp. 2903–2912.
CHICHI-2015-YanHC #behaviour
Masters of Control: Behavioral Patterns of Simultaneous Unit Group Manipulation in StarCraft 2 (EQY, JH, GKC), pp. 3711–3720.
CSCWCSCW-2015-Erete #behaviour #communication #how #online
Engaging Around Neighborhood Issues: How Online Communication Affects Offline Behavior (SLE), pp. 1590–1601.
CSCWCSCW-2015-JiaWXRC #behaviour #learning #online #privacy #process
Risk-taking as a Learning Process for Shaping Teen’s Online Information Privacy Behaviors (HJ, PJW, HX, MBR, JMC), pp. 583–599.
CSCWCSCW-2015-LeeL #behaviour #comprehension #health #multi #social
Understanding the Roles and Influences of Mediators from Multiple Social Channels for Health Behavior Change (YL, YKL), pp. 1070–1079.
CSCWCSCW-2015-MaddockSASOM #behaviour #multi #online #using
Characterizing Online Rumoring Behavior Using Multi-Dimensional Signatures (JM, KS, HJAH, DES, MO, RMM), pp. 228–241.
CSCWCSCW-2015-MarlowD #behaviour #process #visualisation
The Effects of Visualizing Activity History on Attitudes and Behaviors in a Peer Production Context (JM, LAD), pp. 757–764.
CSCWCSCW-2015-SleeperACKMS #behaviour #network #social
I Would Like To..., I Shouldn’t..., I Wish I...: Exploring Behavior-Change Goals for Social Networking Sites (MS, AA, LFC, PGK, SAM, NMS), pp. 1058–1069.
CSCWCSCW-2015-WisniewskiJXRC #behaviour #how #privacy #quote #social #social media
“Preventative” vs. “Reactive”: How Parental Mediation Influences Teens’ Social Media Privacy Behaviors (PJW, HJ, HX, MBR, JMC), pp. 302–316.
CSCWCSCW-2015-ZhengRSC #behaviour #comprehension #motivation #student
Understanding Student Motivation, Behaviors and Perceptions in MOOCs (SZ, MBR, PCS, JMC), pp. 1882–1895.
CSCWCSCW-2015-ZouMP #behaviour
Strategic Voting Behavior in Doodle Polls (JYZ, RM, DCP), pp. 464–472.
HCIDHM-EH-2015-LiaoYGOH #behaviour #gesture
Effect of Care Gesture on Transfer Care Behavior in Elderly Nursing Home in Japan (ML, TY, AG, TO, HH), pp. 174–183.
HCIDHM-EH-2015-ZhengBISEL #behaviour #monitoring #using
Driving-Behavior Monitoring Using an Unmanned Aircraft System (UAS) (CZ, AB, WI, IS, EE, KL), pp. 305–312.
HCIDHM-HM-2015-ShodaYSS #analysis #behaviour #how #people
Exploring How People Collaborate with a Stranger: — Analyses of Verbal and Nonverbal Behaviors in Abstract Art Reproduction (HS, TY, NS, MS), pp. 379–388.
HCIDUXU-DD-2015-ChenXNWZS #behaviour #research #semantics
Semantic Research of Military Icons Based on Behavioral Experiments and Eye-Tracking Experiments (XJC, CX, YN, HW, JZ, JS), pp. 24–31.
HCIDUXU-DD-2015-FloraB #behaviour #energy #reduction
Motivators of Energy Reduction Behavioral Intentions: Influences of Technology, Personality Characteristics, Perceptions, and Behavior Barriers (JAF, BB), pp. 436–446.
HCIDUXU-DD-2015-Marcus #behaviour #mobile #persuasion
The Marriage Machine: Mobile Persuasion/Behavior Change (AM), pp. 513–523.
HCIDUXU-IXD-2015-GoncalvesQ #automation #behaviour #case study #interactive
Drivers and Automation: A Study About Cultural and Behavioral Influence in the Interaction with Driver Assistants (RCG, MQ), pp. 462–472.
HCIDUXU-IXD-2015-GuYWD #behaviour #design #interactive #network #social #visualisation
Visualizing Group User Behaviors for Social Network Interaction Design Iteration (ZG, JMY, ZW, ZD), pp. 36–45.
HCIHCI-DE-2015-Semnani-AzadN #automation #behaviour
Automatic Interpretation of Negotiators’ Affect and Involvement Based on Their Non-verbal Behavior (ZSA, EN), pp. 520–529.
HCIHCI-IT-2015-TakedaBSO #behaviour #coordination #named
COLUMN: Discovering the User Invented Behaviors Through the Interpersonal Coordination (YT, SB, PRSDS, MO), pp. 787–796.
HCIHIMI-IKC-2015-KosakaN #behaviour #education
Education Method for Safe Bicycle Riding to Evaluate Actual Cycling Behaviors When Entering an Intersection (HK, MN), pp. 225–232.
HCIHIMI-IKC-2015-ZhouI #adaptation #behaviour
Effect of Adaptive Caution on Driver’s Lane-Change Behavior under Cognitively Distracted Condition (HZ, MI), pp. 262–271.
HCIHIMI-IKD-2015-FujinawaSINHTH #behaviour #induction
Induction of Human Behavior by Presentation of Environmental Acoustics (EF, SS, MI, TN, OH, TT, MH), pp. 582–594.
HCIHIMI-IKD-2015-IchiharaHIK #behaviour #metric
Presentation Method of Walking Sensation Based on Walking Behavior Measurement with Inertial Sensors and Pressure Sensors (KI, KH, YI, MK), pp. 374–385.
HCIHIMI-IKD-2015-SuzukiNSTH #artificial reality #behaviour #using
Changing Drinking Behavior and Beverage Consumption Using Augmented Reality (ES, TN, SS, TT, MH), pp. 648–660.
ICEISICEIS-v1-2015-FolinoGP #behaviour #modelling #on the #process
On the Discovery of Explainable and Accurate Behavioral Models for Complex Lowly-structured Business Processes (FF, MG, LP), pp. 206–217.
ECIRECIR-2015-CaoC #analysis #behaviour #detection #social #social media
Detecting Spam URLs in Social Media via Behavioral Analysis (CC, JC), pp. 703–714.
ECIRECIR-2015-RavariMGCR #behaviour #mobile
User Behavior in Location Search on Mobile Devices (YNR, IM, AG, MC, MdR), pp. 728–733.
KDDKDD-2015-BeutelAF #behaviour #detection #graph #modelling #predict
Graph-Based User Behavior Modeling: From Prediction to Fraud Detection (AB, LA, CF), pp. 2309–2310.
RecSysRecSys-2015-Geuens #behaviour #hybrid #recommendation
Factorization Machines for Hybrid Recommendation Systems Based on Behavioral, Product, and Customer Data (SG), pp. 379–382.
SEKESEKE-2015-LacherWFPNM #behaviour #empirical #metric
A Behavior Marker tool for measurement of the Non-Technical Skills of Software Professionals: An Empirical Investigation (LLL, GSW, FF, MP, KEN, JM), pp. 409–414.
SIGIRSIGIR-2015-ClarkeSY #behaviour #effectiveness #evaluation #information retrieval #modelling
IR Evaluation: Modeling User Behavior for Measuring Effectiveness (CLAC, MDS, EY), pp. 1117–1120.
SIGIRSIGIR-2015-KellyA #behaviour #case study #experience #how #user interface
How many results per page?: A Study of SERP Size, Search Behavior and User Experience (DK, LA), pp. 183–192.
SIGIRSIGIR-2015-Kiseleva #behaviour #information management #using
Using Contextual Information to Understand Searching and Browsing Behavior (JK), p. 1059.
SIGIRSIGIR-2015-LiDDCZB #behaviour #markov #process #query
Analyzing User’s Sequential Behavior in Query Auto-Completion via Markov Processes (LL, HD, AD, YC, HZ, RABY), pp. 123–132.
SIGIRSIGIR-2015-LiKF #behaviour #matrix #predict
Predicting User Behavior in Display Advertising via Dynamic Collective Matrix Factorization (SL, JK, YF), pp. 875–878.
SIGIRSIGIR-2015-WangLWZNM #behaviour #modelling
Incorporating Non-sequential Behavior into Click Models (CW, YL, MW, KZ, JYN, SM), pp. 283–292.
AMTAMT-2015-DyckGLSG #automation #behaviour #model transformation #towards #verification
Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations (JD, HG, LL, SS, SG), pp. 36–45.
MoDELSMoDELS-2015-LarsenDCM #behaviour #coordination
A Behavioral Coordination Operator Language (BCOoL) (MEVL, JD, BC, FM), pp. 186–195.
MoDELSMoDELS-2015-PrzigodaHWPD #behaviour #concurrent #modelling #ocl #uml
Checking concurrent behavior in UML/OCL models (NP, CH, RW, JP, RD), pp. 176–185.
GPCEGPCE-2015-RingertRW #behaviour #code generation #tool support
Composing code generators for C&C ADLs with Application-specific behavior languages (tool demonstration) (JOR, BR, AW), pp. 113–116.
SACSAC-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.
SACSAC-2015-FonooniH #behaviour #on the #visual notation
On the similarities between control based and behavior based visual servoing (BF, TH), pp. 320–326.
SACSAC-2015-JoshiSIY #architecture #behaviour #design #embedded #functional #modelling
Mapping functional behavior onto architectural model in a model driven embedded system design (PJ, SKS, JPT, HY), pp. 1624–1630.
SACSAC-2015-PaivaBSIJ #behaviour #learning #recommendation #student
Improving pedagogical recommendations by classifying students according to their interactional behavior in a gamified learning environment (ROAP, IIB, APdS, SI, PAJ), pp. 233–238.
SACSAC-2015-RajtmajerGMS #behaviour #game studies #network #online #social
An evolutionary game model for the spread of non-cooperative behavior in online social networks (SMR, CG, DM, ACS), pp. 1154–1159.
SACSAC-2015-RodriguesBM #approach #behaviour #clustering #correlation #energy #using
Using fractal clustering to explore behavioral correlation: a new approach to reduce energy consumption in WSN (FR, AB, JEBM), pp. 589–591.
SACSAC-2015-TambeN #behaviour #game studies #modelling #resource management #robust #security
Robust resource allocation in security games and ensemble modeling of adversary behavior (AT, TN), pp. 277–282.
SACSAC-2015-VilelaCPSCL #behaviour #modelling
Deriving the behavior of context-sensitive systems from contextual goal models (JV, JBdC, JP, MS, PC, ML), pp. 1397–1400.
ESEC-FSEESEC-FSE-2015-BusanyM #analysis #behaviour #statistics
Behavioral log analysis with statistical guarantees (NB, SM), pp. 898–901.
ICSEICSE-v1-2015-YangXALXE #behaviour #mobile #named #using
AppContext: Differentiating Malicious and Benign Mobile App Behaviors Using Context (WY, XX, BA, SL, TX, WE), pp. 303–313.
ICSEICSE-v2-2015-BaoLXWZ #behaviour #developer #interactive #modelling #named #using #video
scvRipper: Video Scraping Tool for Modeling Developers’ Behavior Using Interaction Data (LB, JL, ZX, XW, BZ), pp. 673–676.
ICSEICSE-v2-2015-RajanNL0 #behaviour #repository #scalability #specification
Inferring Behavioral Specifications from Large-scale Repositories by Leveraging Collective Intelligence (HR, TNN, GTL, RD), pp. 579–582.
ICSEICSE-v2-2015-Salgado #behaviour #cpu #gpu #interactive #kernel #profiling
Profiling Kernels Behavior to Improve CPU / GPU Interactions (RS), pp. 754–756.
SPLCSPLC-2015-RumpeSWRM #behaviour #evolution #maintenance #modelling #product line
Behavioral compatibility of simulink models for product line maintenance and evolution (BR, CS, MvW, JOR, PM), pp. 141–150.
HPCAHPCA-2015-AroraMPJT #behaviour #benchmark #comprehension #cpu #gpu #metric #power management
Understanding idle behavior and power gating mechanisms in the context of modern benchmarks on CPU-GPU Integrated systems (MA, SM, IP, NJ, DMT), pp. 366–377.
HPDCHPDC-2015-LuuWGRCHPBY #behaviour #multi
A Multiplatform Study of I/O Behavior on Petascale Supercomputers (HL, MW, WG, RBR, PHC, KH, P, SB, YY), pp. 33–44.
HPDCHPDC-2015-YangC #behaviour #benchmark #comprehension #graph #metric #robust
Understanding Graph Computation Behavior to Enable Robust Benchmarking (FY, AAC), pp. 173–178.
ISMMISMM-2015-LinWBHN #behaviour #comprehension
Stop and go: understanding yieldpoint behavior (YL, KW, SMB, ALH, MN), pp. 70–80.
ISSTAISSTA-2015-XueWLXSC #behaviour #classification #detection #javascript #modelling
Detection and classification of malicious JavaScript via attack behavior modelling (YX, JW, YL, HX, JS, MC), pp. 48–59.
TAPTAP-2015-AichernigNT #behaviour #generative #incremental #modelling #scalability #testing
Scalable Incremental Test-case Generation from Large Behavior Models (BKA, DN, ST), pp. 1–18.
ASEASE-2014-AhmedNWS #behaviour #formal method #integration
Formalisation of the integration of behavior trees (KA, MAHN, LW, AS), pp. 779–784.
ASEASE-2014-OhmannHFHPBB #behaviour #model inference #resource management
Behavioral resource-aware model inference (TO, MH, SF, AH, MP, IB, YB), pp. 19–30.
CASECASE-2014-ChangYLC #behaviour #mining #towards #video
Toward mining anomalous behavior from big moving trajectories in surveillance video (CWC, MHY, CCL, KTC), pp. 1121–1126.
CASECASE-2014-ChenGGLCL #analysis #approach #behaviour #scheduling
A residential load scheduling approach based on load behavior analysis (SC, FG, XG, TL, YC, YL), pp. 954–959.
CASECASE-2014-HungCYDYW #behaviour #data mining #mining
Data mining for analysing kiosk usage behavior patterns (YSH, KLBC, CTY, GFD, YHY, NCW), pp. 1115–1120.
CASECASE-2014-NodaMNKOI #behaviour #maintenance #online #predict
Online maintaining behavior of high-load and unstable postures based on whole-body load balancing strategy with thermal prediction (SN, MM, SN, YK, KO, MI), pp. 1166–1171.
CASECASE-2014-WangGWG #analysis #behaviour #generative #multi
Analysis of multi-location PEV charging behaviors based on trip chain generation (DW, XG, JW, JG), pp. 151–156.
DACDAC-2014-YangHCLRX #behaviour #certification #framework #scalability #synthesis
Scalable Certification Framework for Behavioral Synthesis Front-End (ZY, KH, KC, LL, SR, FX), p. 6.
DATEDATE-2014-HaoRX #behaviour #equivalence #pipes and filters #synthesis
Equivalence checking for function pipelining in behavioral synthesis (KH, SR, FX), pp. 1–6.
DATEDATE-2014-NepalLBR #approximate #automation #behaviour #named #synthesis
ABACUS: A technique for automated behavioral synthesis of approximate computing circuits (KN, YL, RIB, SR), pp. 1–6.
HTHT-2014-KumarHL #approach #behaviour #identification #twitter
A behavior analytics approach to identifying tweets from crisis regions (SK, XH, HL), pp. 255–260.
HTHT-2014-LehmannMLLK #behaviour #wiki
Reader preferences and behavior on Wikipedia (JL, CMB, DL, ML, AK), pp. 88–97.
SIGMODSIGMOD-2014-LiuWZZK #behaviour #modelling #named #scalability #social
HYDRA: large-scale social identity linkage via heterogeneous behavior modeling (SL, SW, FZ, JZ, RK), pp. 51–62.
SIGMODSIGMOD-2014-YinCCHH #behaviour #modelling #social #social media
A temporal context-aware model for user behavior modeling in social media systems (HY, BC, LC, ZH, ZH), pp. 1543–1554.
VLDBVLDB-2015-ZhangWWY14 #behaviour #predict #social
Inferring Continuous Dynamic Social Influence and Personal Preference for Temporal Behavior Prediction (JZ, CW, JW, JXY), pp. 269–280.
ITiCSEITiCSE-2014-SchmolitzkyG
Guess my object: an “objects first” game on objects’ behavior and implementation with bluej (AS, TG), pp. 219–224.
SANERCSMR-WCRE-2014-XiaFLCW #behaviour #learning #multi #towards
Towards more accurate multi-label software behavior learning (XX, YF, DL, ZC, XW), pp. 134–143.
ICPCICPC-2014-NoughiMMC #behaviour #comprehension #database #source code
Understanding the database manipulation behavior of programs (NN, MM, LM, AC), pp. 64–67.
ICSMEICSME-2014-CachoBAPGCSCFG #behaviour #c# #case study #exception #how #java
How Does Exception Handling Behavior Evolve? An Exploratory Study in Java and C# Applications (NC, EAB, JA, FP, AFG, TC, ES, AC, TF, IG), pp. 31–40.
ICSMEICSME-2014-KhanIA #approach #behaviour #heuristic #state machine #uml
A Heuristic-Based Approach to Refactor Crosscutting Behaviors in UML State Machines (MUK, MZI, SA), pp. 557–560.
AFLAFL-2014-BerglundDM #backtracking #behaviour #regular expression
Analyzing Catastrophic Backtracking Behavior in Practical Regular Expression Matching (MB, FD, BvdM), pp. 109–123.
IFMIFM-2014-MellerGY #behaviour #uml #verification
Verifying Behavioral UML Systems via CEGAR (YM, OG, KY), pp. 139–154.
ICFPICFP-2014-Findler #behaviour #contract
Behavioral software contracts (RBF), pp. 137–138.
CHICHI-2014-AthukoralaLKJOTJ #behaviour #how #mobile
How carat affects user behavior: implications for mobile battery awareness applications (KA, EL, MvK, AJ, AJO, ST, GJ), pp. 1029–1038.
CHICHI-2014-BrumbyCCF #behaviour #how #question #visual notation #what
How does knowing what you are looking for change visual search behavior? (DPB, ALC, JC, BF), pp. 3895–3898.
CHICHI-2014-HongMD #behaviour #framework
A smartphone-based sensing platform to model aggressive driving behaviors (JHH, BM, AKD), pp. 4047–4056.
CHICHI-2014-HydeKHC #behaviour #elicitation #people #video
Conversing with children: cartoon and video people elicit similar conversational behaviors (JH, SBK, JKH, EJC), pp. 1787–1796.
CHICHI-2014-KobsaKL #behaviour #personalisation #privacy
Let’s do it at my place instead?: attitudinal and behavioral study of privacy in client-side personalization (AK, BPK, BL), pp. 81–90.
CHICHI-2014-ReitbergerSF #behaviour #named
Nutriflect: reflecting collective shopping behavior and nutrition (WR, WS, GF), pp. 3309–3318.
CHICHI-2014-SchildLM #3d #behaviour #design #game studies #using #video
Altering gameplay behavior using stereoscopic 3D vision-based video game design (JS, JJLJ, MM), pp. 207–216.
CHICHI-2014-TanNTNTEW #behaviour #developer #smarttech
The effect of developer-specified explanations for permission requests on smartphone user behavior (JT, KN, MT, HNA, CT, SE, DW), pp. 91–100.
CSCWCSCW-2014-MejovaGWD #behaviour #comprehension #email
Giving is caring: understanding donation behavior through email (YM, VRKG, IW, MCD), pp. 1297–1307.
HCIDHM-2014-LiuTZSLSF #assessment #behaviour #framework #modelling #named #performance
COMPAss: A Space Cognitive Behavior Modeling and Performance Assessment Platform (YL, ZT, YZ, QS, JL, JS, FF), pp. 630–636.
HCIDHM-2014-YamadaOFYGKH #behaviour #music #performance #visual notation
Visual Behavior in a Japanese Drum Performance of Gion Festival Music (KY, MO, TF, HY, AG, NK, HH), pp. 301–310.
HCIDUXU-DI-2014-Marcus #behaviour #mobile
The Happiness Machine: Mobile Behavior Change (AM), pp. 258–268.
HCIDUXU-DP-2014-MiddenH #behaviour #energy #feedback #power of
The Power of Negative Feedback from an Artificial Agent to Promote Energy Saving Behavior (CJHM, JRCH), pp. 328–338.
HCIDUXU-ELAS-2014-Abbas #behaviour #case study #challenge #implementation
Challenges in Implementation of TVM (Ticket Vending Machine) in Developing Countries for Mass Transport System: A Study of Human Behavior while Interacting with Ticket Vending Machine-TVM (MA), pp. 245–254.
HCIDUXU-ELAS-2014-DesouzartFMM #behaviour #interactive
Human-Bed Interaction: A Methodology and Tool to Measure Postural Behavior during Sleep of the Air Force Military (GD, EF, FM, RM), pp. 662–674.
HCIDUXU-ELAS-2014-FloraB #behaviour #energy #feedback #graph
Energy Graph Feedback: Attention, Cognition and Behavior Intentions (JAF, BB), pp. 520–529.
HCIDUXU-TMT-2014-CoventryBJM #behaviour #named #security
SCENE: A Structured Means for Creating and Evaluating Behavioral Nudges in a Cyber Security Environment (LMC, PB, DJ, APAvM), pp. 229–239.
HCIDUXU-TMT-2014-DoneyEF #behaviour #framework
Keeping Creative Writing on Track: Co-designing a Framework to Support Behavior Change (PD, RE, MF), pp. 631–642.
HCIHCI-AIMT-2014-SantosCMJ #behaviour #case study #interactive
Behavioral Persona for Human-Robot Interaction: A Study Based on Pet Robot (TFdS, DGdC, AAM, PTAJ), pp. 687–696.
HCIHCI-TMT-2014-CafezeiroGCM #behaviour #collaboration #interactive #roadmap
A Knowledge-Construction Perspective on Human Computing, Collaborative Behavior and New Trends in System Interactions (IC, CG, VC, IdCM), pp. 58–68.
HCIHIMI-AS-2014-KometaniTFA #behaviour #education #estimation #student
An Improved Teaching Behavior Estimation Model from Student Evaluations (YK, TT, TF, TA), pp. 59–68.
HCIHIMI-AS-2014-MatsuiHKA #behaviour #case study #education #learning
A Study on Exploration of Relationships between Behaviors and Mental States of Learners for Value Co-creative Education and Learning Environment (TM, YH, KK, TA), pp. 69–79.
HCILCT-NLE-2014-MoissaCG #adaptation #behaviour #student #visualisation #web
A Web Analytics and Visualization Tool to Understand Students’ Behavior in an Adaptive E-Learning System (BM, LSdC, IG), pp. 312–321.
HCISCSM-2014-BenteDRA #behaviour #physics
Emotional Contagion with Artificial Others. Effects of Culture, Physical Appearance, and Nonverbal Behavior on the Perception of Positive/Negative Affect in Avatars (GB, TD, DR, AAI), pp. 411–420.
HCISCSM-2014-Biocca #behaviour
Connected to My Avatar: — Effects of Avatar Embodiments on User Cognitions, Behaviors, and Self Construal (FB), pp. 421–429.
HILTHILT-2014-AhmadLBZD #behaviour #cyber-physical #hybrid #interactive #modelling
Hybrid annex: an AADL extension for continuous behavior and cyber-physical interaction modeling (EA, BRL, SCB, NZ, YD), pp. 29–38.
ICEISICEIS-v1-2014-CruzRFC #behaviour #implementation
Norm-based Behavior Modification in Reflex Agents — An Implementation in JAMDER 2.0 (FISC, RMRJ, ESSF, MIC), pp. 497–504.
ICEISICEIS-v1-2014-KaddesASBAB #behaviour #transaction
Behavioral Study of Nested Transaction Success Ratio (MK, LA, BS, AB, MA, RB), pp. 179–186.
ICEISICEIS-v3-2014-KubovyAK #behaviour #composition #control flow
Behavior-based Decomposition of BPMN 2.0 Control Flow (JK, DA, JK), pp. 263–271.
CIKMCIKM-2014-ArguelloC #behaviour #rank
The Effects of Vertical Rank and Border on Aggregated Search Coherence and Search Behavior (JA, RGC), pp. 539–548.
CIKMCIKM-2014-Deolalikar14a #behaviour #clustering #modelling #parametricity #retrieval
Parameter Tuning with User Models: Influencing Aggregate User Behavior in Cluster Based Retrieval Systems (VD), pp. 1823–1826.
CIKMCIKM-2014-FangZTSFSDZL #behaviour #game studies #modelling #network #social
Modeling Paying Behavior in Game Social Networks (ZF, XZ, JT, WS, ACMF, LS, YD, LZ, JL), pp. 411–420.
CIKMCIKM-2014-WenR #behaviour #identification #mining #online
Identifying Latent Study Habits by Mining Learner Behavior Patterns in Massive Open Online Courses (MW, CPR), pp. 1983–1986.
ECIRECIR-2014-YounusOP #approach #behaviour #microblog #modelling #personalisation
A Language Modeling Approach to Personalized Search Based on Users’ Microblog Behavior (AY, CO, GP), pp. 727–732.
ICMLICML-c2-2014-WuCLY #behaviour #consistency #learning #network #predict #social
Learning the Consistent Behavior of Common Users for Target Node Prediction across Social Networks (SHW, HHC, KHL, PSY), pp. 298–306.
ICPRICPR-2014-AlemdarKNME #behaviour #modelling #using
A Unified Model for Human Behavior Modeling Using a Hierarchy with a Variable Number of States (HÖA, TvK, MEN, AM, CE), pp. 3804–3809.
ICPRICPR-2014-ChironGM #behaviour #parametricity #using
Discovering Emergent Behaviors from Tracks Using Hierarchical Non-parametric Bayesian Methods (GC, PGK, MM), pp. 2185–2190.
ICPRICPR-2014-SengerSMK #behaviour #multi #segmentation
Velocity-Based Multiple Change-Point Inference for Unsupervised Segmentation of Human Movement Behavior (LS, MS, JHM, EAK), pp. 4564–4569.
ICPRICPR-2014-YamadaM #approach #behaviour #using
Estimating Driver Awareness of Crossing Pedestrians While Turning Left Based on Vehicle Behavior Using Bayesian Approach (KY, TM), pp. 1898–1903.
KDDKDD-2014-JiangCBFY #behaviour #graph #named #scalability
CatchSync: catching synchronized behavior in large directed graphs (MJ, PC, AB, CF, SY), pp. 941–950.
KDDKDD-2014-JiangCWXZY #analysis #behaviour #flexibility #multi #named
FEMA: flexible evolutionary multi-faceted analysis for dynamic behavioral pattern discovery (MJ, PC, FW, XX, WZ, SY), pp. 1186–1195.
KDDKDD-2014-SongZSS #behaviour #predict #scalability
Prediction of human emergency behavior and their mobility following large-scale disaster (XS, QZ, YS, RS), pp. 5–14.
KDDKDD-2014-SunSTLKTY #behaviour #collaboration #network
Analyzing expert behaviors in collaborative networks (HS, MS, ST, YL, LMK, ST, XY), pp. 1486–1495.
KDDKDD-2014-XuL #behaviour #learning #problem
Product selection problem: improve market share by learning consumer behavior (SX, JCSL), pp. 851–860.
RecSysRecSys-2014-KluverK #behaviour #recommendation
Evaluating recommender behavior for new users (DK, JAK), pp. 121–128.
SEKESEKE-2014-JaliGH #behaviour #case study #generative #ontology
Behavioral Model Generation from Use Cases Based on Ontology Mapping and GRASP Patterns (NJ, DG, PH), pp. 324–329.
SEKESEKE-2014-NetoASFM #architecture #behaviour #data transformation #framework #modelling #named #using
CoMoVi: a Framework for Data Transformation in Credit Behavioral Scoring Applications Using Model Driven Architecture (RFON, PJLA, ACS, DRdCF, GRM), pp. 286–291.
SIGIRSIGIR-2014-ArapakisBC #behaviour #latency #web
Impact of response latency on user behavior in web search (IA, XB, BBC), pp. 103–112.
SIGIRSIGIR-2014-ChengYWL #behaviour #multi #recommendation
Group latent factor model for recommendation with multiple user behaviors (JC, TY, JW, HL), pp. 995–998.
SIGIRSIGIR-2014-JiangHA #behaviour
Searching, browsing, and clicking in a search session: changes in user behavior by task and over time (JJ, DH, JA), pp. 607–616.
SIGIRSIGIR-2014-JiangKCC #behaviour #learning #query
Learning user reformulation behavior for query auto-completion (JYJ, YYK, PYC, PJC), pp. 445–454.
SIGIRSIGIR-2014-LeeTC #behaviour #multi #risk management
Characterizing multi-click search behavior and the risks and opportunities of changing results during use (CJL, JT, SdlC), pp. 515–524.
SIGIRSIGIR-2014-WuKS #behaviour #online #using
Using information scent and need for cognition to understand online search behavior (WCW, DK, AS), pp. 557–566.
MODELSMoDELS-2014-LangerMK #behaviour #difference #semantics #specification
Semantic Model Differencing Utilizing Behavioral Semantics Specifications (PL, TM, GK), pp. 116–132.
MODELSMoDELS-2014-Pazzi #behaviour #composition #modelling
Modeling Systemic Behavior by State-Based Holonic Modular Units (LP), pp. 99–115.
MODELSMoDELS-2014-LangerMK #behaviour #difference #semantics #specification
Semantic Model Differencing Utilizing Behavioral Semantics Specifications (PL, TM, GK), pp. 116–132.
MODELSMoDELS-2014-Pazzi #behaviour #composition #modelling
Modeling Systemic Behavior by State-Based Holonic Modular Units (LP), pp. 99–115.
ECOOPECOOP-2014-WeiR #analysis #behaviour #javascript #points-to
State-Sensitive Points-to Analysis for the Dynamic Behavior of JavaScript Objects (SW, BGR), pp. 1–26.
OOPSLAOOPSLA-2014-PintoCL #behaviour #comprehension #concurrent #energy #thread
Understanding energy behaviors of thread management constructs (GP, FC, YDL), pp. 345–360.
GPCEGPCE-2014-MalakutiA #behaviour #composition #representation
Emergent gummy modules: modular representation of emergent behavior (SM, MA), pp. 15–24.
SACSAC-2014-ChangCHKL #analysis #behaviour #mobile
Application behavior analysis in resource consumption for mobile devices (SWC, SWC, PCH, TWK, CWL), pp. 1469–1474.
SACSAC-2014-Chen #analysis #behaviour #coordination #energy #research #scheduling #student
Student research abstract: demand behavior analysis and coordination scheduling for energy saving in smart building (SC), pp. 569–570.
SACSAC-2014-JeongLCHP #android #approach #behaviour #kernel #monitoring
A kernel-based monitoring approach for analyzing malicious behavior on Android (YJ, HtL, SC, SH, MP), pp. 1737–1738.
SACSAC-2014-MaWX #behaviour #commit #developer #empirical #open source
Dynamics of open-source software developer’s commit behavior: an empirical investigation of subversion (YM, YW, YX), pp. 1171–1173.
SACSAC-2014-SaraivaS #behaviour #how
Choosing my partners based on how they will evaluate my behavior (ECdRCS, VTdS), pp. 781–783.
ICSEICSE-2014-BeschastnikhBEK #behaviour #concurrent #modelling
Inferring models of concurrent systems from logs of their behavior with CSight (IB, YB, MDE, AK), pp. 468–479.
ICSEICSE-2014-GhezziPST #behaviour #mining #modelling #web
Mining behavior models from user-intensive web applications (CG, MP, MS, GT), pp. 277–287.
ICSEICSE-2014-GorlaTGZ #behaviour
Checking app behavior against app descriptions (AG, IT, FG, AZ), pp. 1025–1035.
ICSEICSE-2014-HuangZTWL #android #behaviour #detection #named #user interface
AsDroid: detecting stealthy behaviors in Android applications by user interface and program behavior contradiction (JH, XZ, LT, PW, BL), pp. 1036–1046.
ICSEICSE-2014-LeeJP #behaviour #detection #machine learning #memory management #modelling #using
Detecting memory leaks through introspective dynamic behavior modelling using machine learning (SL, CJ, SP), pp. 814–824.
SPLCSPLC-2014-Tribastone #algebra #behaviour #process
Behavioral relations in a process algebra for variants (MT), pp. 82–91.
HPCAHPCA-2014-AwadS #behaviour #memory management #named
STM: Cloning the spatial and temporal memory access behavior (AA, YS), pp. 237–247.
TAPTAP-2014-HilkenNGW #behaviour #comparison #modelling #ocl #uml #verification
Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models (FH, PN, MG, RW), pp. 99–116.
ECSAECSA-2013-MorandiWNG #behaviour #concurrent #design pattern #development #object-oriented
Concurrent Object-Oriented Development with Behavioral Design Patterns (BM, SW, SN, HG), pp. 25–32.
ASEASE-2013-ChandramohanTBSP #approach #behaviour #bound #detection #modelling #scalability
A scalable approach for malware detection through bounded feature space behavior modeling (MC, HBKT, LCB, LKS, BMP), pp. 312–322.
ASEASE-2013-Fard #behaviour #detection #distributed #independence #using
Detecting and fixing emergent behaviors in Distributed Software Systems using a message content independent method (FHF), pp. 746–749.
CASECASE-2013-BengtssonL #algorithm #behaviour #identification #modelling #using #visualisation
Operation behavior modeling using relation identification and visualization algorithms (KB, BL), pp. 368–373.
CASECASE-2013-DingHMS #behaviour #collaboration #industrial
Structured collaborative behavior of industrial robots in mixed human-robot environments (HD, JH, BM, HS), pp. 1101–1106.
CASECASE-2013-RoyZR #behaviour #framework #representation
The information framework for material behavior representation (UR, BZ, DJR), pp. 380–385.
DACDAC-2013-Miskov-ZivanovMF #analysis #automation #behaviour #design #network
Dynamic behavior of cell signaling networks: model design and analysis automation (NMZ, DM, JRF), p. 6.
DACDAC-2013-YangRHX #behaviour #design #equivalence #implementation #optimisation #synthesis
Handling design and implementation optimizations in equivalence checking for behavioral synthesis (ZY, SR, KH, FX), p. 6.
HTHT-2013-NasimIRN #behaviour #facebook #on the
On commenting behavior of Facebook users (MN, MUI, AR, NN), pp. 179–183.
HTHT-2013-WeiHGLZW #analysis #behaviour #case study #twitter
Mainstream media behavior analysis on Twitter: a case study on UK general election (ZW, YH, WG, BL, LZ, KFW), pp. 174–178.
SIGMODSIGMOD-2013-ElmoreDPAAY #behaviour #multitenancy
Characterizing tenant behavior for placement and crisis mitigation in multitenant DBMSs (AJE, SD, AP, DA, AEA, XY), pp. 517–528.
ESOPESOP-2013-CairesPPT #behaviour #communication #morphism #parametricity #polymorphism
Behavioral Polymorphism and Parametricity in Session-Based Communication (LC, JAP, FP, BT), pp. 330–349.
FASEFASE-2013-BouchouchaSL #behaviour #comprehension #modelling #probability #towards #using
Towards Understanding the Behavior of Classes Using Probabilistic Models of Program Inputs (AB, HAS, PL), pp. 99–113.
FASEFASE-2013-LinPEHR #analysis #behaviour #requirements #sequence #specification #string
Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification (LL, JHP, RE, RMH, CRM), pp. 179–193.
FASEFASE-2013-ZhongTX #api #behaviour #difference
Exposing Behavioral Differences in Cross-Language API Mapping Relations (HZ, ST, TX), pp. 130–145.
ICSMEICSM-2013-RoehmBHP #behaviour #identification #specification #towards
Towards Identification of Software Improvements and Specification Updates by Comparing Monitored and Specified End-User Behavior (TR, BB, TMH, BP), pp. 464–467.
MSRMSR-2013-FuLLDZX #analysis #behaviour #comprehension
Contextual analysis of program logs for understanding system behaviors (QF, JGL, QL, RD, DZ, TX), pp. 397–400.
IFMIFM-2013-Prehofer #behaviour #diagrams #refinement #specification
Assume-Guarantee Specifications of State Transition Diagrams for Behavioral Refinement (CP), pp. 31–45.
SEFMSEFM-2013-SuryadevaraSMP #behaviour #using #verification
Verifying MARTE/CCSL Mode Behaviors Using UPPAAL (JS, CCS, FM, PP), pp. 1–15.
GT-VMTGT-VMT-2013-Giese #behaviour #graph transformation #probability
Invited Talk: Extensions of Graph Transformation Systems for Timed, Continuous, and Probabilistic Behavior (HG).
GT-VMTGT-VMT-2013-TeusnerGRK #behaviour #interactive #modelling #validation
Interactive Strategy-Based Validation of Behavioral Models (RT, GG, SR, SK).
GT-VMTGT-VMT-2013-WinetzhammerW #behaviour #emf #modelling #rule-based
ModGraph meets Xcore: Combining Rule-Based and Procedural Behavioral Modeling for EMF (SW, BW).
CHICHI-2013-BentleyT #behaviour #mobile #power of
The power of mobile notifications to increase wellbeing logging behavior (FB, KT), pp. 1095–1098.
CHICHI-2013-BeyerKSHB #behaviour #how
Squaring the circle: how framing influences user behavior around a seamless cylindrical display (GB, FK, MS, IH, AB), pp. 1729–1738.
CHICHI-2013-BirnbaumBFDK #behaviour #identification #using
Using behavioral data to identify interviewer fabrication in surveys (BEB, GB, ADF, BD, ARK), pp. 2911–2920.
CHICHI-2013-ChoudhuryCH #behaviour #predict #social #social media
Predicting postpartum changes in emotion and behavior via social media (MDC, SC, EH), pp. 3267–3276.
CHICHI-2013-DeckersWLA #behaviour #design
Designing for perceptual crossing: designing and comparing three behaviors (ED, SW, PL, RA), pp. 1901–1910.
CHICHI-2013-HeklerKFB #behaviour #human-computer #research #using
Mind the theoretical gap: interpreting, using, and developing behavioral theory in HCI research (EBH, PVK, JF, MPB), pp. 3307–3316.
CHICHI-2013-IchinoIHU #behaviour
Effects of the display angle in museums on user’s cognition, behavior, and subjective responses (JI, KI, AH, TU), pp. 2979–2988.
CHICHI-2013-KramerKKWB #behaviour #developer #how #ide #navigation #tool support
How tools in IDEs shape developers’ navigation behavior (JPK, TK, JK, MW, JOB), pp. 3073–3082.
CHICHI-2013-MacveanR #behaviour #comprehension #game studies #motivation #physics #process
Understanding exergame users’ physical activity, motivation and behavior over time (APM, JR), pp. 1251–1260.
CHICHI-2013-MollerKSRD #behaviour #self
Investigating self-reporting behavior in long-term studies (AM, MK, BS, LR, SD), pp. 2931–2940.
CHICHI-2013-RiceTOYWN #behaviour #game studies #interactive
The dynamics of younger and older adult’s paired behavior when playing an interactive silhouette game (MDR, WPT, JO, LJY, MW, JN), pp. 1081–1090.
CHICHI-2013-TanenbaumAR #behaviour #game studies
Three perspectives on behavior change for serious games (JT, ANA, JR), pp. 3389–3392.
CSCWCSCW-2013-ChoudhuryCH #behaviour #social #social media
Major life changes and behavioral markers in social media: case of childbirth (MDC, SC, EH), pp. 1431–1442.
CSCWCSCW-2013-LiuJ #behaviour #social
Factors influencing the response rate in social question and answering behavior (ZL, BJJ), pp. 1263–1274.
CSCWCSCW-2013-Massimi #behaviour #online #social
Exploring remembrance and social support behavior in an online bereavement support group (MM), pp. 1169–1180.
CSCWCSCW-2013-ReineckeNBNG #behaviour #difference #online #scheduling
Doodle around the world: online scheduling behavior reflects cultural differences in time perception and group decision-making (KR, MKN, AB, MN, KZG), pp. 45–54.
CSCWCSCW-2013-XuHKC #behaviour #twitter
Structures of broken ties: exploring unfollow behavior on twitter (BX, YH, HK, NSC), pp. 871–876.
HCIDHM-HB-2013-NettenDG #behaviour #case study #metric
Chair Based Measurements of Sitting Behavior a Field Study of Sitting Postures and Sitting Time in Office Work (MPN, LHMvdD, RHMG), pp. 261–268.
HCIDHM-HB-2013-WangTLCTL #architecture #behaviour #modelling
Cognitive Behavior Modeling of Manual Rendezvous and Docking Based on the ACT-R Cognitive Architecture (CW, YT, YL, SC, ZT, JL), pp. 143–148.
HCIDHM-SET-2013-BiegBC #behaviour #bias
Attentional Biases during Steering Behavior (HJB, HHB, LLC), pp. 21–27.
HCIDHM-SET-2013-BusogiKSRYK #behaviour #problem
Bayesian Affordance-Based Agent Model for Wayfinding Behaviors in Evacuation Problems (MB, NK, DS, HBR, AY, DK), pp. 297–306.
HCIDHM-SET-2013-KongZC #behaviour #predict #risk management
Personality and Attitudes as Predictors of Risky Driving Behavior: Evidence from Beijing Drivers (JK, KZ, XC), pp. 38–44.
HCIDHM-SET-2013-LiuZLSFG #behaviour #modelling #towards
Towards Early Status Warning for Driver’s Fatigue Based on Cognitive Behavior Models (YL, YZ, JL, JS, FF, JG), pp. 55–60.
HCIDHM-SET-2013-LiuZX #behaviour #simulation
Effects of Sleep Deprivation on Pilot’s Cognitive Behavior in Flight Simulation (ZQL, QXZ, FX), pp. 45–54.
HCIDHM-SET-2013-MurataKEH #behaviour #metric #predict #using
Prediction of Drowsy Driving Using Behavioral Measures of Drivers — Change of Neck Bending Angle and Sitting Pressure Distribution (AM, TK, TE, TH), pp. 78–87.
HCIDUXU-CXC-2013-MenardKD #behaviour #image #online
Two Solitudes Revisited: A Cross-Cultural Exploration of Online Image Searcher’s Behaviors (EM, NK, JD), pp. 79–88.
HCIDUXU-CXC-2013-Stevens #behaviour #gamification #how #social
How Gamification and Behavior Science Can Drive Social Change One Employee at a Time (SHS), pp. 597–601.
HCIDUXU-CXC-2013-ThinG #behaviour #case study #experience #game studies #integration #interactive
Game-Based Interactive Media in Behavioral Medicine: Creating Serious Affective-Cognitive-Environmental-Social Integration Experiences (AGT, MG), pp. 470–479.
HCIDUXU-NTE-2013-DuarteRTVTN #behaviour
Sense of Presence in a VR-Based Study on Behavioral Compliance with Warnings (ED, FR, LT, EV, JT, PN), pp. 362–371.
HCIDUXU-NTE-2013-FabriWT #behaviour #product line
Changing Eating Behaviors through a Cooking-Based Website for the Whole Family (MF, AW, PT), pp. 484–493.
HCIDUXU-NTE-2013-KakaraNM #behaviour #database #design #geometry #interactive #using
Interaction Design Using a Child Behavior-Geometry Database (HK, YN, HM), pp. 95–104.
HCIDUXU-NTE-2013-MartinsMSA #behaviour #fault
Human Error in Aviation: The Behavior of Pilots Facing the Modern Technology (ITM, ETM, MMS, LGdSA), pp. 150–159.
HCIDUXU-NTE-2013-SannaVBBR #approach #behaviour #design
Engineering AwarenessTM: An e-Service Design Approach for Behavioral Change in Healthcare and Well-Being (AS, SV, SB, IB, AR), pp. 558–567.
HCIDUXU-NTE-2013-TrevorrowF #behaviour
Running to Behavior Change (PT, MF), pp. 585–593.
HCIDUXU-NTE-2013-ViciniBRS #behaviour
Well-Being on the Go: An IoT Vending Machine Service for the Promotion of Healthy Behaviors and Lifestyles (SV, SB, AR, AS), pp. 594–603.
HCIDUXU-PMT-2013-LuL13a #behaviour #design
Innovative Behavioral Intention and Creativity Achievement in Design: Test of an Integrated Model (CCL, DBL), pp. 535–544.
HCIDUXU-PMT-2013-Silveira #approach #behaviour #design #usability
Participatory Design and Usability: A Behavioral Approach of Workers’ Attitudes in the Work Environment (DMCdS), pp. 409–416.
HCIDUXU-WM-2013-MarcusCNY #behaviour #design #mobile #persuasion #user interface
The Innovation Machine: Mobile UX Design Combining Information and Persuasion Design to Change Behavior (AM, MC, CN, AY), pp. 67–76.
HCIHCI-AS-2013-BergmansS #behaviour #mobile #persuasion #using
Reducing Speeding Behavior in Young Drivers Using a Persuasive Mobile Application (AB, SS), pp. 541–550.
HCIHCI-AS-2013-LekkasGTMS #behaviour #component #experience #how #learning #process
Personality and Emotion as Determinants of the Learning Experience: How Affective Behavior Interacts with Various Components of the Learning Process (ZL, PG, NT, CM, GS), pp. 418–427.
HCIHCI-III-2013-Joo #behaviour #reasoning #simulation
Perception and BDI Reasoning Based Agent Model for Human Behavior Simulation in Complex System (JJ), pp. 62–71.
HCIHCI-IMT-2013-LiuBCN #behaviour #visual notation
Behavioral Characteristics of Users with Visual Impairment in Haptically Enhanced Virtual Environments (SL, SB, HC, CSN), pp. 618–625.
HCIHIMI-D-2013-KobayashiYA #analysis #behaviour
Analysis of Purchasing Behavior Focusing on the Passage of Time at a Group Buying Site of Coupon (TK, TY, YA), pp. 449–455.
HCIHIMI-D-2013-LeeY #behaviour #comparison #information management #research
Research on Website Usage Behavior through Information Search Perspective: A Comparison of Experiential and Goal-Directed Behaviors (JL, MY), pp. 456–464.
HCIHIMI-D-2013-SusukiTOM #analysis #behaviour
Cognitive Analysis of Driver’s Behavior with Seamless Display of Back-Monitor and Side-View Mirror (NS, KT, MO, HM), pp. 642–649.
HCIHIMI-HSM-2013-HiraokaTK #behaviour #parametricity
Proposal of Non-dimensional Parameter Indices to Evaluate Safe Driving Behavior (TH, ST, HK), pp. 470–479.
HCIHIMI-HSM-2013-ItohKMYYO #behaviour #comparison
Comparison of Cognitively Impaired, Healthy Non-Professional and Healthy Professional Driver Behavior on a Small and Low-Fidelity Driving Simulator (MI, MK, KM, KY, SY, MO), pp. 490–496.
HCIHIMI-HSM-2013-KarashimaN #behaviour #safety
Influence of the Safety Margin on Behavior that Violates Rules (MK, HN), pp. 497–506.
HCIHIMI-HSM-2013-KosakaN #behaviour #education
Pilot Experiments in Education for Safe Bicycle Riding to Evaluate Actual Cycling Behaviors When Entering an Intersection (HK, MN), pp. 515–523.
HCIHIMI-HSM-2013-SaitoKII #behaviour
Influence of Deceleration Intention Indicating System of Forward Vehicle on Driver Behavior (YS, SK, MI, TI), pp. 548–557.
HCIHIMI-HSM-2013-SuzukiMKY #behaviour
Human Behavior of Prioritizing Right-Turning Vehicles and Traffic Flow at Intersections (HS, YM, TK, YY), pp. 558–567.
HCIOCSC-2013-Abascal-MenaLZ #analysis #behaviour #mining #twitter
User Generated Content: An Analysis of User Behavior by Mining Political Tweets (RAM, ÉLO, JSZH), pp. 3–12.
HCIOCSC-2013-AdnanHAT #analysis #behaviour #eye tracking #network #online #social
Eye Tracking Analysis of User Behavior in Online Social Networks (WAWA, WNHH, NA, JT), pp. 113–119.
HCIOCSC-2013-KalwarHP13b #behaviour #comprehension #internet
Quantifying Cultural Attributes for Understanding Human Behavior on the Internet (SKK, KH, JP), pp. 40–49.
HCIOCSC-2013-LopezFM #behaviour
Being Example: A Different Kind of Leadership, Looking for Exemplary Behaviors (SRL, HMF, ASM), pp. 182–190.
HCIOCSC-2013-StieglitzES #behaviour #education #learning #student
Influence of Monetary and Non-monetary Incentives on Students’ Behavior in Blended Learning Settings in Higher Education (SS, AE, MS), pp. 104–112.
VISSOFTVISSOFT-2013-PalepuJ #behaviour #visualisation
Visualizing constituent behaviors within executions (VKP, JAJ), pp. 1–4.
VISSOFTVISSOFT-2013-ReissT #automation #behaviour #categorisation #visualisation
Automatic categorization and visualization of lock behavior (SPR, AT), pp. 1–10.
HILTHILT-2013-Goodenough #behaviour
Building confidence in system behavior (JBG), pp. 49–50.
CIKMCIKM-2013-LiaoPPL #behaviour #mining #mobile #on the #predict #smarttech
On mining mobile apps usage behavior for predicting apps usage in smartphones (ZXL, YCP, WCP, PRL), pp. 609–618.
ECIRECIR-2013-ChuklinSR #behaviour #using
Using Intent Information to Model User Behavior in Diversified Search (AC, PS, MdR), pp. 1–13.
ICMLICML-c3-2013-AlmingolML #behaviour #learning #multi
Learning Multiple Behaviors from Unlabeled Demonstrations in a Latent Controller Space (JA, LM, ML), pp. 136–144.
KDDKDD-2013-MukherjeeKLWHCG #behaviour #using
Spotting opinion spammers using behavioral footprints (AM, AK, BL, JW, MH, MC, RG), pp. 632–640.
KDDKDD-2013-ZafaraniL #approach #behaviour #social #social media
Connecting users across social media sites: a behavioral-modeling approach (RZ, HL), pp. 41–49.
KDIRKDIR-KMIS-2013-ChenYTH #behaviour #predict
The Disulfide Connectivity Prediction with Support Vector Machine and Behavior Knowledge Space (HYC, CBY, KTT, CYH), pp. 112–118.
KDIRKDIR-KMIS-2013-ItalaH #behaviour #diagrams #process #using
Using Stocks and Flows Diagrams to Understand Business Process Behavior (TI, MH), pp. 552–558.
SEKESEKE-2013-BazharAJ #behaviour #modelling #named #repository
BeMoRe: a Repository for Handling Models Behaviors (YB, YAA, SJ), pp. 262–267.
SEKESEKE-2013-IqbalKH #behaviour #communication #developer #social
Analyzing Social Behavior of Software Developers Across Different Communication Channels (S) (AI, MK, MH), pp. 113–118.
SIGIRSIGIR-2013-AgeevLA #behaviour #summary #using
Improving search result summaries by using searcher behavior data (MA, DL, EA), pp. 13–22.
SIGIRSIGIR-2013-AzzopardiKB #behaviour #how #query
How query cost affects search behavior (LA, DK, KB), pp. 23–32.
SIGIRSIGIR-2013-SavenkovLL #behaviour #detection
Search engine switching detection based on user personal preferences and behavior patterns (DS, DL, QL), pp. 33–42.
SIGIRSIGIR-2013-Wu #behaviour #how #online #predict #using
How far will you go?: characterizing and predicting online search stopping behavior using information scent and need for cognition (WCW), p. 1149.
QAPLQAPL-2013-BernardoNL #behaviour #nondeterminism #probability #process
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes (MB, RDN, ML), pp. 81–96.
POPLPOPL-2013-CairesS #behaviour
The type discipline of behavioral separation (LC, JCS), pp. 275–286.
RERE-2013-KrkaM #behaviour
Distributing refinements of a system-level partial behavior model (IK, NM), pp. 72–81.
SACSAC-2013-GregioFAGMJ #analysis #behaviour #empirical #internet
An empirical analysis of malicious internet banking software behavior (ARAG, DSFF, VMA, PLdG, VFM, MJ), pp. 1830–1835.
SACSAC-2013-NardelliTB #behaviour
Cross-lattice behavior of general ACO folding for proteins in the HP model (MN, LT, AB), pp. 1320–1327.
SACSAC-2013-SchroderN #behaviour #resource management
Inter cloud capable dynamic resource management with model of behavior (KS, WN), pp. 408–410.
SACSAC-2013-UmemotoYNT #behaviour #predict #query
Predicting query reformulation type from user behavior (KU, TY, SN, KT), pp. 894–901.
ESEC-FSEESEC-FSE-2013-SchurRZ #behaviour #enterprise #mining #modelling #web
Mining behavior models from enterprise web applications (MS, AR, AZ), pp. 422–432.
PLEASEPLEASE-2013-FangLED #behaviour #challenge #variability
Challenges in managing behavior variability of production control software (MF, GL, CE, JD), pp. 21–24.
HPCAHPCA-2013-NereHLT #behaviour #biology #semantic gap
Bridging the semantic gap: Emulating biological neuronal behaviors with simple digital neurons (AN, AH, MHL, GT), pp. 472–483.
SOSPSOSP-2013-WangZKS #behaviour #towards
Towards optimization-safe systems: analyzing the impact of undefined behavior (XW, NZ, MFK, ASL), pp. 260–275.
LICSLICS-2013-MogaveroMS #behaviour #bound #on the
On the Boundary of Behavioral Strategies (FM, AM, LS), pp. 263–272.
CASECASE-2012-CunhaBC #behaviour #industrial
Discovery of behavior in industrial plants: A KDD based proposal (MJdC, VLB, GAdPC), pp. 986–991.
CASECASE-2012-ParkM #behaviour #bound #clustering #hybrid #linear #performance #tool support
Performance bounds for hybrid flow lines: Fundamental behavior, practical features and application to linear cluster tools (KP, JRM), pp. 371–376.
DACDAC-2012-HaoRX #behaviour #equivalence #pipes and filters
Equivalence checking for behaviorally synthesized pipelines (KH, SR, FX), pp. 344–349.
DocEngDocEng-2012-SoaresNS #architecture #behaviour #constraints #hypermedia
Architecture for hypermedia dynamic applications with content and behavior constraints (LFGS, CdSSN, JGS), pp. 217–226.
HTHT-2012-CunhaMAGB #behaviour #gender #twitter
A gender based study of tagging behavior in twitter (EC, GM, VA, MAG, FB), pp. 323–324.
HTHT-2012-SchofeggerKSG #behaviour #learning #social
Learning user characteristics from social tagging behavior (KS, CK, PS, MG), pp. 207–212.
VLDBVLDB-2012-KanagalAPJYP #behaviour #learning #recommendation #taxonomy #using
Supercharging Recommender Systems using Taxonomies for Learning User Purchase Behavior (BK, AA, SP, VJ, JY, LGP), pp. 956–967.
ITiCSEITiCSE-2012-BoyceCPCB #behaviour #game studies #learning
Maximizing learning and guiding behavior in free play user generated content environments (AKB, AC, SP, DC, TB), pp. 10–15.
ESOPESOP-2012-DimoulasTF #behaviour #contract #monitoring
Complete Monitors for Behavioral Contracts (CD, STH, MF), pp. 214–233.
CSMRCSMR-2012-MaezawaWH #behaviour #internet
Extracting Interaction-Based Stateful Behavior in Rich Internet Applications (YM, HW, SH), pp. 423–428.
ICSMEICSM-2012-RungtaPB #behaviour #evolution #impact analysis
A change impact analysis to characterize evolving program behaviors (NR, SP, JB), pp. 109–118.
FMFM-2012-GrumbergMY #behaviour #model checking #modelling #uml
Applying Software Model Checking Techniques for Behavioral UML Models (OG, YM, KY), pp. 277–292.
ICGTICGT-2012-GieseL #automation #behaviour #invariant #model transformation #towards #verification
Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking (HG, LL), pp. 249–263.
CHICHI-2012-ArroyoBV #behaviour #embedded #interactive
Embedded interaction in a water fountain for motivating behavior change in public space (EA, LB, NV), pp. 685–688.
CHICHI-2012-BatemanTW #behaviour #comparison #how
The search dashboard: how reflection and comparison impact search behavior (SB, JT, RWW), pp. 1785–1794.
CHICHI-2012-BirnholtzBF #behaviour
Do you see that I see?: effects of perceived visibility on awareness checking behavior (JPB, NB, SRF), pp. 1765–1774.
CHICHI-2012-EvansW #behaviour #metric
Taming wild behavior: the input observer for text entry and mouse pointing measures from everyday computer use (AE, JOW), pp. 1947–1956.
CHICHI-2012-KoppelBMW #behaviour
Chained displays: configurations of public displays can be used to influence actor-, audience-, and passer-by behavior (MTK, GB, JM, RW), pp. 317–326.
CHICHI-2012-LeonUSWBC #behaviour #evaluation #online #tool support #usability #why
Why Johnny can’t opt out: a usability evaluation of tools to limit online behavioral advertising (PGL, BU, RS, YW, RB, LFC), pp. 589–598.
CHICHI-2012-NowakN #behaviour #monitoring #online #recommendation
Effects of behavior monitoring and perceived system benefit in online recommender systems (MN, CN), pp. 2243–2246.
CHICHI-2012-OdomZFCMP #behaviour
Investigating the presence, form and behavior of virtual possessions in the context of a teen bedroom (WO, JZ, JF, HC, SM, AP), pp. 327–336.
CHICHI-2012-RaeTM #behaviour #communication
One of the gang: supporting in-group behavior for embodied mediated communication (IR, LT, BM), pp. 3091–3100.
CSCWCSCW-2012-AntinCN #behaviour #editing
Technology-mediated contributions: editing behaviors among new wikipedians (JA, CC, ON), pp. 373–382.
CSCWCSCW-2012-MillerPXEKCM #behaviour #game studies #health #pervasive #student
The work of play: supporting a pervasive health behavior change intervention for us middle school students (ADM, ESP, YX, EE, DK, RC, EDM), pp. 897–900.
ICEISICEIS-v1-2012-LouatiBDS #behaviour #database #modelling #realtime
Modeling Structural, Temporal and Behavioral Features of a Real-Time Database (NL, RB, CD, BS), pp. 119–125.
ICEISICEIS-v2-2012-LelionnaisBDRS #behaviour #modelling #operating system #realtime
Formal Behavioral Modeling of Real-time Operating Systems (CL, MB, JD, OHR, CS), pp. 407–414.
CIKMCIKM-2012-AhmedADSA #behaviour #feature model #multi
Web-scale multi-task feature selection for behavioral targeting (AA, MA, AD, AJS, TA), pp. 1737–1741.
CIKMCIKM-2012-ArguelloC #behaviour
The effect of aggregated search coherence on search behavior (JA, RC), pp. 1293–1302.
CIKMCIKM-2012-AshkanC #analysis #behaviour #modelling
Modeling browsing behavior for click analysis in sponsored search (AA, CLAC), pp. 2015–2019.
CIKMCIKM-2012-CarteretteKY #behaviour #evaluation #variability
Incorporating variability in user behavior into systems based evaluation (BC, EK, EY), pp. 135–144.
CIKMCIKM-2012-KimFC #behaviour #comprehension #web
Understanding book search behavior on the web (JYK, HAF, MAC), pp. 744–753.
CIKMCIKM-2012-WuJZ #behaviour
Serial position effects of clicking behavior on result pages returned by search engines (MW, SJ, YZ), pp. 2411–2414.
CIKMCIKM-2012-ZhuGCL #behaviour #mining #query #recommendation
More than relevance: high utility query recommendation by mining users’ search behaviors (XZ, JG, XC, YL), pp. 1814–1818.
ICMLICML-2012-SheffetMI #behaviour #predict
Predicting Consumer Behavior in Commerce Search (OS, NM, SI), p. 233.
ICPRICPR-2012-DeyG #behaviour #consistency #topic #twitter
Discovering regular and consistent behavioral patterns in topical tweeting (LD, BG), pp. 3464–3467.
ICPRICPR-2012-MatsuoK #behaviour #monitoring #predict
Prediction of drowsy driving by monitoring driver’s behavior (HM, AK), pp. 3390–3393.
ICPRICPR-2012-MinouraW #behaviour
Driving support by estimating vehicle behavior (KM, TW), pp. 1144–1147.
ICPRICPR-2012-NakamuraIKB #authentication #behaviour #multi #tablet
Tablet owner authentication based on behavioral characteristics of multi-touch actions (KN, YI, KK, NB), pp. 3431–3434.
KDDKDD-2012-SongCWWYD #analysis #behaviour
Coupled behavior analysis for capturing coupling relationships in group-based market manipulations (YS, LC, XW, GW, WY, WD), pp. 976–984.
KDDKDD-2012-ZhongFWXL #adaptation #behaviour #named #network #social
ComSoc: adaptive transfer of user behaviors over composite social network (EZ, WF, JW, LX, YL), pp. 696–704.
KDDKDD-2012-ZhouQM #behaviour #data analysis #social #social media
Social media data analysis for revealing collective behaviors (AZ, WQ, HM), p. 1402.
KDIRKDIR-2012-SantosGSK #behaviour #detection #finite
Finite Belief Fusion Model for Hidden Source Behavior Change Detection (ESJ, QG, EES, JK), pp. 17–24.
KMISKMIS-2012-LiuAACT #behaviour #modelling
Modeling Dynamic Behavior of Business Organisations — Extension of BPM with Norms (KL, MAR, ARA, LC, JT), pp. 196–201.
KMISKMIS-2012-MarsanCE #analysis #behaviour #enterprise #framework #information management #scalability #tool support #using
Factors Influencing the Behavioral Intention of using Enterprise 2.0 Tools as a Knowledge Management Platform — An Analysis of the UTAUT Model in an Large Real Estate Company (BM, LC, EE), pp. 281–284.
MLDMMLDM-2012-HossainC #behaviour #identification
Combination of Physiological and Behavioral Biometric for Human Identification (EH, GC), pp. 380–393.
SEKESEKE-2012-ChenL #approach #behaviour #elicitation #ontology #requirements #security
Eliciting Security Requirements in the Commanded Behavior Frame: An Ontology based Approach (XC, JL), pp. 61–65.
SEKESEKE-2012-CourbisLLPUV #agile #behaviour #development #incremental #specification
A Formal Support for Incremental Behavior Specification In Agile Development (ALC, TL, HVL, TLP, CU, SV), pp. 694–799.
SEKESEKE-2012-MireslamiMF #behaviour #detection #distributed
Detecting Emergent Behavior in Distributed Systems Caused by Overgeneralization (SM, MM, BHF), pp. 70–73.
SIGIRSIGIR-2012-BennettWCDBBC #behaviour #modelling #personalisation
Modeling the impact of short- and long-term behavior on search personalization (PNB, RWW, WC, STD, PB, FB, XC), pp. 185–194.
SIGIRSIGIR-2012-LiuBC #behaviour #interactive #personalisation #using
Personalization of search results using interaction behaviors in search sessions (CL, NJB, MJC), pp. 205–214.
SIGIRSIGIR-2012-TrevisiolCAJ #behaviour #image #ranking
Image ranking based on user browsing behavior (MT, LC, LMA, AJ), pp. 445–454.
SIGIRSIGIR-2012-TsagkiasB #behaviour #modelling
Language intent models for inferring user browsing behavior (MT, RB), pp. 335–344.
SIGIRSIGIR-2012-XuZWY #behaviour #modelling #social #social media
Modeling user posting behavior on social media (ZX, YZ, YW, QY), pp. 545–554.
MODELSMoDELS-2012-HamannHG #behaviour #modelling #ocl #on the
On Integrating Structure and Behavior Modeling with OCL (LH, OH, MG), pp. 235–251.
MODELSMoDELS-2012-HamannHG #behaviour #modelling #ocl #on the
On Integrating Structure and Behavior Modeling with OCL (LH, OH, MG), pp. 235–251.
OOPSLAOOPSLA-2012-TamayoABS #behaviour #comprehension #database
Understanding the behavior of database operations under program control (JMT, AA, NGB, MS), pp. 983–996.
OOPSLAOOPSLA-2012-WuZSJGS #behaviour #correlation #predict
Exploiting inter-sequence correlations for program behavior prediction (BW, ZZ, XS, YJ, YG, RS), pp. 851–866.
TOOLSTOOLS-EUROPE-2012-SoekenWD #behaviour #development #natural language #using
Assisted Behavior Driven Development Using Natural Language Processing (MS, RW, RD), pp. 269–287.
GPCEGPCE-2012-SpacekDTF #behaviour #component #inheritance #programming #reuse
An inheritance system for structural & behavioral reuse in component-based software programming (PS, CD, CT, LF), pp. 60–69.
SACSAC-2012-ArpiniA #behaviour #enterprise #modelling #on the
On the support for the assignment of active structure and behavior in enterprise modeling approaches (RHA, JPAA), pp. 1686–1693.
SACSAC-2012-WangTWWG #algorithm #behaviour #empirical #evaluation #mining #process
An empirical evaluation of process mining algorithms based on structural and behavioral similarities (JW, ST, LW, RKW, QG), pp. 211–213.
FSEFSE-2012-ChandramohanTS #behaviour #clustering #modelling #scalability
Scalable malware clustering through coarse-grained behavior modeling (MC, HBKT, LKS), p. 27.
ICSEICSE-2012-FengC #behaviour #learning #multi
Multi-label software behavior learning (YF, ZC), pp. 1305–1308.
ICSEICSE-2012-GhezziM #behaviour #specification #synthesis #validation
Behavioral validation of JFSL specifications through model synthesis (CG, AM), pp. 936–946.
ICSEICSE-2012-ZhengT #architecture #behaviour #consistency #implementation
Enhancing architecture-implementation conformance with change management and support for behavioral mapping (YZ, RNT), pp. 628–638.
HPCAHPCA-2012-BalakrishnanS #behaviour #named #probability #using
WEST: Cloning data cache behavior using Stochastic Traces (GB, YS), pp. 387–398.
ICSTICST-2012-DiGiuseppeJ #behaviour #clustering #empirical #fault
Software Behavior and Failure Clustering: An Empirical Study of Fault Causality (ND, JAJ), pp. 191–200.
ECSAECSA-2011-HamelGKBG #behaviour #transaction #verification
Verifying Composite Service Transactional Behavior with EVENT-B (LH, MG, MK, MTB, WG), pp. 67–74.
ASEASE-2011-Dwyer #analysis #behaviour #testing
Unifying testing and analysis through behavioral coverage (MBD), p. 2.
ASEASE-2011-RamirezJCK #adaptation #automation #behaviour #how #nondeterminism
Automatically exploring how uncertainty impacts behavior of dynamically adaptive systems (AJR, ACJ, BHCC, DBK), pp. 568–571.
CASECASE-2011-FarautPN #behaviour #equivalence #multi
Equivalence of behaviors between centralized and multi-model approaches (GF, LP, ÉN), pp. 32–38.
DACDAC-2011-BroedersL #behaviour #modelling
Extracting behavior and dynamically generated hierarchy from SystemC models (HB, RvL), pp. 357–362.
DACDAC-2011-ChoiYLA #behaviour #fault #performance
Matching cache access behavior and bit error pattern for high performance low Vcc L1 cache (YGC, SY, SL, JHA), pp. 978–983.
DACDAC-2011-KatzRZS #architecture #behaviour #generative #learning #quality
Learning microarchitectural behaviors to improve stimuli generation quality (YK, MR, AZ, GS), pp. 848–853.
HTHT-2011-PapagelisMZ #behaviour #online #social
Individual behavior and social influence in online social systems (MP, VM, RvZ), pp. 241–250.
SIGMODSIGMOD-2011-DamaggioDZ #behaviour #contract #database #query
Querying contract databases based on temporal behavior (ED, AD, DZ), pp. 397–408.
ITiCSEITiCSE-2011-LeeR #algorithm #behaviour #towards #visualisation
Toward replicating handmade algorithm visualization behaviors in a digital environment: a pre-study (MHL, GR), pp. 198–202.
FASEFASE-2011-ErmelGLT #behaviour #consistency #control flow #functional #modelling
Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior (CE, JG, LL, GT), pp. 156–170.
PASTEPASTE-2011-Detten #behaviour #detection #execution #generative #symbolic computation #towards
Towards systematic, comprehensive trace generation for behavioral pattern detection through symbolic execution (MvD), pp. 17–20.
IFMIFM-J-2009-ColvinH11 #behaviour #csp #semantics #specification #using
A semantics for Behavior Trees using CSP with specification commands (RC, IJH), pp. 891–914.
IFMIFM-J-2009-DovlandJOS11 #behaviour #incremental #inheritance #lazy evaluation #multi #reasoning #type system
Incremental reasoning with lazy behavioral subtyping for multiple inheritance (JD, EBJ, OO, MS), pp. 915–941.
FMFM-2011-AlbertGGJST #behaviour #bound #concurrent #simulation #worst-case
Simulating Concurrent Behaviors with Worst-Case Cost Bounds (EA, SG, MGZ, EBJ, RS, SLTT), pp. 353–368.
FMFM-2011-Harel #behaviour #programming
Some Thoughts on Behavioral Programming (DH), p. 2.
SFMSFM-2011-ClarkeDHJSSSW #behaviour #modelling #variability
Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language (DC, ND, RH, EBJ, IS, JS, RS, PYHW), pp. 417–457.
CHICHI-2011-BeyerAMSIKSH #behaviour #interactive #scalability
Audience behavior around large interactive cylindrical screens (GB, FA, JM, AS, KI, SK, MS, IH), pp. 1021–1030.
CHICHI-2011-BogunovichS #behaviour #constraints
The effects of time constraints on user behavior for deferrable interruptions (PB, DDS), pp. 3123–3126.
CHICHI-2011-ChoeCWK #behaviour
Opportunities for computing technologies to support healthy sleep behaviors (EKC, SC, NFW, JAK), pp. 3053–3062.
CHICHI-2011-GabrielliSMMM #behaviour #feedback #interface #named
BeeParking: feedback interfaces for collective behavior change (SG, AS, JM, MM, OM), pp. 2145–2148.
CHICHI-2011-KlasnjaCP #behaviour #health #how #human-computer #research
How to evaluate technologies for health behavior change in HCI research (PVK, SC, WP), pp. 3063–3072.
CHICHI-2011-LeeKF #behaviour #design #mining #persuasion
Mining behavioral economics to design persuasive technology for healthy choices (MKL, SBK, JF), pp. 325–334.
CHICHI-2011-PurpuraSWSS #behaviour #design #named #persuasion
Fit4life: the design of a persuasive technology promoting healthy behavior and ideal weight (SP, VS, KW, WS, PS), pp. 423–432.
CHICHI-2011-RomeroVPSA #behaviour #video #visualisation
Evaluating video visualizations of human behavior (MR, AV, JP, JTS, GDA), pp. 1441–1450.
CHICHI-2011-ScissorsSIRS #behaviour #collaboration #distributed #editing #realtime
Real-time collaborative editing behavior in USA and Japanese distributed teams (LES, NSS, TI, SLR, SS), pp. 1119–1128.
CSCWCSCW-2011-RauLVKS #behaviour
Different time management behaviors of Germans, Chinese and Japanese (PLPR, JL, SV, TK, CMS), pp. 701–704.
HCIDHM-2011-LaquaiDR #behaviour #modelling
Impact and Modeling of Driver Behavior Due to Cooperative Assistance Systems (FL, MD, GR), pp. 473–482.
HCIDHM-2011-WortelenL #approach #automation #behaviour #estimation
Less Driving While Driving? An Approach for the Estimation of Effects of Future Vehicle Automation Systems on Driver Behavior (BW, AL), pp. 523–532.
HCIDUXU-v2-2011-Capra #behaviour #human-computer #web
HCI Browser: A Tool for Administration and Data Collection for Studies of Web Search Behaviors (RC), pp. 259–268.
HCIDUXU-v2-2011-KimL11a #behaviour #mobile #research
Ethnographic Research of User Behavior of Mobile Devices of China, Korea, India, and The Netherlands (DK, KPL), pp. 294–302.
HCIHCD-2011-HajekPJB #behaviour #multimodal
Influence of a Multimodal Assistance Supporting Anticipatory Driving on the Driving Behavior and Driver’s Acceptance (HH, DP, MJ, KB), pp. 217–226.
HCIHCD-2011-WangL11a #analysis #behaviour #design #evaluation
Task Analysis for Behavioral Factors Evaluation in Work System Design (LW, HYKL), pp. 440–448.
HCIHCI-DDA-2011-DjamasbiST #behaviour #eye tracking #visual notation
Visual Hierarchy and Viewing Behavior: An Eye Tracking Study (SD, MS, TT), pp. 331–340.
HCIHCI-DDA-2011-KalwarHP #behaviour #internet
Finding a Relationship between Internet Anxiety and Human Behavior (SKK, KH, JP), pp. 359–367.
HCIHCI-DDA-2011-KimJRWS #behaviour #simulation #using
Human Behavioral Simulation Using Affordance-Based Agent Model (NK, JJ, LR, RAW, YJS), pp. 368–377.
HCIHCI-ITE-2011-JohnsonLNY #behaviour
Analyzing User Behavior within a Haptic System (SLJ, YL, CSN, TY), pp. 62–70.
HCIHCI-MIIE-2011-AiharaKT #behaviour #cost analysis #recommendation
Behavioral Cost-Based Recommendation Model for Wanderers in Town (KA, HK, HT), pp. 271–279.
HCIHCI-MIIE-2011-AoyagiOIS #behaviour #communication
Proposal of a Method for Promotion of Continuous Pro-Environmental Behavior with Easy Communication (SA, TO, HI, HS), pp. 465–473.
HCIHCI-MIIE-2011-ChiangT11a #behaviour #mobile #network #smarttech #social #twitter
The Effort of Social Networking on Social Behavior — Integrating Twitter, Mobile Devices, and Wearable Clothing as an Example (CWC, KT), pp. 30–37.
HCIHCI-MIIE-2011-KimDCH #behaviour #energy
Assessing the Effect of a Power-Flow Gauge on Driving Behaviors Affecting Energy Consumption (SHK, HD, EC, HH), pp. 411–417.
HCIHCI-MIIE-2011-KimHJHMJ #analysis #behaviour #using #video
Analysis of Low-Floor Bus Passengers’ Behavior Patterns Using Video Observation (JYK, HH, BSJ, BHH, YJM, YGJ), pp. 391–400.
HCIHCI-MIIE-2011-LimPJK #behaviour #experience
Driver’s Experience and Behavioral Patterns through the Observation of Commercial Vehicle Driving (YL, SP, ESJ, TK), pp. 426–434.
HCIHCI-MIIE-2011-WalterSSGHSBLTS #behaviour #classification #multimodal
Multimodal Emotion Classification in Naturalistic User Behavior (SW, SS, MS, MG, DH, MS, RB, KL, HCT, FS), pp. 603–611.
HCIHCI-UA-2011-HsuC #approach #behaviour #navigation
Associating Learners’ Cognitive Style with Their Navigation Behaviors: A Data-Mining Approach (YCH, SYC), pp. 27–34.
HCIHIMI-v1-2011-Asahi #behaviour #privacy #research #ubiquitous
Privacy Concern in Ubiquitous Society and Research on Consumer Behavior (YA), pp. 291–300.
HCIHIMI-v1-2011-NguyenV #behaviour #online #privacy #question
Does Privacy Information Influence Users’ Online Purchasing Behavior? (JHN, KPLV), pp. 349–358.
HCIHIMI-v2-2011-BrandonEGFGV #behaviour #feedback #social #visual notation
The Effects Visual Feedback on Social Behavior during Decision Making Meetings (MB, SE, TdG, TF, BvG, TV), pp. 219–228.
HCIHIMI-v2-2011-Otsuka #analysis #behaviour #comprehension #multimodal #people
Multimodal Conversation Scene Analysis for Understanding People’s Communicative Behaviors in Face-to-Face Meetings (KO), pp. 171–179.
HCIHIMI-v2-2011-ShinCRR #behaviour #interactive #named #visualisation
VizKid: A Behavior Capture and Visualization System of Adult-Child Interaction (GS, TC, AR, MR), pp. 190–198.
HCIIDGD-2011-OginoKIK #behaviour #comprehension
Smart Store Understanding Consumer’s Preference through Behavior Logs (AO, TK, YI, TK), pp. 385–392.
HCIIDGD-2011-YangLD #behaviour #case study #internet #mobile
A Case Study: Behavior Study of Chinese Users on the Internet and Mobile Internet (YY, HL, GD), pp. 585–593.
HCIOCSC-2011-TsaiHT11a #behaviour #difference #metric
Measurement of Tagging Behavior Differences (LCT, SLH, KHT), pp. 373–377.
VISSOFTVISSOFT-2011-ChoudhuryR #behaviour #memory management #runtime #visualisation
Abstract visualization of runtime memory behavior (ANMIC, PR), pp. 1–8.
VISSOFTVISSOFT-2011-WirthPS #approach #behaviour #multi #visualisation
A multi-level approach for visualization and exploration of reactive program behavior (CW, HP, RS), pp. 1–4.
CAiSECAiSE-2011-LiaskosLJM #behaviour #information management
Goal-Based Behavioral Customization of Information Systems (SL, ML, MDJ, JM), pp. 77–92.
ICEISICEIS-v1-2011-WeiY #analysis #behaviour #game studies #metric #security
Security Investment Analysis on Gaming Theory with Measurements of Cost and Decision Behavior (WW, RY), pp. 519–523.
ICEISICEIS-v4-2011-TongYZS #behaviour #bibliography #online #research
A Review of Online Consumer Behavior Research (LyT, QJY, QJZ, HZS), pp. 170–175.
ICEISICEIS-v4-2011-ZhangFZ #behaviour #industrial #performance
An Empericial Study about Franchise Relationship Behaviors’s Impacts on Franchisees’ Performance in Fastfood Industry (YZ, JF, YZ), pp. 695–701.
CIKMCIKM-2011-AielloDOM #behaviour #clustering #query #topic
Behavior-driven clustering of queries into topics (LMA, DD, UO, FM), pp. 1373–1382.
CIKMCIKM-2011-CarteretteKY #behaviour #effectiveness #evaluation #simulation
Simulating simple user behavior for system effectiveness evaluation (BC, EK, EY), pp. 611–620.
CIKMCIKM-2011-FeiJYLH #approach #behaviour #learning #multi #predict #social
Content based social behavior prediction: a multi-task learning approach (HF, RJ, YY, BL, JH), pp. 995–1000.
CIKMCIKM-2011-KimQYL #approach #behaviour
Advertiser-centric approach to understand user click behavior in sponsored search (SK, TQ, HY, TYL), pp. 2121–2124.
CIKMCIKM-2011-LiuCZZ #behaviour #crawling #web
User browsing behavior-driven web crawling (ML, RC, MZ, LZ), pp. 87–92.
CIKMCIKM-2011-LiuT #behaviour #scalability #social
Large-scale behavioral targeting with a social twist (KL, LT), pp. 1815–1824.
CIKMCIKM-2011-PandeyABHCRZ #behaviour #learning #what
Learning to target: what works for behavioral targeting (SP, MA, AB, AOH, PC, AR, MZ), pp. 1805–1814.
CIKMCIKM-2011-TangLYSGGYZ #behaviour #learning #rank
Learning to rank audience for behavioral targeting in display ads (JT, NL, JY, YS, SG, BG, SY, MZ), pp. 605–610.
ECIRECIR-2011-LiuA #behaviour #collaboration #modelling
Modeling Answerer Behavior in Collaborative Question Answering Systems (QL, EA), pp. 67–79.
KDDKDD-2011-AhmedLAJS #behaviour #distributed #scalability
Scalable distributed inference of dynamic user interests for behavioral targeting (AA, YL, MA, VJ, AJS), pp. 114–122.
KDDKDD-2011-LiL #behaviour #community #detection #framework #generative #modelling #network #simulation #social
Social flocks: a crowd simulation framework for social network generation, community detection, and collective behavior modeling (CTL, SDL), pp. 765–768.
KDDKDD-2011-McCloskeyKIKB #behaviour #data mining #mining #using
From market baskets to mole rats: using data mining techniques to analyze RFID data describing laboratory animal behavior (DPM, MEK, SPI, IK, SBM), pp. 301–306.
KDDKDD-2011-ZhangCWY #behaviour #comprehension #modelling #predict
User-click modeling for understanding and predicting search-behavior (YZ, WC, DW, QY), pp. 1388–1396.
KMISKMIS-2011-JohnMMMB #behaviour #enterprise
Impact of Behavioral Forces on Knowledge Sharing in an Extended Enterprise System of Systems (LJ, PMM, TM, GRM, JTB), pp. 67–76.
KMISKMIS-2011-TangPI #behaviour
Employees’ Innovation Behavior — The Role of External Information Awareness and Proactiveness of Innovation Strategy (JT, LGP, JI), pp. 5–17.
MLDMMLDM-2011-Hasan #behaviour #on the
On the Temporal Behavior of EEG Recorded during Real Finger Movement (BASH), pp. 335–347.
RecSysRecSys-2011-GorgoglionePT #behaviour #recommendation #trust
The effect of context-aware recommendations on customer purchasing behavior and trust (MG, UP, AT), pp. 85–92.
RecSysRecSys-2011-LeeL #analysis #behaviour #music #recommendation
My head is your tail: applying link analysis on long-tailed music listening behavior for music recommendation (KL, KL), pp. 213–220.
RecSysRecSys-2011-SekoYMM #behaviour #recommendation #representation #using
Group recommendation using feature space representing behavioral tendency and power balance among members (SS, TY, MM, SyM), pp. 101–108.
SEKESEKE-2011-FerreiraS #behaviour #case study
Use Case Driven Extension of ProjectIT-RSL to Support Behavioral Concerns (DdAF, ARdS), pp. 740–745.
SIGIRSIGIR-2011-Du #behaviour #coordination #multi #web
Cognitive coordinating behaviors in multitasking web search (JTD), pp. 1117–1118.
SIGIRSIGIR-2011-ElsweilerHH #behaviour #comprehension #email #interactive
Understanding re-finding behavior in naturalistic email interaction logs (DE, MH, MH), pp. 35–44.
SIGIRSIGIR-2011-KarimiSCK #behaviour #topic
Domain expert topic familiarity and search behavior (SK, FS, AC, SK), pp. 1135–1136.
SIGIRSIGIR-2011-SinghPS #behaviour #query
User behavior in zero-recall ecommerce queries (GS, NP, NS), pp. 75–84.
SIGIRSIGIR-2011-Tyler #behaviour #multi #persistent #personalisation
Persistence in the ephemeral: utilizing repeat behaviors for multi-session personalized search (SKT), pp. 1311–1312.
SIGIRSIGIR-2011-ZhangCB #behaviour #predict
Predicting users’ domain knowledge from search behaviors (XZ, MJC, NJB), pp. 1225–1226.
MODELSMoDELS-2011-ClavreulMBF #architecture #behaviour #modelling
Service-Oriented Architecture Modeling: Bridging the Gap between Structure and Behavior (MC, SM, MBF, RBF), pp. 289–303.
MODELSMoDELS-2011-JensenCGN #behaviour #detection
A Toolchain for the Detection of Structural and Behavioral Latent System Properties (ACJ, BHCC, HG, ECN), pp. 683–698.
MODELSMoDELS-2011-ClavreulMBF #architecture #behaviour #modelling
Service-Oriented Architecture Modeling: Bridging the Gap between Structure and Behavior (MC, SM, MBF, RBF), pp. 289–303.
MODELSMoDELS-2011-JensenCGN #behaviour #detection
A Toolchain for the Detection of Structural and Behavioral Latent System Properties (ACJ, BHCC, HG, ECN), pp. 683–698.
SACSAC-2011-BhaskaranNFG #behaviour #detection #learning #online
Deceit detection via online behavioral learning (NB, IN, MGF, VG), pp. 29–30.
SACSAC-2011-KimuraEFYN #behaviour #detection #motivation #named #persuasion #smarttech #using
iDetective: a persuasive application to motivate healthier behavior using smart phone (HK, JE, YF, AY, TN), pp. 399–404.
SACSAC-2011-PorresR #behaviour #interface #modelling #rest #uml #web #web service
Modeling behavioral RESTful web service interfaces in UML (IP, IR), pp. 1598–1605.
SACSAC-2011-SimoesO #behaviour #game studies #learning #modelling
Leveraging the dynamics of learning by modeling and managing psychosocial relations and behavior by means of game theory and memetics (JCS, NO), pp. 1194–1201.
ESEC-FSEESEC-FSE-2011-BeschastnikhABE #behaviour #modelling #named
Synoptic: studying logged behavior with inferred models (IB, JA, YB, MDE), pp. 448–451.
SOSPSOSP-2011-HarterDVAA #behaviour #comprehension
A file is not a file: understanding the I/O behavior of Apple desktop applications (TH, CD, MV, ACAD, RHAD), pp. 71–83.
CADECADE-2011-FredriksonCJ #algorithm #analysis #approximate #behaviour #complexity
Dynamic Behavior Matching: A Complexity Analysis and New Approximation Algorithms (MF, MC, SJ), pp. 252–267.
CAVCAV-2011-KleinN #automation #behaviour #formal method #rest #verification
Formalization and Automated Verification of RESTful Behavior (UK, KSN), pp. 541–556.
CAVCAV-2011-RamanK #behaviour #specification #using
Analyzing Unsynthesizable Specifications for High-Level Robot Behavior Using LTLMoP (VR, HKG), pp. 663–668.
TAPTAP-2011-BentakoukPZ #behaviour #consistency #smt #testing #web #web service
Checking the Behavioral Conformance of Web Services with Symbolic Testing and an SMT Solver (LB, PP, FZ), pp. 33–50.
ASEASE-2010-Balint #automation #behaviour #data type
Automatic inference of abstract type behavior (MB), pp. 499–504.
ASEASE-2010-GabrysiakGS #behaviour #interactive #multi #process #requirements #validation
Deriving behavior of multi-user processes from interactive requirements validation (GG, HG, AS), pp. 355–356.
ASEASE-2010-IvanovOSV #analysis #behaviour #embedded #modelling #set #tool support
REMES tool-chain: a set of integrated tools for behavioral modeling and analysis of embedded systems (DI, MO, CCS, AV), pp. 361–362.
ASEASE-2010-LiHG #ajax #behaviour #detection #interactive #web
Detecting user-visible failures in AJAX web applications by analyzing users’ interaction behaviors (WL, MJH, CG), pp. 155–158.
CASECASE-2010-AhnM #analysis #behaviour #clustering #modelling #tool support
Analysis of circular cluster tools: Transient behavior and semiconductor equipment models (YA, JRM), pp. 39–44.
CASECASE-2010-LeeFBSSFS #behaviour #evaluation #framework #modelling
Product modeling framework and language for behavior evaluation (JHL, SJF, CB, HWS, RS, XF, RDS), pp. 136–143.
DACDAC-2010-KuoCTCL #approach #behaviour
Behavior-level yield enhancement approach for large-scaled analog circuits (CCK, YLC, ICT, LYC, CNJL), pp. 903–908.
DATEDATE-2010-CongHJ #algorithm #behaviour #pattern matching #pattern recognition #recognition #synthesis
A generalized control-flow-aware pattern recognition algorithm for behavioral synthesis (JC, HH, WJ), pp. 1255–1260.
DATEDATE-2010-CongLX #behaviour #coordination #optimisation #synthesis
Coordinated resource optimization in behavioral synthesis (JC, BL, JX), pp. 1267–1272.
DATEDATE-2010-EguiaTSPT #behaviour #design #manycore #modelling
General behavioral thermal modeling and characterization for multi-core microprocessor design (TJAE, SXDT, RS, EHP, MT), pp. 1136–1141.
DATEDATE-2010-HaoXRY #behaviour #equivalence #optimisation #synthesis
Optimizing equivalence checking for behavioral synthesis (KH, FX, SR, JY), pp. 1500–1505.
DATEDATE-2010-YuZQB #behaviour #design #power management
Behavioral level dual-vth design for reduced leakage power with thermal awareness (JY, QZ, GQ, JB), pp. 1261–1266.
HTHT-2010-HuangW #behaviour #parallel #web
Parallel browsing behavior on the web (JH, RWW), pp. 13–18.
VLDBVLDB-2010-GlavicAMH #behaviour #comprehension #named
TRAMP: Understanding the Behavior of Schema Mappings through Provenance (BG, GA, RJM, LMH), pp. 1314–1325.
VLDBVLDB-2010-WangSSWCDGW #behaviour #pipes and filters #simulation
Behavioral Simulations in MapReduce (GW, MAVS, BS, XW, TC, AJD, JG, WMW), pp. 952–963.
VLDBVLDB-2010-YakoutEEOQ #behaviour
Behavior Based Record Linkage (MY, AKE, HE, MO, AQ), pp. 439–448.
ITiCSEITiCSE-2010-Armstrong #behaviour #social
Robotics and intelligent systems for social and behavioral science undergraduates (TA), pp. 194–198.
ITiCSEITiCSE-2010-HowardJN #behaviour #design #learning #online #using
Reflecting on online learning designs using observed behavior (LH, JJ, CN), pp. 179–183.
FoSSaCSFoSSaCS-2010-AcciaiBZ #behaviour #logic #on the #simulation
On the Relationship between Spatial Logics and Behavioral Simulations (LA, MB, GZ), pp. 146–160.
WRLAWRLA-2010-RiveraDV #behaviour #domain-specific language #on the #realtime #semantics #visual notation
On the Behavioral Semantics of Real-Time Domain Specific Visual Languages (JER, FD, AV), pp. 174–190.
CSMRCSMR-2010-CortellessaMP #behaviour #maintenance #reliability #trade-off
Selecting Optimal Maintenance Plans Based on Cost/Reliability Tradeoffs for Software Subject to Structural and Behavioral Changes (VC, RM, PP), pp. 21–30.
CSMRCSMR-2010-LuciaDGR #behaviour #design pattern #detection #model checking
Improving Behavioral Design Pattern Detection through Model Checking (ADL, VD, CG, MR), pp. 176–185.
SCAMSCAM-2010-KetterlinC #behaviour #execution #memory management #source code
Recovering the Memory Behavior of Executable Programs (AK, PC), pp. 189–198.
WCREWCRE-2010-PerscheidSHGH #analysis #behaviour #online #runtime
Immediacy through Interactivity: Online Analysis of Run-time Behavior (MP, BS, RH, FG, MH), pp. 77–86.
WCREWCRE-2010-WongASLM #behaviour #detection #programming #reverse engineering #search-based #using
Reverse Engineering Utility Functions Using Genetic Programming to Detect Anomalous Behavior in Software (SW, MA, JS, KL, SM), pp. 141–149.
PLDIPLDI-2010-RichardsLBV #analysis #behaviour #javascript #source code
An analysis of the dynamic behavior of JavaScript programs (GR, SL, BB, JV), pp. 1–12.
SEFMSEFM-2010-Lindsay #behaviour #re-engineering
Behavior Trees: From Systems Engineering to Software Engineering (PAL), pp. 21–30.
SEFMSEFM-2010-LindsayWY #assessment #behaviour #model checking #safety #using
Safety Assessment Using Behavior Trees and Model Checking (PAL, KW, NY), pp. 181–190.
SEFMSEFM-2010-Powell #analysis #behaviour #modelling #scalability
Behavior Engineering — A Scalable Modeling and Analysis Method (DP), pp. 31–40.
SEFMSEFM-2010-WinterHC #behaviour #requirements
Integrating Requirements: The Behavior Tree Philosophy (KW, IJH, RC), pp. 41–50.
CHICHI-2010-AulaKG #behaviour #how #question
How does search behavior change as search becomes more difficult? (AA, RMK, ZG), pp. 35–44.
CHICHI-2010-DixonF #behaviour #implementation #interface #named #reverse engineering #using
Prefab: implementing advanced behaviors using pixel-based reverse engineering of interface structure (MD, JF), pp. 1525–1534.
CHICHI-2010-Kramer #behaviour
An unobtrusive behavioral model of “gross national happiness” (ADIK), pp. 287–290.
CHICHI-2010-MorrisTP #behaviour #bibliography #network #people #social #what #why
What do people ask their social networks, and why?: a survey study of status message q&a behavior (MRM, JT, KP), pp. 1739–1748.
CHICHI-2010-PancieraPET #analysis #behaviour #lifecycle
Lurking? cyclopaths?: a quantitative lifecycle analysis of user behavior in a geowiki (KAP, RP, TE, LGT), pp. 1917–1926.
CHICHI-2010-SaerbeckSBJ #behaviour #education #social
Expressive robots in education: varying the degree of social supportive behavior of a robotic tutor (MS, TS, CB, MDJ), pp. 1613–1622.
CHICHI-2010-StutzmanK #behaviour #facebook #privacy
Friends only: examining a privacy-enhancing behavior in facebook (FS, JKD), pp. 1553–1562.
CHICHI-2010-TsujitaTS #behaviour #communication #evaluation #named
InPhase: evaluation of a communication system focused on “happy coincidences” of daily behaviors (HT, KT, IS), pp. 2481–2490.
CHICHI-2010-Villamarin-SalomonB #behaviour #using
Using reinforcement to strengthen users’ secure behaviors (RVS, JCB), pp. 363–372.
CIKMCIKM-2010-BethardJ #behaviour #learning #modelling
Who should I cite: learning literature search models from citation behavior (SB, DJ), pp. 609–618.
CIKMCIKM-2010-KotaN #behaviour #network #social
Threshold behavior of incentives in social networks (NK, YN), pp. 1461–1464.
CIKMCIKM-2010-LimNJLL #behaviour #bibliography #detection #rating #using
Detecting product review spammers using rating behaviors (EPL, VAN, NJ, BL, HWL), pp. 939–948.
CIKMCIKM-2010-MoonDJLZ #behaviour #ranking
User behavior driven ranking without editorial judgments (TM, GD, SJ, CL, ZZ), pp. 1473–1476.
CIKMCIKM-2010-PuneraM #behaviour #information management #modelling #web
The anatomy of a click: modeling user behavior on web information systems (KP, SM), pp. 989–998.
CIKMCIKM-2010-SushmitaJLV #behaviour #interface
Factors affecting click-through behavior in aggregated search interfaces (SS, HJ, ML, RV), pp. 519–528.
CIKMCIKM-2010-YangGCTLZS #behaviour #comprehension #network #social #twitter
Understanding retweeting behaviors in social networks (ZY, JG, KC, JT, JL, LZ, ZS), pp. 1633–1636.
ICPRICPR-2010-KosmopoulosVV #behaviour #modelling #multi #robust
Robust Human Behavior Modeling from Multiple Cameras (DIK, AV, TAV), pp. 3575–3578.
ICPRICPR-2010-Serra-ToroMTHNC #behaviour #monitoring #quality #video
Assessing Water Quality by Video Monitoring Fish Swimming Behavior (CST, RM, VJT, IMHM, MNR, PC), pp. 428–431.
ICPRICPR-2010-ZhuHYL #behaviour #learning #metric #prototype #recognition #using
Prototype Learning Using Metric Learning Based Behavior Recognition (PZ, WH, CY, LL), pp. 2604–2607.
ICPRICPR-2010-ZwengK #behaviour #image #multi #recognition #sequence #using
Unexpected Human Behavior Recognition in Image Sequences Using Multiple Features (AZ, MK), pp. 368–371.
KDDKDD-2010-CaoOYW #behaviour #detection #sequence
Detecting abnormal coupled sequences and sequence changes in group-based manipulative trading behaviors (LC, YO, PSY, GW), pp. 85–94.
KDDKDD-2010-LiDHKN #behaviour #mining
Mining periodic behaviors for moving objects (ZL, BD, JH, RK, PN), pp. 1099–1108.
KMISKMIS-2010-AlonsoBL #behaviour #incremental #modelling
Incremental user Modeling with Heterogeneous user Behaviors (RA, PB, HL), pp. 129–134.
KMISKMIS-2010-LiDFF #behaviour #comprehension
Understanding Behavioral Intention of e-Learning System Re-use (YL, YD, ZF, WF), pp. 218–223.
SEKESEKE-2010-MoshirpourMF #behaviour #detection #distributed #specification #using
Detecting Emergent Behavior in Distributed Systems Using Scenario-Based Specifications (MM, AM, BHF), pp. 349–354.
SIGIRSIGIR-2010-DupretP #behaviour #precise
A user behavior model for average precision and its generalization to graded judgments (GD, BP), pp. 531–538.
SIGIRSIGIR-2010-LiuLGB #behaviour #detection
Can search systems detect users’ task difficulty?: some behavioral signals (JL, CL, JG, NJB), pp. 845–846.
SIGIRSIGIR-2010-LiuWD #analysis #behaviour #comprehension #web
Understanding web browsing behaviors through Weibull analysis of dwell time (CL, RWW, STD), pp. 379–386.
SIGIRSIGIR-2010-LiuYSCCL #behaviour #learning #rank
Learning to rank audience for behavioral targeting (NL, JY, DS, DC, ZC, YL), pp. 719–720.
SIGIRSIGIR-2010-ZhongWWCZCW #behaviour
Incorporating post-click behaviors into a click model (FZ, DW, GW, WC, YZ, ZC, HW), pp. 355–362.
ECMFAECMFA-2010-EllnerADJKP #behaviour #modelling #named
eSPEM — A SPEM Extension for Enactable Behavior Modeling (RE, SAH, JD, MJ, DK, MP), pp. 116–131.
MODELSMoDELS-v1-2010-GoldsbyC #automation #behaviour #modelling #uml
Automatically Discovering Properties That Specify the Latent Behavior of UML Models (HG, BHCC), pp. 316–330.
ECOOPECOOP-2010-HarelMW #behaviour #coordination #java #programming
Programming Coordinated Behavior in Java (DH, AM, GW), pp. 250–274.
QAPLQAPL-2010-Aldini #approximate #behaviour #equivalence #probability #testing
Approximate Testing Equivalence Based on Time, Probability, and Observed Behavior (AA), pp. 1–15.
SACSAC-2010-FotoohiG #approach #behaviour #case study
A supervisory control approach for safe behavior of service robot case study: FRIEND (LF, AG), pp. 1305–1306.
SACSAC-2010-FurukawaOMI #behaviour #predict #social
Prediction of social bookmarking based on a behavior transition model (TF, SO, YM, MI), pp. 1741–1747.
FSEFSE-2010-JinOX #behaviour #named #testing
BERT: a tool for behavioral regression testing (WJ, AO, TX), pp. 361–362.
FSEFSE-2010-Krka #approach #behaviour #incremental #modelling #refinement #requirements #specification
From requirements to partial behavior models: an iterative approach to incremental specification refinement (IK), pp. 341–344.
FSEFSE-2010-Shokry #behaviour #synthesis #towards #using
Towards behavior elaboration and synthesis using modes (HS), pp. 349–352.
ICSEICSE-2010-KrkaBPGM #behaviour #execution #invariant #model inference #using
Using dynamic execution traces and program invariants to enhance behavioral model inference (IK, YB, DP, JG, NM), pp. 179–182.
ICSEICSE-2010-ReisnerSMFP #behaviour #configuration management #evaluation #symbolic computation #using
Using symbolic evaluation to understand behavior in configurable software systems (ER, CS, KKM, JSF, AP), pp. 445–454.
SLESLE-2010-BandenerSE #behaviour #debugging #execution #specification #visual notation
Extending DMM Behavior Specifications for Visual Execution and Debugging (NB, CS, GE), pp. 357–376.
ASPLOSASPLOS-2010-Mesa-MartinezAR #behaviour
Characterizing processor thermal behavior (FJMM, EKA, JR), pp. 193–204.
ASPLOSASPLOS-2010-Shen #behaviour
Request behavior variations (KS), pp. 103–116.
CGOCGO-2010-JiangZTMGSG #behaviour #correlation #predict #statistics
Exploiting statistical correlations for proactive prediction of program behaviors (YJ, EZZ, KT, FM, MG, XS, YG), pp. 248–256.
CGOCGO-2010-StephensonRYH #behaviour #statistics
Statistically regulating program behavior via mainstream computing (MS, RR, EY, EVH), pp. 238–247.
ICSTICST-2010-JinOX #automation #behaviour #testing
Automated Behavioral Regression Testing (WJ, AO, TX), pp. 137–146.
ICTSSICTSS-2010-Heitmeyer #approach #behaviour #modelling #testing
A Model-Based Approach to Testing Software for Critical Behavior and Properties (CLH), p. 15.
TAPTAP-2010-BueDKB #abstraction #behaviour #using
Building a Test-Ready Abstraction of a Behavioral Model Using CLP (PCB, FD, ADK, FB), pp. 167–182.
CBSECBSE-2009-PochP #behaviour #component #legacy #specification
Extracting Behavior Specification of Components in Legacy Applications (TP, FP), pp. 87–103.
ASEASE-2009-DallmeierZM #behaviour #generative
Generating Fixes from Object Behavior Anomalies (VD, AZ, BM), pp. 550–554.
CASECASE-2009-SinghR #behaviour #problem
The Potluck Problem with consumers’ choice behavior (NS, SR), pp. 328–333.
DACDAC-2009-MarcilioSAR #behaviour #novel #verification
A novel verification technique to uncover out-of-order DUV behaviors (GM, LCVdS, BA, SR), pp. 448–453.
DATEDATE-2009-KonigBSMNW #behaviour #embedded #evaluation #performance #realtime
Application specific performance indicators for quantitative evaluation of the timing behavior for embedded real-time systems (FK, DB, FS, UM, MN, GW), pp. 519–523.
DATEDATE-2009-MukherjeeAPMD #approach #behaviour #formal method #generative
A formal approach for specification-driven AMS behavioral model generation (SM, AA, SKP, RM, PD), pp. 1512–1517.
DATEDATE-2009-YangHMP #behaviour #semantics #towards
Towards a formal semantics for the AADL behavior annex (ZY, KH, DM, LP), pp. 1166–1171.
DATEDATE-2009-YeoK #behaviour #manycore
Temperature-aware scheduler based on thermal behavior grouping in multicore systems (IY, EJK), pp. 946–951.
HTHT-2009-MeissDGRM #behaviour #web #what
What’s in a session: tracking individual behavior on the web (MM, JD, BG, JJR, FM), pp. 173–182.
HTHT-2009-Santos-NetoCAIR #behaviour #social
Individual and social behavior in tagging systems (ESN, DC, NA, AI, MR), pp. 183–192.
VLDBVLDB-2009-AliGRSTVWZKALRKSGBCGBLNWMSNG #behaviour #online
Microsoft CEP Server and Online Behavioral Targeting (MHA, CG, BSR, BS, TT, TV, PW, PZ, AK, AA, ML, AR, RK, RS, TG, SB, BC, JG, SB, YL, VDN, XW, DM, IS, ON, SG), pp. 1558–1561.
ITiCSEITiCSE-2009-RodrigoBJADELPST #behaviour #predict
Affective and behavioral predictors of novice programmer achievement (MMTR, RSB, MCJ, ACMA, TD, MBVEL, SALL, SAMSP, JOS, EST), pp. 156–160.
ITiCSEITiCSE-2009-WangHCT #behaviour #collaboration #learning
The role of collective efficacy and collaborative learning behavior in learning computer science through CSCL (SLW, GHH, JCC, PST), p. 352.
ICPCICPC-J-2008-DaltonWDH09 #behaviour #embedded #network #runtime #tool support #visualisation
Visualizing the runtime behavior of embedded network systems: A toolkit for TinyOS (ARD, SKW, SD, JOH), pp. 446–469.
CSMRCSMR-2009-LuciaDGR #behaviour #identification #parsing #visual notation
Behavioral Pattern Identification through Visual Language Parsing and Code Instrumentation (ADL, VD, CG, MR), pp. 99–108.
CSMRCSMR-2009-MarwedeRHH #automation #behaviour #correlation #distributed #scalability
Automatic Failure Diagnosis Support in Distributed Large-Scale Software Systems Based on Timing Behavior Anomaly Correlation (NM, MR, AvH, WH), pp. 47–58.
WCREWCRE-1999-AckermannLC99a #behaviour #interactive
Recovering Views of Inter-System Interaction Behaviors (CA, ML, RC), pp. 53–61.
SEFMSEFM-2009-HummelT #behaviour #specification #using
Behavioral Specification of Reactive Systems Using Stream-Based I/O Tables (BH, JT), pp. 137–146.
CHICHI-2009-ConsolvoML #behaviour #design
Theory-driven design strategies for technologies that support behavior change in everyday life (SC, DWM, JAL), pp. 405–414.
CHICHI-2009-LeshedPHCBLMG #behaviour #feedback #realtime #visualisation
Visualizing real-time language-based feedback on teamwork behavior in computer-mediated groups (GL, DP, JTH, DC, JPB, SL, PLM, GG), pp. 537–546.
CHICHI-2009-MankowskiBSS #behaviour #canonical #protocol
Finding canonical behaviors in user protocols (WCM, PB, AS, DDS), pp. 1323–1326.
HCIDHM-2009-AmantiniC #behaviour #fault #predict #simulation
A Simple Simulation Predicting Driver Behavior, Attitudes and Errors (AA, PCC), pp. 345–354.
HCIDHM-2009-BurghardtK #approach #behaviour #modelling #probability #smarttech
A Probabilistic Approach for Modeling Human Behavior in Smart Environments (CB, TK), pp. 202–210.
HCIDHM-2009-LudtkeWOW #behaviour #fault #modelling #simulation
Modeling Pilot and Driver Behavior for Human Error Simulation (AL, LW, JPO, BW), pp. 403–412.
HCIDHM-2009-PanCL #adaptation #behaviour #mining #online #user interface
User Behavior Mining for On-Line GUI Adaptation (WP, YC, JL), pp. 275–284.
HCIDHM-2009-SchwartzeFA #behaviour #smarttech #user interface
Behavior-Sensitive User Interfaces for Smart Environments (VS, SF, SA), pp. 305–314.
HCIHCD-2009-KurosuH #analysis #behaviour #communication #development #research
Culture and Communication Behavior: A Research Based on the Artifact Development Analysis (MK, AH), pp. 468–475.
HCIHCD-2009-MahouiJZA #behaviour #design #interface #personalisation #web
Leveraging User Search Behavior to Design Personalized Browsing Interfaces for Healthcare Web Sites (MM, JFJ, DZ, KA), pp. 511–520.
HCIHCD-2009-ProppF #behaviour #testing #usability
Defining Expected Behavior for Usability Testing (SP, PF), pp. 110–119.
HCIHCD-2009-Stephane #analysis #behaviour #predict #simulation
User Behavior Patterns: Gathering, Analysis, Simulation and Prediction (LS), pp. 322–331.
HCIHCI-AUII-2009-IizukaAM #behaviour #using
The Anticipation of Human Behavior Using “Parasitic Humanoid” (HI, HA, TM), pp. 284–293.
HCIHCI-AUII-2009-ImamuraOK #analysis #behaviour #modelling #ubiquitous
Modeling Personal Preferences on Commodities by Behavior Log Analysis with Ubiquitous Sensing (NI, AO, TK), pp. 294–303.
HCIHCI-AUII-2009-YuasaTM #behaviour
Autonomous Turn-Taking Agent System Based on Behavior Model (MY, HT, NM), pp. 368–373.
HCIHCI-NIMT-2009-KimKYK #behaviour #design #interactive
Designing Emotional and Interactive Behaviors for an Entertainment Robot (YCK, HTK, WCY, JCK), pp. 321–330.
HCIHCI-NIMT-2009-LevendovszkyM #behaviour #domain-specific language #modelling #visual notation
Tooling the Dynamic Behavior Models of Graphical DSLs (TL, TM), pp. 830–839.
HCIHCI-NT-2009-HuangLH #behaviour #interactive
E-Shopping Behavior and User-Web Interaction for Developing a Useful Green Website (FHH, YLL, SLH), pp. 446–454.
HCIHCI-NT-2009-MiyazakiSY #behaviour #distributed #java #runtime #using #virtual machine
Investigating the Run Time Behavior of Distributed Applications by Using Tiny Java Virtual Machines with Wireless Communications (TM, TS, FY), pp. 882–889.
HCIHCI-VAD-2009-KharraziFD #behaviour #design #game studies #modelling
Healthcare Game Design: Behavioral Modeling of Serious Gaming Design for Children with Chronic Diseases (HK, AF, JD), pp. 335–344.
HCIHCI-VAD-2009-KiriyamaS #behaviour #interactive
Analyzing Human Behaviors in an Interactive Art Installation (TK, MS), pp. 345–352.
HCIHIMI-DIE-2009-KawataO #behaviour #information retrieval #named
InfoScape: A Browser for User Behavior-Based Information Retrieval System (MK, KO), pp. 419–428.
HCIHIMI-II-2009-KushiroKNI #behaviour #health #monitoring
Non-intrusive Human Behavior Monitoring Sensor for Health Care System (NK, MK, MN, YI), pp. 549–558.
HCIIDGD-2009-EuneL #behaviour #difference #mobile
Cultural Dimensions in User Preferences and Behaviors of Mobile Phones and Interpretation of National Cultural Differences (JE, KPL), pp. 29–38.
HCIOCSC-2009-BreitfussPI #automation #behaviour #generative #multimodal
Automatic Generation of Non-verbal Behavior for Agents in Virtual Worlds: A System for Supporting Multimodal Conversations of Bots and Avatars (WB, HP, MI), pp. 153–161.
HCIOCSC-2009-DuhC #behaviour #game studies #online
Cheating Behaviors in Online Gaming (HBLD, VHhC), pp. 567–573.
HCIOCSC-2009-HaefligerRJK #behaviour #community #rating
Modding as Rating Behavior in Virtual Communities: The Case of Rooster Teeth Productions (SH, PR, PMJ, GvK), pp. 197–206.
HCIOCSC-2009-PhillipsGS #approach #behaviour #visualisation
A Visualization Approach for Group Behaviors, Beliefs and Intentions to Support Critical Decisions (CLP, NDG, JTS), pp. 91–100.
VISSOFTVISSOFT-2009-OliveiraPHC #behaviour #domain-specific language #source code #visualisation
Visualization of domain-specific programs’ behavior (NO, MJVP, PRH, DCdC), pp. 37–40.
CAiSECAiSE-2009-PlanasCG #action semantics #behaviour #modelling #semantics #specification #uml #verification
Verifying Action Semantics Specifications in UML Behavioral Models (EP, JC, CG), pp. 125–140.
ICEISICEIS-DISI-2009-Geczy #behaviour #interactive #web
Human Behavior and Interactions in Web Environments (PG), pp. 5–6.
CIKMCIKM-2009-TangL #behaviour #learning #scalability #social
Scalable learning of collective behavior based on sparse social dimensions (LT, HL), pp. 1107–1116.
CIKMCIKM-2009-WhiteD #behaviour #predict
Characterizing and predicting search engine switching behavior (RWW, STD), pp. 87–96.
KDDKDD-2009-AttenbergPS #behaviour #modelling #predict
Modeling and predicting user behavior in sponsored search (JA, SP, TS), pp. 1067–1076.
KDDKDD-2009-ChenPC #behaviour #scalability
Large-scale behavioral targeting (YC, DP, JFC), pp. 209–218.
KDDKDD-2009-ChuPBMPCZ #analysis #behaviour #case study #exclamation
A case study of behavior-driven conjoint analysis on Yahoo!: front page today module (WC, STP, TB, NM, AP, SC, JZ), pp. 1097–1104.
KDDKDD-2009-LoCHKS #approach #behaviour #classification #detection #mining
Classification of software behaviors for failure detection: a discriminative pattern mining approach (DL, HC, JH, SCK, CS), pp. 557–566.
KDDKDD-2009-ShiZCZ #behaviour #online
User grouping behavior in online forums (XS, JZ, RC, LZ), pp. 777–786.
KDIRKDIR-2009-ClementeDCR #behaviour #classification #image
Behavior of Different Image Classifiers within a Broad Domain (BC, MLD, AC, PGR), pp. 278–283.
SEKESEKE-2009-LiYJQG #behaviour #consistency #named #testing #web #web service
WSTester: Testing Web Service for Behavior Conformance (BL, LY, SJ, DQ, XG), pp. 456–459.
SIGIRSIGIR-2009-Barabasi #behaviour #network
From networks to human behavior (ALB), p. 435.
SIGIRSIGIR-2009-DostertK #behaviour
Users’ stopping behaviors and estimates of recall (MD, DK), pp. 820–821.
SACSAC-2009-BroyLSSW #adaptation #behaviour #formal method
Formalizing the notion of adaptive system behavior (MB, CL, WS, BS, SW), pp. 1029–1033.
SACSAC-2009-OrdinezDSO #behaviour #resource management #scheduling
Resource sharing in behavioral based scheduling (LO, DD, RMS, JO), pp. 1972–1978.
ESEC-FSEESEC-FSE-2009-BertolinoIPT #automation #behaviour #composition #protocol #synthesis
Automatic synthesis of behavior protocols for composable web-services (AB, PI, PP, MT), pp. 141–150.
ESEC-FSEESEC-FSE-2009-HannaBR #automation #automaton #behaviour #composition #independence #verification
Behavioral automata composition for automatic topology independent verification of parameterized systems (YH, SB, HR), pp. 325–334.
ESEC-FSEESEC-FSE-2009-KrkaBEM #behaviour #component #modelling #specification
Synthesizing partial component-level behavior models from system specifications (IK, YB, GE, NM), pp. 305–314.
ESEC-FSEESEC-FSE-2009-LoMP #automation #behaviour #model inference
Automatic steering of behavioral model inference (DL, LM, MP), pp. 345–354.
ICSEICSE-2009-DamasLRL #behaviour #modelling #process #synthesis
Analyzing critical process models through behavior model synthesis (CD, BL, FR, AvL), pp. 441–451.
ICSEICSE-2009-GhezziMM #behaviour #graph transformation #modelling
Synthesizing intensional behavior models by graph transformation (CG, AM, MM), pp. 430–440.
ICSEICSE-2009-HenklerGHSAEHLSG #behaviour #realtime #synthesis
Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite (SH, JG, MH, WS, KA, TE, CH, RL, AS, HG), pp. 615–618.
LCTESLCTES-2009-HinesPGWT #behaviour #lookahead
Guaranteeing instruction fetch behavior with a lookahead instruction fetch engine (LIFE) (SRH, YP, PG, DBW, GST), pp. 119–128.
ICLPICLP-2009-Simari #behaviour #modelling #probability #reasoning
Stochastic Reasoning with Models of Agent Behavior (GIS), pp. 538–539.
VMCAIVMCAI-2009-BentonF #behaviour #java #source code
Mostly-Functional Behavior in Java Programs (WCB, CNF), pp. 29–43.
ECSAECSA-2008-KamalA #behaviour #design pattern #modelling #using
Modeling Architectural Patterns’ Behavior Using Architectural Primitives (AWK, PA), pp. 164–179.
ECSAECSA-2008-MosserBR #behaviour #evolution #process #web #web service
Web Services Orchestrations Evolution: A Merge Process for Behavioral Evolution (SM, MBF, MR), pp. 35–49.
CASECASE-2008-NieIYTOM #analysis #behaviour #performance #video
High-speed video analysis of laboratory rats behaviors in forced swim test (YN, II, KY, TT, KO, HM), pp. 206–211.
DACDAC-2008-HaubeltSKM #agile #automation #behaviour #design #modelling #named #prototype
SystemCoDesigner: automatic design space exploration and rapid prototyping from behavioral models (CH, TS, JK, MM), pp. 580–585.
DACDAC-2008-PotkonjakK #behaviour
(Bio)-behavioral CAD (MP, FK), pp. 351–352.
ITiCSEITiCSE-2008-LevyB #behaviour #tool support
Perceived behavior control and its influence on the adoption of software tools (RBBL, MBA), pp. 169–173.
FASEFASE-2008-AlrajehRU #behaviour #modelling #using
Deriving Non-zeno Behavior Models from Goal Models Using ILP (DA, AR, SU), pp. 1–15.
ICPCICPC-2008-DaltonH #behaviour #runtime #tool support #visualisation
A Toolkit for Visualizing the Runtime Behavior of TinyOS Applications (ARD, JOH), pp. 43–52.
ICPCICPC-2008-FonsecaCHP #behaviour #how #web
How to Interconnect Operational and Behavioral Views of Web Applications (RFCdF, DCdC, PRH, MJVP), pp. 263–267.
SCAMSCAM-2008-GondowKI #analysis #approach #automation #behaviour #c #named #preprocessor
TBCppA: A Tracer Approach for Automatic Accurate Analysis of C Preprocessor’s Behaviors (KG, HK, TI), pp. 35–44.
FMFM-2008-DovlandJOS #behaviour #lazy evaluation #type system
Lazy Behavioral Subtyping (JD, EBJ, OO, MS), pp. 52–67.
SEFMSEFM-2008-Hammal #behaviour #component
Behavioral Compatibility of Active Components (YH), pp. 372–376.
GT-VCGT-VC-2007-ErmelE08 #animation #behaviour
Behavior-Preserving Simulation-to-Animation Model and Rule Transformations (CE, HE), pp. 55–74.
ICGTICGT-2008-Dang #behaviour #graph grammar #ocl #validation
Triple Graph Grammars and OCL for Validating System Behavior (DHD), pp. 481–483.
ICGTICGT-2008-RangelLKEB #behaviour #refactoring #using
Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts (GR, LL, BK, HE, PB), pp. 242–256.
CHICHI-2008-HayesGAT #behaviour #named
CareLog: a selective archiving tool for behavior management in schools (GRH, LMG, GDA, KNT), pp. 685–694.
CHICHI-2008-KramerR #behaviour #modelling #word
Word usage and posting behaviors: modeling blogs with unobtrusive data collection methods (ADIK, KR), pp. 1125–1128.
CHICHI-2008-LawranceBBR #behaviour #maintenance #using
Using information scent to model the dynamic foraging behavior of programmers in maintenance tasks (JL, RKEB, MMB, KR), pp. 1323–1332.
CHICHI-2008-SalminenSLRSRRE #behaviour
Emotional and behavioral responses to haptic stimulation (KS, VS, JL, JR, RS, RR, JR, GEE), pp. 1555–1562.
ICEISICEIS-HCI-2008-GeczyIAH #behaviour #enterprise #information management #network
Complex User Behavioral Networks at Enterprise Information Systems (PG, NI, SA, KH), pp. 233–239.
ICEISICEIS-ISAS1-2008-LanoC #behaviour #refinement #semantics #state machine
Semantics and Refinement of Behavior State Machines (KL, DC), pp. 42–49.
CIKMCIKM-2008-ParikhS #behaviour #query #semantics
Inferring semantic query relations from collective user behavior (NP, NS), pp. 349–358.
ICPRICPR-2008-AzoughDMH #behaviour #modelling #monitoring #personalisation
Intuitive event modeling for personalized behavior monitoring (AA, AD, FDM, MSH), pp. 1–4.
KDDKDD-2008-MeloAL #behaviour #metric #network #predict #question
Can complex network metrics predict the behavior of NBA teams? (POSVdM, VAFA, AAFL), pp. 695–703.
KRKR-2008-SardinaPG #behaviour #composition
Behavior Composition in the Presence of Failure (SS, FP, GDG), pp. 640–650.
SEKESEKE-2008-KimBBSA #behaviour #named #using #visualisation
VisRFID: Visualizing Customer Behavior in Geotemporal Space Using RFID Technology (BK, KB, MB, RS, BA), pp. 422–427.
SEKESEKE-2008-PengDZ #behaviour #correctness #design pattern #implementation #verification
Verifying Behavioral Correctness of Design Pattern Implementation (TP, JD, YZ), pp. 454–459.
SIGIRSIGIR-2008-Shah #behaviour #collaboration #comprehension #implementation
Understanding system implementation and user behavior in a collaborative information seeking environment (CS), p. 896.
MODELSMoDELS-2008-GoldsbyC #adaptation #automation #behaviour #generative #modelling #nondeterminism
Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty (HG, BHCC), pp. 568–583.
MODELSMoDELS-2008-JurackLMT #behaviour #consistency #diagrams #modelling #process
Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams (SJ, LL, KM, GT), pp. 341–355.
MODELSMoDELS-2008-OberCL #behaviour #composition #modelling #slicing #using
Behavioral Modelling and Composition of Object Slices Using Event Observation (IO, BC, YL), pp. 219–233.
MODELSMoDELS-2008-GoldsbyC #adaptation #automation #behaviour #generative #modelling #nondeterminism
Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty (HG, BHCC), pp. 568–583.
MODELSMoDELS-2008-JurackLMT #behaviour #consistency #diagrams #modelling #process
Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams (SJ, LL, KM, GT), pp. 341–355.
MODELSMoDELS-2008-OberCL #behaviour #composition #modelling #slicing #using
Behavioral Modelling and Composition of Object Slices Using Event Observation (IO, BC, YL), pp. 219–233.
SACSAC-2008-AtallaMAGA #behaviour #peer-to-peer #quality #web
Analyzing the impact of churn and malicious behavior on the quality of peer-to-peer web search (FA, DM, JMA, MAG, VA), pp. 1137–1144.
SACSAC-2008-AtoofianB #behaviour #embedded #latency #memory management
Exploiting program cyclic behavior to reduce memory latency in embedded processors (EA, AB), pp. 1482–1486.
SACSAC-2008-OrdinezDS #approach #behaviour #scheduling
A behavior priority driven approach for resource reservation scheduling (LO, DD, RMS), pp. 315–319.
ICSEICSE-2008-KoM #behaviour #debugging #why
Debugging reinvented: asking and answering why and why not questions about program behavior (AJK, BAM), pp. 301–310.
ICSEICSE-2008-LorenzoliMP #automation #behaviour #generative #modelling
Automatic generation of software behavioral models (DL, LM, MP), pp. 501–510.
SLESLE-2008-RiveraGLV #behaviour #maude #modelling #rule-based #semantics #visual notation
Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude (JER, EG, JdL, AV), pp. 54–73.
ASPLOSASPLOS-2008-BallapuramSL #behaviour #multi #semantics
Exploiting access semantics and program behavior to reduce snoop power in chip multiprocessors (CSB, AS, HHSL), pp. 60–69.
ICLPICLP-2008-ArandaPRV #behaviour #concurrent #constraints #probability #programming
Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming (JA, JAP, CR, FDV), pp. 682–686.
CBSECBSE-2007-SeryP #behaviour #component #composition #slicing #specification
Slicing of Component Behavior Specification with Respect to Their Composition (OS, FP), pp. 189–202.
ASEASE-2007-MateescuPS #adaptation #algebra #behaviour #component #composition #encoding #process
Behavioral adaptation of component compositions based on process algebra encodings (RM, PP, GS), pp. 385–388.
CASECASE-2007-00010DAR #behaviour #feature model #realtime
A Micropositioning System with Real-Time Feature Extraction Capability for Quantifying C. elegans Locomotive Behavior (WW, YS, SJD, MA, PJR), pp. 243–248.
CASECASE-2007-IshiiNYOM #behaviour #quantifier #realtime
Real-time and Long-time Quantification of Behavior of Laboratory Mice Scratching (II, YN, KY, KO, HM), pp. 628–633.
CASECASE-2007-KobetskiRAF #behaviour
Minimization of Expected Cycle Time in Manufacturing Cells with Uncontrollable Behavior (AK, JR, , MF), pp. 14–19.
CASECASE-2007-LeungG #behaviour #locality #multi
Multi-Robot Localization and Mapping Strategy: Utilizing Behavior Based Dynamic Tree Structure and Observer-explorer Routine (KKKL, GG), pp. 881–886.
DACDAC-2007-BogdanM #behaviour
Quantum-Like Effects in Network-on-Chip Buffers Behavior (PB, RM), pp. 266–267.
DACDAC-2007-YangHH #automation #behaviour #design #verification
Automatic Verification of External Interrupt Behaviors for Microprocessor Design (FCY, WKH, IJH), pp. 896–901.
DATEDATE-2007-BarajasCCMGCBI #behaviour #interactive #modelling #optimisation
Interactive presentation: Behavioral modeling of delay-locked loops and its application to jitter optimization in ultra wide-band impulse radio systems (EB, RC, DC, DM, JLG, IC, SB, MI), pp. 1430–1435.
DATEDATE-2007-ChenSN #behaviour #composition #semantics #specification
Compositional specification of behavioral semantics (KC, JS, SN), pp. 906–911.
DATEDATE-2007-IndrusiakTG #behaviour #execution #interactive #modelling #specification #uml
Interactive presentation: Executable system-level specification models containing UML-based behavioral patterns (LSI, AT, MG), pp. 301–306.
DATEDATE-2007-VermaHR #automation #behaviour #functional #generative #interactive #modelling
Interactive presentation: Automatic generation of functional coverage models from behavioral verilog descriptions (SV, IGH, KR), pp. 900–905.
HTHT-2007-DoerrDD #behaviour #traversal #web
Simplifying web traversals by recognizing behavior patterns (CD, DvD, AD), pp. 105–114.
VLDBVLDB-2007-RomanK #behaviour #concurrent #logic #reasoning #semantics #transaction #web #web service
Reasoning about the Behavior of Semantic Web Services with Concurrent Transaction Logic (DR, MK), pp. 627–638.
CSEETCSEET-2007-FrezzaT #behaviour #developer #testing
Testing as a Mental Discipline: Practical Methods for Affecting Developer Behavior (STF, MHT), pp. 355–356.
FASEFASE-2007-BurdyHP #behaviour #bytecode #design #interface #java #specification
Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode (LB, MH, MP), pp. 215–229.
PEPMPEPM-2007-RooverDBND #behaviour #logic #query #similarity #source code #using
Behavioral similarity matching using concrete source code templates in logic queries (CDR, TD, JB, CN, LD), pp. 92–101.
PLDIPLDI-2007-DingSKTHZ #behaviour #parallel
Software behavior oriented parallelization (CD, XS, KK, CT, RH, CZ), pp. 223–234.
ICALPICALP-2007-KobayashiS #behaviour #calculus #type system
Undecidability of 2-Label BPP Equivalences and Behavioral Type Systems for the π -Calculus (NK, TS), pp. 740–751.
IFMIFM-2007-ColvinGW #behaviour #probability
Probabilistic Timed Behavior Trees (RC, LG, KW), pp. 156–175.
SFMSFM-2007-Bernardo #behaviour #bibliography #markov
A Survey of Markovian Behavioral Equivalences (MB), pp. 180–219.
CHICHI-2007-Baker #behaviour #comprehension #modelling #student
Modeling and understanding students’ off-task behavior in intelligent tutoring systems (RSJdB), pp. 1059–1068.
HCIDHM-2007-OhS #behaviour #comprehension #nondeterminism
Understanding RUTH: Creating Believable Behaviors for a Virtual Human Under Uncertainty (IO, MS), pp. 443–452.
HCIHCI-AS-2007-KoJK #behaviour #comprehension #internet #mobile
Understanding Influence of Mobile Internet Services on Life Behavior of Mobile Users (SMK, YGJ, DK), pp. 944–953.
HCIHCI-AS-2007-LiuLS #behaviour #comprehension #design #game studies #online #what
What Makes Game Players Want to Play More? A Mathematical and Behavioral Understanding of Online Game Design (DL, XL, RS), pp. 284–293.
HCIHCI-AS-2007-MorDML #approach #behaviour
A Three-Level Approach for Analyzing User Behavior in Ongoing Relationships (EM, MGD, JM, SL), pp. 971–980.
HCIHCI-AS-2007-TanGT #behaviour #online
An Investigation of Online Group-Buying Institution and Buyer Behavior (CHT, KYG, HHT), pp. 124–131.
HCIHCI-IDU-2007-GiersichFFKRS #approach #behaviour #modelling #recognition #towards
Towards an Integrated Approach for Task Modeling and Human Behavior Recognition (MG, PF, GF, TK, DR, HS), pp. 1109–1118.
HCIHCI-IPT-2007-KimC #behaviour #comprehension
Understanding Camera Phone Imaging: Motivations, Behaviors and Meanings (GK, WC), pp. 374–383.
HCIHCI-MIE-2007-LeeP07a #behaviour #generative #speech #synthesis
Customized Message Generation and Speech Synthesis in Response to Characteristic Behavioral Patterns of Children (HJL, JCP), pp. 114–123.
HCIHCI-MIE-2007-SerbanTM #behaviour #interface #learning #predict
A Learning Interface Agent for User Behavior Prediction (GS, AT, GSM), pp. 508–517.
HCIHCI-MIE-2007-TakashimaT #behaviour #low level #video
Sharing Video Browsing Style by Associating Browsing Behavior with Low-Level Features of Videos (AT, YT), pp. 518–526.
HCIHCI-MIE-2007-YecanSBC #behaviour #multimodal
Tracing Users’ Behaviors in a Multimodal Instructional Material: An Eye-Tracking Study (EY, ES, BB, ), pp. 755–762.
HCIHIMI-IIE-2007-Liu07a #assessment #behaviour #industrial
Economic Assessment of Industrial Accidents Caused by Abnormal Behaviors (HL), pp. 1067–1071.
HCIHIMI-IIE-2007-SatoA #analysis #behaviour
Analysis of Naturalistic Driving Behavior While Approaching an Intersection and Implications for Route Guidance Presentation (TS, MA), pp. 618–627.
HCIHIMI-MTT-2007-YooYL #behaviour #design #human-computer
Information Behaviors of HCI Professionals: Design of Intuitive Reference System for Technologies (EY, MY, YL), pp. 237–246.
HCIOCSC-2007-YehWH #behaviour #case study #online
A Study of Emotional and Rational Purchasing Behavior for Online Shopping (LY, EMYW, SLH), pp. 222–227.
HCIOCSC-2007-ZhouS #behaviour #collaboration #community #towards
Towards Building a Math Discourse Community: Investigating Collaborative Information Behavior (NZ, GS), pp. 509–518.
CAiSECAiSE-2007-DeckerW #behaviour #consistency #integration #process
Behavioral Consistency for B2B Process Integration (GD, MW), pp. 81–95.
CAiSECAiSE-2007-LiuBW #behaviour #modelling #using
Modeling Business Contexture and Behavior Using Business Artifacts (RL, KB, FYW), pp. 324–339.
EDOCEDOC-2007-RiveraV #behaviour #modelling
Adding Behavior to Models (JER, AV), pp. 169–180.
ECIRECIR-2007-SandersonD #behaviour
Examining Repetition in User Search Behavior (MS, STD), pp. 597–604.
KDDKDD-2007-AsurPU #behaviour #framework #graph #interactive
An event-based framework for characterizing the evolutionary behavior of interaction graphs (SA, SP, DU), pp. 913–921.
SIGIRSIGIR-2007-WhiteM #behaviour #query
Investigating the querying and browsing behavior of advanced search engine users (RWW, DM), pp. 255–262.
MODELSMoDELS-2007-KienzleDV #behaviour #design #game studies #modelling
Model-Based Design of Computer-Controlled Game Character Behavior (JK, AD, HV), pp. 650–665.
MODELSMoDELS-2007-KienzleDV #behaviour #design #game studies #modelling
Model-Based Design of Computer-Controlled Game Character Behavior (JK, AD, HV), pp. 650–665.
ECOOPECOOP-2007-CottenierBE #behaviour #implementation #specification
Joinpoint Inference from Behavioral Specification to Implementation (TC, AvdB, TE), pp. 476–500.
SACSAC-2007-GustafssonTDH #approach #aspect-oriented #behaviour #embedded #evolution #performance
Engineering active behavior of embedded software to improve performance and evolution: an aspect-oriented approach (TG, AT, YD, JH), pp. 673–679.
SACSAC-2007-Kofron #behaviour #component #protocol #using
Checking software component behavior using behavior protocols and spin (JK), pp. 1513–1517.
ESEC-FSEESEC-FSE-2007-ChristodorescuJK #behaviour #mining #specification
Mining specifications of malicious behavior (MC, SJ, CK), pp. 5–14.
ESEC-FSEESEC-FSE-2007-KosterK #behaviour #test coverage #testing
State coverage: a structural test adequacy criterion for behavior checking (KK, DCK), pp. 541–544.
HPDCHPDC-2007-MeeheanL #behaviour #component #distributed #middleware
Environmentally responsible middleware: : an altruistic behavior model for distributed middleware components (JM, ML), pp. 209–210.
SOSPSOSP-2007-KicimanL #behaviour #framework #monitoring #named #web
AjaxScope: a platform for remotely monitoring the client-side behavior of web 2.0 applications (EK, VBL), pp. 17–30.
CAVCAV-2007-LeavensKP #behaviour #composition #functional #java #ml #specification #tutorial #verification
A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java (GTL, JRK, EP), p. 37.
CBSECBSE-2006-AttieLPC #behaviour #component #design #explosion #verification
Behavioral Compatibility Without State Explosion: Design and Verification of a Component-Based Elevator Control System (PCA, DHL, AP, HC), pp. 33–49.
ASEASE-2006-TillmannS #behaviour #generative
Mock-object generation with behavior (NT, WS), pp. 365–368.
DACDAC-2006-CongFHJZ #behaviour #communication
Behavior and communication co-optimization for systems with sequential communication media (JC, YF, GH, WJ, ZZ), pp. 675–678.
DATEDATE-2006-PatelSB #behaviour #design
Heterogeneous behavioral hierarchy for system level designs (HDP, SKS, RAB), pp. 565–570.
HTHT-2006-TzagarakisVK #behaviour #design
Supporting the design of behaviors in Callimachus (MT, MV, NK), pp. 115–118.
CSEETCSEET-2006-FrezzaT #behaviour #student #testing
Testing as a Mental Discipline: Practical Methods for Affecting Student Behavior (STF, MHT), p. 241.
FASEFASE-2006-DevereuxC #automation #behaviour #modelling
Automated Support for Building Behavioral Models of Event-Driven Systems (BD, MC), pp. 122–138.
FASEFASE-2006-SridharH #behaviour
A Behavioral Model for Software Containers (NS, JOH), pp. 139–154.
ICPCICPC-2006-KoskinenKS #approach #behaviour #comprehension
Profile-Based Approach to Support Comprehension of Software Behavior (JK, MK, TS), pp. 212–224.
ICPCICPC-2006-RooverMGGD #approach #behaviour #documentation #lightweight #verification
An Approach to High-Level Behavioral Program Documentation Allowing Lightweight Verification (CDR, IM, KG, KG, TD), pp. 202–211.
SEFMSEFM-2006-MarcheR #behaviour #java #transaction #verification
Verification of JAVA CARD Applets Behavior with Respect to Transactions and Card Tears (CM, NR), pp. 137–146.
CHICHI-2006-EngLTCHV #adaptation #automation #behaviour #generative #performance #predict
Generating automated predictions of behavior strategically adapted to specific performance objectives (KE, RLL, IT, AC, AH, AHV), pp. 621–630.
CHICHI-2006-KamvarB #behaviour #case study #mobile #scalability
A large scale study of wireless search behavior: Google mobile search (MK, SB), pp. 701–709.
CHICHI-2006-PearsonHBPN #adaptation #behaviour #how #human-computer #word
Adaptive language behavior in HCI: how expectations and beliefs about a system affect users’ word choice (JP, JH, HPB, MJP, CN), pp. 1177–1180.
CHICHI-2006-RafflePIL #behaviour #game studies
Beyond record and play: backpacks: tangible modulators for kinetic behavior (HR, AJP, HI, JL), pp. 681–690.
CSCWCSCW-2006-RazaviI #behaviour #information management #learning
A grounded theory of information sharing behavior in a personal learning space (MNR, LI), pp. 459–468.
CAiSECAiSE-2006-AckermannT #behaviour #component #library #ocl #specification
A Library of OCL Specification Patterns for Behavioral Specification of Software Components (JA, KT), pp. 255–269.
ICEISICEIS-ISAS-2006-ChengX #approach #behaviour #concurrent #detection #formal method #online
A Formal Approach to Detecting Shilling Behaviors in Concurrent Online Auctions (YTC, HX), pp. 375–381.
ICEISICEIS-ISAS-2006-SubramaniamKG #behaviour #evolution #predict #process
Business Processes: Behavior Prediction and Capturing Reasons for Evolution (SS, VK, DG), pp. 3–10.
ICPRICPR-v1-2006-GormanTBH #behaviour #game studies #interactive
Bayesian Imitation of Human Behavior in Interactive Computer Games (BG, CT, CB, MH), pp. 1244–1247.
ICPRICPR-v1-2006-GunesP #analysis #automation #behaviour #database #gesture
A Bimodal Face and Body Gesture Database for Automatic Analysis of Human Nonverbal Affective Behavior (HG, MP), pp. 1148–1153.
ICPRICPR-v1-2006-LiHWW #behaviour #image #modelling #recognition
Behavior Modeling and Recognition Based on Space-Time Image Features (HL, ZH, YW, FW), pp. 243–246.
ICPRICPR-v1-2006-ThurauHB #behaviour #classification #game studies #video
Classification of Team Behaviors in Sports Video Games (CT, TH, CB), pp. 1188–1191.
ICPRICPR-v1-2006-XuSL #adaptation #behaviour #detection #monitoring
Tree Based Behavior Monitoring for Adaptive Fraud Detection (JX, AHS, QL), pp. 1208–1211.
ICPRICPR-v3-2006-DuongPBV #behaviour #exponential #markov #modelling #product line #recognition
Human Behavior Recognition with Generic Exponential Family Duration Modeling in the Hidden Semi-Markov Model (TVD, DQP, HHB, SV), pp. 202–207.
ICPRICPR-v4-2006-YamadaKNT #behaviour #identification
Hipprint Person Identification and Behavior Analys (MY, MK, HN, JT), pp. 533–536.
KDDKDD-2006-AgichteinZ #behaviour #identification #mining #web
Identifying “best bet” web search results by mining past user behavior (EA, ZZ), pp. 902–908.
SIGIRSIGIR-2006-AgichteinBD #behaviour #ranking #web
Improving web search ranking by incorporating user behavior information (EA, EB, STD), pp. 19–26.
SIGIRSIGIR-2006-MurrayLC #behaviour #modelling #predict #query
Action modeling: language models that predict query behavior (GCM, JJL, AC), pp. 681–682.
MODELSMoDELS-2006-GarousiBL #analysis #behaviour #dependence #distributed #modelling #uml #visualisation
Analysis and Visualization of Behavioral Dependencies Among Distributed Objects Based on UML Models (VG, LCB, YL), pp. 365–379.
MODELSMoDELS-2006-GarousiBL #analysis #behaviour #dependence #distributed #modelling #uml #visualisation
Analysis and Visualization of Behavioral Dependencies Among Distributed Objects Based on UML Models (VG, LCB, YL), pp. 365–379.
ECOOPECOOP-2006-MitchellSS #behaviour #modelling #runtime
Modeling Runtime Behavior in Framework-Based Applications (NM, GS, HS), pp. 429–451.
PPDPPPDP-2006-RooverBD #behaviour #fuzzy #logic #similarity #strict #validation
Combining fuzzy logic and behavioral similarity for non-strict program validation (CDR, JB, TD), pp. 15–26.
SACSAC-2006-ColletOR #behaviour #component #on the
On contracting different behavioral properties in component-based systems (PC, AO, NR), pp. 1798–1799.
SACSAC-2006-OsorioK #analysis #behaviour
An initial analysis and presentation of malware exhibiting swarm-like behavior (FCCO, ZK), pp. 323–329.
ICSEICSE-2006-NakamichiSSM #behaviour #detection #usability #using #web
Detecting low usability web pages using quantitative data of users’ behavior (NN, KS, MS, KiM), pp. 569–576.
ICSEICSE-2006-PettitG #behaviour #concurrent #design pattern #modelling
Modeling behavioral design patterns of concurrent objects (RGPI, HG), pp. 202–211.
SPLCSPLC-2006-BrownGBSKG #behaviour #embedded #feature model #modelling #product line #weaving
Weaving Behavior into Feature Models for Embedded System Families (TJB, RG, RB, ITAS, PK, CG), pp. 52–64.
HPCAHPCA-2006-ChungCMMCKO #behaviour #parallel #source code #thread #transaction
The common case transactional behavior of multithreaded programs (JC, HC, CCM, AM, BDC, CK, KO), pp. 266–277.
ISMMISMM-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.
AMOSTAMOST-J-2005-AugustonMS06 #assessment #automation #behaviour #modelling #safety #testing
Environment behavior models for automation of testing and assessment of system safety (MA, JBM, MtS), pp. 971–980.
ISSTAISSTA-2006-KiviluomaKM #architecture #aspect-oriented #behaviour #monitoring #runtime #using
Run-time monitoring of architecturally significant behaviors using behavioral profiles and aspects (KK, JK, TM), pp. 181–190.
CASECASE-2005-Hwang #approach #automation #behaviour #configuration management #finite #generative
Generating finite-state global behavior of reconfigurable automation systems: DEVS approach (MHH), pp. 254–260.
CASECASE-2005-LeeK #behaviour #distributed #multi
Estimating global stress environment by observing local behavior in distributed multiagent systems (SL, SRTK), pp. 215–219.
DACDAC-2005-GuWDZ #behaviour #design #incremental #physics
Incremental exploration of the combined physical and behavioral design space (Z(G, JW, RPD, HZ), pp. 208–213.
DACDAC-2005-WeiD #behaviour #development #megamodelling
Systematic development of analog circuit structural macromodels through behavioral model decoupling (YW, AD), pp. 57–62.
DATEDATE-2005-ForzanP #analysis #behaviour #library #modelling
Modeling the Non-Linear Behavior of Library Cells for an Accurate Static Noise Analysis (CF, DP), pp. 982–983.
ITiCSEITiCSE-2005-GomesSVG #behaviour #multi #named
SoundSpaces: behavior based control system for multimedia systems (RG, RS, JV, NG), p. 407.
ITiCSEITiCSE-2005-Walls #behaviour
Integrating views on ethical behavior for computer professionals in an interdisciplinary environment (DCW), p. 414.
FoSSaCSFoSSaCS-2005-DengP #axiom #behaviour #finite #probability
Axiomatizations for Probabilistic Finite-State Behaviors (YD, CP), pp. 110–124.
CSMRCSMR-2005-Hamou-LhadjBAL #behaviour #design #execution #modelling
Recovering Behavioral Design Models from Execution Traces (AHL, EB, DA, TCL), pp. 112–121.
IWPCIWPC-2005-DuxIDFK #behaviour #visualisation
Visualizing the Behavior of Dynamically Modifiable Code (BD, AI, SKD, DF, SGK), pp. 337–340.
IFMIFM-2005-GrunskeLYW #analysis #automation #behaviour #design #specification
An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees (LG, PAL, NY, KW), pp. 129–149.
CHICHI-2005-KaurH #behaviour #comparison #predict
A comparison of LSA, wordNet and PMI-IR for predicting user click behavior (IK, AJH), pp. 51–60.
KDDKDD-2005-SongLTS #behaviour #modelling #predict
Modeling and predicting personal information dissemination behavior (XS, CYL, BLT, MTS), pp. 479–488.
SEKESEKE-2005-LiW #approach #behaviour #implementation #web
Web Search Based on Ant Behavior: Approach and Implementation in Case of Interlegis (WL, MQW), pp. 572–577.
MODELSMoDELS-2005-PretschnerP #behaviour #modelling #refactoring
Computing Refactorings of Behavior Models (AP, WP), pp. 126–141.
MODELSMoDELS-2005-PretschnerP #behaviour #modelling #refactoring
Computing Refactorings of Behavior Models (AP, WP), pp. 126–141.
SACSAC-2005-DiazLPCV #approach #behaviour #e-commerce #probability #protocol #realtime #set #validation
An approach to handle real time and probabilistic behaviors in e-commerce: validating the SET protocol (GD, KGL, JJP, FC, VV), pp. 815–820.
AMOSTAMOST-2005-AugustonMS #automation #behaviour #generative #modelling #testing
Environment behavior models for scenario generation and testing automation (MA, JBM, MtS).
WICSAWICSA-2004-PettitG #architecture #behaviour #concurrent #modelling #petri net #using
Modeling Behavioral Patterns of Concurrent Software Architectures Using Petri Nets (RGPI, HG), pp. 57–68.
ASEASE-2004-HallZ #behaviour #requirements #validation
Validating Personal Requirements by Assisted Symbolic Behavior Browsing (RJH, AZ), pp. 56–66.
ASEASE-2004-MehtaMSA #architecture #behaviour #composition #modelling
Modeling Behavior in Compositions of Software Architectural Primitives (NRM, NM, MS, FA), pp. 371–374.
DACDAC-2004-KappS #automation #behaviour #control flow #scheduling #synthesis
Automatic correct scheduling of control flow intensive behavioral descriptions in formal synthesis (KK, VKS), pp. 61–66.
DACDAC-2004-OzturkKDCI #behaviour
Data compression for improving SPM behavior (ÖÖ, MTK, ID, GC, MJI), pp. 401–406.
DATEDATE-v1-2004-BriereCMMOG #behaviour #design #modelling #tool support
Design and Behavioral Modeling Tools for Optical Network-on-Chip (MB, LC, TM, FM, IO, FG), pp. 738–739.
DATEDATE-v1-2004-HuangM #behaviour #identification #modelling
Identification and Modeling of Nonlinear Dynamic Behavior in Analog Circuits (XH, HAM), pp. 460–467.
DATEDATE-v1-2004-NathkeBHB #automation #behaviour #generative
Hierarchical Automatic Behavioral Model Generation of Nonlinear Analog Circuits Based on Nonlinear Symbolic Techniques (LN, VB, LH, EB), pp. 442–447.
DocEngDocEng-2004-KingST #animation #behaviour #functional #programming #realtime #xml
Behavioral reactivity and real time programming in XML: functional programming meets SMIL animation (PRK, PS, SJT), pp. 57–66.
HTHT-2004-LepthienA #behaviour
Unifying structure, behavior, and data with themis types and templates (WVL, KMA), pp. 256–265.
FoSSaCSFoSSaCS-2004-Caires #behaviour #logic #π-calculus
Behavioral and Spatial Observations in a Logic for the π-Calculus (LC), pp. 72–89.
FoSSaCSFoSSaCS-2004-GiambiagiSV #behaviour #calculus #infinity #on the #process
On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi (PG, GS, FDV), pp. 226–240.
IWPCIWPC-2004-Kelsen #behaviour #comprehension #source code
A Simple Static Model for Understanding the Dynamic Behavior of Programs (PK), pp. 46–51.
WCREWCRE-2004-ParkKWY #analysis #behaviour #design pattern
A Static Reference Flow Analysis to Understand Design Pattern Behavior (CP, YK, CW, KY), pp. 300–301.
SEFMSEFM-2004-MoisanRR #behaviour #component #formal method #framework #towards
Towards Formalizing Behavioral Substitutability in Component Frameworks (SM, AR, JPR), pp. 122–131.
SEFMSEFM-2004-RouffVHTR #behaviour #formal method #predict
Properties of a Formal Method for Prediction of Emergent Behaviors in Swarm-Based Systems (CR, AV, MGH, WT, JLR), pp. 24–33.
CHICHI-2004-BakerCKW #behaviour #game studies #student
Off-task behavior in the cognitive tutor classroom: when students “game the system” (RSB, ATC, KRK, AZW), pp. 383–390.
CHICHI-2004-HancockTR #behaviour #communication #design
Deception and design: the impact of communication technology on lying behavior (JTH, JTS, TR), pp. 129–134.
CHICHI-2004-KoM #behaviour #debugging #design #interface
Designing the whyline: a debugging interface for asking questions about program behavior (AJK, BAM), pp. 151–158.
CHICHI-2004-TeevanAAK #behaviour #case study
The perfect search engine is not enough: a study of orienteering behavior in directed search (JT, CA, MSA, DRK), pp. 415–422.
EDOCEDOC-2004-KathBBEFH #behaviour #corba #execution #modelling #towards
Towards Executable Models: Transforming EDOC Behavior Models to CORBA and BPEL (OK, AB, MB, KPE, MF, CH), pp. 267–274.
ICEISICEIS-v1-2004-EstevesP #behaviour #enterprise #implementation
Organizational and Technological Critical Success Factors Behavior Along the ERP Implementation Phases (JE, JAP), pp. 45–53.
ICPRICPR-v4-2004-KamTEYW #automation #behaviour #recognition
Automated Recognition of Highly Complex Human Behavior (AHK, KAT, HLE, WYY, JW), pp. 327–330.
SIGIRSIGIR-2004-GrankaJG #analysis #behaviour
Eye-tracking analysis of user behavior in WWW search (LAG, TJ, GG), pp. 478–479.
UMLUML-2004-Reinhartz-BergerS #analysis #approach #behaviour #domain model #modelling
Behavioral Domain Analysis — The Application-Based Domain Modeling Approach (IRB, AS), pp. 410–424.
OOPSLAOOPSLA-2004-GeorgesBEB #behaviour #java
Method-level phase behavior in java workloads (AG, DB, LE, KDB), pp. 270–287.
OOPSLAOOPSLA-2004-HauswirthSDH #behaviour #comprehension #profiling
Vertical profiling: understanding the behavior of object-priented applications (MH, PFS, AD, MH), pp. 251–269.
PADLPADL-2004-WangRYC #behaviour #execution #requirements #symbolic computation
Symbolic Execution of Behavioral Requirements (TW, AR, RHCY, SCC), pp. 178–192.
SACSAC-J-2003-Dong04 #behaviour #diagrams
Adding pattern related information in structural and behavioral diagrams (JD), pp. 293–300.
ICSEICSE-2004-BirmanRV #behaviour #web #web service
Adding High Availability and Autonomic Behavior to Web Services (KPB, RvR, WV), pp. 17–26.
ICSEICSE-2004-Mariani #behaviour #component #evolution #verification
Behavior Capture and Test for Verifying Evolving Component-Based Systems (LM), pp. 78–80.
ASEASE-2003-BunusF #automation #behaviour #fault #locality #modelling #physics #simulation #verification
Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation Models (PB, PF), pp. 253–258.
DACDAC-2003-ClarkeKY #behaviour #bound #c #consistency #model checking #source code #using
Behavioral consistency of C and verilog programs using bounded model checking (EMC, DK, KY), pp. 368–371.
DACDAC-2003-KiranJRN #behaviour #communication #complexity #effectiveness #modelling
A complexity effective communication model for behavioral modeling of signal processing applications (MNVSK, MNJ, PR, SKN), pp. 412–415.
DACDAC-2003-RootWT #behaviour #metric #modelling #simulation
New techniques for non-linear behavioral modeling of microwave/RF ICs from simulation and nonlinear microwave measurements (DER, JW, NT), pp. 85–90.
DACDAC-2003-SoDH #behaviour #design #synthesis #tool support #using
Using estimates from behavioral synthesis tools in compiler-directed design space exploration (BS, PCD, MWH), pp. 514–519.
DATEDATE-2003-BruschiF #behaviour #modelling #synthesis
Synthesis of Complex Control Structures from Behavioral SystemC Models (FB, FF), pp. 20112–20119.
DATEDATE-2003-EberleVWDGM #automation #behaviour #modelling #simulation
Behavioral Modeling and Simulation of a Mixed Analog/Digital Automatic Gain Control Loop in a 5 GHz WLAN Receiver (WE, GV, PW, SD, GGEG, HDM), pp. 10642–10649.
DATEDATE-2003-LuzKKS #behaviour #data transformation
Generalized Data Transformations for Enhancing Cache Behavior (VDLL, MTK, IK, US), pp. 10906–10911.
DATEDATE-2003-MemikKCK #approach #behaviour
An Integrated Approach for Improving Cache Behavior (GM, MTK, ANC, IK), pp. 10796–10801.
DATEDATE-2003-SaputraVKIBKZ #behaviour #encryption #energy
Masking the Energy Behavior of DES Encryption (HS, NV, MTK, MJI, RRB, SK, WZ), pp. 10084–10089.
HTHT-2003-AndersonSL #behaviour
Structure and behavior awareness in themis (KMA, SAS, WVL), pp. 138–147.
ITiCSEITiCSE-2003-DannDCDRP #behaviour #named #visualisation
Objects: visualization of behavior and state (WD, TD, SC, KD, KR, RP), pp. 84–88.
FASEFASE-2003-ZhaoR #aspectj #behaviour #interface #named #specification
Pipa: A Behavioral Interface Specification Language for AspectJ (JZ, MCR), pp. 150–165.
STOCSTOC-2003-Ajtai #algorithm #approximate #behaviour #worst-case
The worst-case behavior of schnorr’s algorithm approximating the shortest nonzero vector in a lattice (MA), pp. 396–406.
STOCSTOC-2003-GilbertK #behaviour #on the
On the fractal behavior of TCP (ACG, HJK), pp. 297–306.
SEFMSEFM-2003-LitvakTY #behaviour #consistency #diagrams #uml #validation
Behavioral Consistency Validation of UML Diagrams (BL, SST, AY), pp. 118–125.
AGTIVEAGTIVE-2003-MarburgerW #analysis #behaviour #graph transformation
Behavioral Analysis of Telecommunication Systems by Graph Transformations (AM, BW), pp. 202–219.
ICEISICEIS-v2-2003-ReBB #behaviour #identification
The Use of Neurofuzzy Computable System to Identify Prominent Behavior Characteristics in Successful Entrepreneurs (AR, RB, LB), pp. 522–528.
KDDKDD-2003-GunduzO #behaviour #modelling #predict #representation #web
A Web page prediction model based on click-stream tree representation of user behavior (SG, MTÖ), pp. 535–540.
KDDKDD-2003-Weigend #behaviour
Analyzing customer behavior at Amazon.com (ASW), p. 5.
UMLUML-2003-PilskalnsAGF #behaviour #testing #uml
Rigorous Testing by Merging Structural and Behavioral UML Representations (OP, AAA, SG, RBF), pp. 234–248.
OOPSLAOOPSLA-2003-TanterNCC #behaviour
Partial behavioral reflection: spatial and temporal selection of reification (ÉT, JN, DC, PC), pp. 27–46.
REFSQREFSQ-J-2002-AntonEC03 #behaviour #policy #privacy #requirements #security
Precluding incongruous behavior by aligning software requirements with security and privacy policies (AIA, JBE, RAC), pp. 967–977.
SACSAC-2003-CasteleynTB #adaptation #behaviour #design #web
Design Time Support for Adaptive Behavior in Web Sites (SC, ODT, SB), pp. 1222–1228.
SACSAC-2003-LanzenbergerMOP #behaviour #visualisation
Applying Information Visualization Techniques to Capture and Explore the Course of Cognitive Behavioral Therapy (ML, SM, SO, CP), pp. 268–274.
ICSEICSE-2003-MarburgerW #behaviour #comprehension #tool support
Tools for Understanding the Behavior of Telecommunication Systems (AM, BW), pp. 430–443.
HPCAHPCA-2003-KarlssonMHW #behaviour #memory management #middleware
Memory System Behavior of Java-Based Middleware (MK, KEM, EH, DAW), pp. 217–228.
FATESFATES-2003-TylerS #behaviour #black box #testing
Black-Box Testing of Grey-Box Behavior (BT, NS), pp. 1–14.
VMCAIVMCAI-2003-SteffenH #behaviour
Behavior-Based Model Construction (BS, HH), pp. 5–19.
CBSECBSE-2002-VecellioTS #behaviour #component #predict
Containers for Predictable Behavior of Component-based Software (GJV, WMT, RMS), p. 2.
DACDAC-2002-DrinicK #behaviour #synthesis
Behavioral synthesis via engineering change (MD, DK), pp. 18–21.
DACDAC-2002-Perrott #behaviour #performance #simulation
Fast and accurate behavioral simulation of fractional-N frequency synthesizers and other PLL/DLL circuits (MHP), pp. 498–503.
DACDAC-2002-VanasscheGS #behaviour #modelling
Behavioral modeling of (coupled) harmonic oscillators (PV, GGEG, WMCS), pp. 536–541.
DATEDATE-2002-VanasscheGS #behaviour #matrix #modelling #using
Constructing Symbolic Models for the Input/Output Behavior of Periodically Time-Varying Systems Using Harmonic Transfer Matrices (PV, GGEG, WMCS), pp. 279–284.
ITiCSEITiCSE-2002-DagdilelisSE #behaviour #what
What they really do?: attempting (once again) to model novice programmers’ behavior (VD, MS, GE), p. 244.
SCAMSCAM-J-2001-SchuppGML02 #behaviour #library #semantics
Semantic and behavioral library transformations (SS, DG, DRM, SML), pp. 797–810.
SASSAS-2002-Hymans #abstract interpretation #behaviour #safety
Checking Safety Properties of Behavioral VHDL Descriptions by Abstract Interpretation (CH), pp. 444–460.
ICGTICGT-2002-Harel #behaviour #requirements #why
Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?) (DH), pp. 6–7.
CHICHI-2002-FioreTS #behaviour
Observed behavior and perceived value of authors in usenet newsgroups: bridging the gap (ATF, SLT, MAS), pp. 323–330.
ICMLICML-2002-LaudD #behaviour #learning
Reinforcement Learning and Shaping: Encouraging Intended Behaviors (AL, GD), pp. 355–362.
ICMLICML-2002-Zhang #behaviour #consistency #statistics
Statistical Behavior and Consistency of Support Vector Machines, Boosting, and Beyond (TZ0), pp. 690–700.
ICPRICPR-v1-2002-NguyenVWB #behaviour #monitoring #multi #people #using
Hierarchical Monitoring of People’s Behaviors in Complex Environments Using Multiple Cameras (NTN, SV, GAWW, HHB), pp. 13–16.
ICPRICPR-v1-2002-RahmanNI #behaviour #using
Recognizing Human Behavior Using Universal Eigenspace (MMR, KN, SI), pp. 295–298.
ICPRICPR-v4-2002-MoriyamaKCXAGI #automation #behaviour #recognition
Automatic Recognition of Eye Blinking in Spontaneously Occurring Behavior (TM, TK, JFC, JX, ZA, JG, HI), p. 78–?.
KDDKDD-2002-El-RamlySS #approach #behaviour #mining #runtime
From run-time behavior to usage scenarios: an interaction-pattern mining approach (MER, ES, PGS), pp. 315–324.
SEKESEKE-2002-XuVIY #behaviour #modelling #multi #using #verification
Modeling and verifying multi-agent behaviors using predicate/transition nets (DX, RAV, TRI, JY), pp. 193–200.
ECOOPECOOP-2002-AlagicK #behaviour #self
Behavioral Compatibility of Self-Typed Theories (SA, SK), pp. 585–608.
TOOLSTOOLS-USA-2002-SoundarajanT #behaviour #polymorphism #testing
Testing Polymorphic Behavior (NS, BT), pp. 173–188.
SACSAC-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.
SACSAC-2002-GarcesF #analysis #behaviour #distributed
Analysis of Distributed Routing Balancing behavior (IG, DF), pp. 817–824.
ASPLOSASPLOS-2002-SherwoodPHC #automation #behaviour #scalability
Automatically characterizing large scale program behavior (TS, EP, GH, BC), pp. 45–57.
HPCAHPCA-2002-SairSC #behaviour
Quantifying Load Stream Behavior (SS, TS, BC), pp. 197–208.
HPDCHPDC-2002-AllcockBBFGILP #behaviour #distributed #named #scalability #visualisation
GridMapper: A Tool for Visualizing the Behavior of Large-Scale Distributed Systems (WEA, JB, JB, ITF, JG, JAI, JML, MEP), pp. 179–187.
CAVCAV-2002-AlurMY #behaviour #model checking #performance
Exploiting Behavioral Hierarchy for Efficient Model Checking (RA, MM, ZY), pp. 338–342.
SATSAT-2002-SlaneyW #behaviour #optimisation
Phase Transition Behavior: From Decision to Optimization (JS, TW), p. 4.
ASEASE-2001-LedangS #behaviour #diagrams #modelling #uml
Modeling Class Operations in B: Application to UML Behavioral Diagrams (HL, JS), pp. 289–296.
ASEASE-2001-PavlovicS #behaviour #composition #refinement #specification
Composition and Refinement of Behavioral Specifications (DP, DRS), pp. 157–165.
DACDAC-2001-GanesanV #behaviour #clustering #synthesis
Behavioral Partitioning in the Synthesis of Mixed Analog-Digital Systems (SG, RV), pp. 133–138.
DACDAC-2001-KohnoM #behaviour #pipes and filters #verification
A New Verification Methodology for Complex Pipeline Behavior (KK, NM), pp. 816–821.
DATEDATE-2001-Al-ArsG #array #behaviour #embedded #memory management
Static and dynamic behavior of memory cell array opens and shorts in embedded DRAMs (ZAA, AJvdG), pp. 496–503.
DATEDATE-2001-BekooijEWB #behaviour #functional
Functional units with conditional input/output behavior in VLIW processors (MB, LJME, AvdW, NGB), p. 822.
DATEDATE-2001-EconomakosOPPP #behaviour #synthesis
Behavioral synthesis with systemC (GE, PO, IP, IP, GKP), pp. 21–25.
DATEDATE-2001-FerrandiFSFF #behaviour #functional #generative #modelling #testing
Functional test generation for behaviorally sequential models (FF, GF, DS, AF, FF), pp. 403–410.
DATEDATE-2001-HajjarCMAB #behaviour #quality #statistics #using #verification
High quality behavioral verification using statistical stopping criteria (AH, TC, IM, AAA, MB), pp. 411–419.
VLDBVLDB-2001-AnSVKIG #behaviour #data access #energy
Analyzing energy behavior of spatial access methods for memory-resident data (NA, AS, NV, MTK, MJI, SG), pp. 411–420.
ICSMEICSM-2001-CookHM #behaviour #concurrent
Measuring Behavioral Correspondence to a Timed Concurrent Model (JEC, CH, CM), pp. 332–341.
ICSMEICSM-2001-SchauerK #behaviour #metric
The Method Replacement Indicator: A Metric for Analyzing Behavioral Substitution (RS, RKK), pp. 754–764.
IWPCIWPC-2001-StrouliaS #behaviour #comprehension
Structure-Behavior-Function Program Understanding (ES, TS), p. 120.
PLDIPLDI-2001-ChatterjeePHL #analysis #behaviour
Exact Analysis of the Cache Behavior of Nested Loops (SC, EP, PJH, ARL), pp. 286–297.
SASSAS-2001-RajamaniR #behaviour #π-calculus
A Behavioral Module System for the π-Calculus (SKR, JR), pp. 375–394.
FMFME-2001-HelkeS #analysis #behaviour #consistency #eiffel #library
Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries (SH, TS), pp. 20–42.
IFLIFL-2001-Minamide #behaviour #runtime #type system
Runtime Behavior of Conversion Interpretation of Subtyping (YM), pp. 155–167.
CHICHI-2001-CardPWMRSB #analysis #behaviour #graph #protocol #usability #web
Information scent as a driver of Web behavior graphs: results of a protocol analysis method for Web usability (SKC, PP, MMVDW, JBM, RWR, PKS, JB), pp. 498–505.
ICMLICML-2001-ChajewskaKO #behaviour #learning
Learning an Agent’s Utility Function by Observing Behavior (UC, DK, DO), pp. 35–42.
KDDKDD-2001-AdderleyM #behaviour #case study #commit #data mining #mining #modelling
Data mining case study: modeling the behavior of offenders who commit serious sexual assaults (RA, PBM), pp. 215–220.
UMLUML-2001-EngelsHK #behaviour #consistency #metamodelling #rule-based #specification #uml
Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model (GE, RH, JMK), pp. 272–286.
UMLUML-2001-SendallS #behaviour #concurrent #constraints #ocl #specification #uml #using
Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML (SS, AS), pp. 391–405.
SACSAC-2001-Dozier #behaviour #evolution #interactive #simulation
Evolving robot behavior via interactive evolutionary computation: from real-world to simulation (GVD), pp. 340–344.
SACSAC-2001-XiangFY #approach #behaviour #component #fuzzy #network #prototype
A fuzzy neural network approach to model component behavior for virtual prototyping of hydraulic system (WX, SCF, FFY), pp. 482–483.
FSEESEC-FSE-2001-EngelsKHG #behaviour #consistency #modelling #object-oriented #specification
A methodology for specifying and analyzing consistency of object-oriented behavioral models (GE, JMK, RH, LG), pp. 186–195.
FSEESEC-FSE-2001-FindlerLF #behaviour #contract #type system
Behavioral contracts and behavioral subtyping (RBF, ML, MF), pp. 229–236.
ICSEICSE-2001-MakinenS #behaviour #interactive #modelling #named #uml
MAS — An Interactive Synthesizer to Support Behavioral Modeling in UML (EM, TS), pp. 15–24.
SOSPSOSP-2001-EnglerCC #approach #behaviour #consistency #debugging #fault
Bugs as Inconsistent Behavior: A General Approach to Inferring Errors in Systems Code (DRE, DYC, AC), pp. 57–72.
DACDAC-2000-DoughertyT #behaviour #design #physics #synthesis
Unifying behavioral synthesis and physical design (WED, DET), pp. 756–761.
DATEDATE-2000-SemeriaSM #behaviour #c #memory management #pointer #synthesis
Resolution of Dynamic Memory Allocation and Pointers for the Behavioral Synthesis from C (LS, KS, GDM), pp. 312–319.
WRLAWRLA-2000-GoguenLR #behaviour #induction
Behavioral and Coinductive Rewriting (JAG, KL, GR), pp. 2–23.
WCREWCRE-2000-AntoniolCC #behaviour #modelling #traceability
Traceability Recovery by Modeling Programmer Behavior (GA, GC, AC), pp. 240–247.
WCREWCRE-2000-Systa #behaviour #comprehension #java #source code
Understanding the Behavior of Java Programs (TS), pp. 214–223.
ICALPICALP-2000-BravettiG #axiom #behaviour #congruence #finite
A Complete Axiomatization for Observational Congruence of Prioritized Finite-State Behaviors (MB, RG), pp. 744–755.
IFMIFM-2000-MeyerS #approach #behaviour #consistency #uml #using #verification
Behavioral Conformance Verification in an Integrated Approach Using UML and B (EM, TS), pp. 358–379.
CSCWCSCW-2000-PalenSY #behaviour #mobile
Going wireless: behavior & practice of new mobile phone users (LP, MCS, EY), pp. 201–210.
AdaEuropeAdaEurope-2000-DeshpandeCT #behaviour #object-oriented #reliability #simulation
Improving the Reliability of Object-Oriented Software through Object-Level Behavioral Simulation (MD, FPC, JT), pp. 266–279.
CAiSECAiSE-2000-BehrensR #behaviour #code generation #model transformation #named
StateLator — Behavioral Code Generation as an Instance of a Model Transformation (TB, SR), pp. 401–416.
ICMLICML-2000-AndersonDP #behaviour #composition #network #student
Behavioral Cloning of Student Pilots with Modular Neural Networks (CWA, BAD, DAP), pp. 25–32.
ICMLICML-2000-MorimotoD #behaviour #learning #using
Acquisition of Stand-up Behavior by a Real Robot using Hierarchical Reinforcement Learning (JM, KD), pp. 623–630.
ICPRICPR-v1-2000-SherrahGHB #behaviour #interactive #visual notation
Interpretation of Group Behavior in Visually Mediated Interaction (JS, SG, AJH, HB), pp. 1266–1269.
ICPRICPR-v3-2000-ValdesME #analysis #behaviour #case study #image
Behavior Analysis of Fractal Features for Texture Description in Digital Images: An Experimental Study (JJV, LCM, SE), pp. 3917–3920.
ICPRICPR-v4-2000-IskeRMS #behaviour #learning #navigation
A Bootstrapping Method for Autonomous and in Site Learning of Generic Navigation Behavior (BI, UR, KM, JS), pp. 4656–4659.
ICPRICPR-v4-2000-KojimaITF #behaviour #generative #image #natural language #video
Generating Natural Language Description of Human Behavior from Video Images (AK, MI, TT, KF), pp. 4728–4731.
ICPRICPR-v4-2000-SanchezM00a #behaviour #programming #using #visual notation
Robot-Arm Pick and Place Behavior Programming System Using Visual Perception (AJS, JMM), pp. 4507–4510.
KDDKDD-2000-PenaFL #behaviour #data mining #detection #mining
Data mining to detect abnormal behavior in aerospace data (JMP, FF, SL), pp. 390–397.
SIGIRSIGIR-2000-EfthimiadisF #behaviour #case study #database #image #query
The effect of query type on subject searching behavior of image databases: an exploratory study (ENE, RF), pp. 328–330.
UMLUML-2000-EngelsHHS #approach #behaviour #diagrams #metamodelling #modelling #semantics #uml #visual notation
Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML (GE, JHH, RH, SS), pp. 323–337.
UMLUML-2000-Pazzi #behaviour #representation
Part-Whole Statecharts for the Explicit Representation of Compound Behaviors (LP), pp. 541–555.
ECOOPECOOP-2000-KellomakiM #behaviour #design
Design Templates for Collective Behavior (PK, TM), pp. 277–295.
TOOLSTOOLS-EUROPE-2000-LakosL #behaviour #inheritance #lifecycle
Behavior Inheritance for Object Lifecycles (CL, GL), p. 262–?.
TOOLSTOOLS-USA-2000-HarelK #behaviour #inheritance #on the
On the Behavioral Inheritance of State-Based Objects (DH, OK), pp. 83–94.
TOOLSTOOLS-USA-2000-SoundarajanF #behaviour #multi #type system
Behavioral Subtyping and Behavioral Enrichment of Multimethods (NS, SF), p. 105–?.
REICRE-2000-KnottMP #analysis #behaviour #modelling #object-oriented #process #using
Process Modeling for Object Oriented Analysis Using BORM Object Behavioral Analysis (RPK, VM, JP), pp. 7–16.
SACSAC-2000-PiresBM #behaviour #communication #database #object-oriented #specification
Mechanisms for Specifying Communication Behavior in Object Oriented Database (PFP, MRFB, MM), pp. 389–397.
SACSAC-2000-SrinivasaS #behaviour #transaction
Discerning Behavioral Properties by Analyzing Transaction Logs (SS, MS), pp. 281–282.
ICSEICSE-2000-MageePGK #animation #behaviour #modelling #visual notation
Graphical animation of behavior models (JM, NP, DG, JK), pp. 499–508.
ASPLOSASPLOS-2000-RedstoneEL #analysis #architecture #behaviour #operating system #parallel #thread
An Analysis of Operating System Behavior on a Simultaneous Multithreaded Architecture (JR, SJE, HML), pp. 245–256.
HPCAHPCA-2000-WongB #behaviour #policy
Modified LRU Policies for Improving Second-Level Cache Behavior (WAW, JLB), pp. 49–60.
ASEASE-1999-CazzolaSST #architecture #behaviour #rule-based
Rule-Based Strategic Reflection: Observing and Modifying Behavior at the Architectural Level (WC, AS, AS, FT), pp. 263–266.
DACDAC-1999-Bergamaschi #behaviour #graph #logic #network #synthesis
Behavioral Network Graph: Unifying the Domains of High-Level and Logic Synthesis (RAB), pp. 213–218.
DACDAC-1999-DoboliNDGV #behaviour #design #synthesis #using
Behavioral Synthesis of Analog Systems Using Two-layered Design Space Exploration (AD, ANA, NRD, SG, RV), pp. 951–957.
DACDAC-1999-ErcegovacKP #behaviour #multi #optimisation #power management #precise #synthesis #using
Low-Power Behavioral Synthesis Optimization Using Multiple Precision Arithmetic (MDE, DK, MP), pp. 568–573.
DACDAC-1999-HongP #behaviour #synthesis
Behavioral Synthesis Techniques for Intellectual Property Protection (IH, MP), pp. 849–854.
DACDAC-1999-KirovskiP #behaviour #synthesis
Engineering Change: Methodology and Applications to Behavioral and System Synthesis (DK, MP), pp. 604–609.
DACDAC-1999-MoussaSSDPCGJ #behaviour #design
Comparing RTL and Behavioral Design Methodologies in the Case of a 2M-Transistor ATM Shaper (IM, ZS, RS, MDN, MP, SC, LG, AAJ), pp. 598–603.
DACDAC-1999-SchaumontCVEB #behaviour #hardware #reuse
Hardware Reuse at the Behavioral Level (PS, RC, SV, ME, IB), pp. 784–789.
DATEDATE-1999-DoboliV #architecture #behaviour #compilation #generative #synthesis
A VHDL-AMS Compiler and Architecture Generator for Behavioral Synthesis of Analog Systems (AD, RV), pp. 338–345.
DATEDATE-1999-MakrisO #behaviour #reachability #synthesis
Channel-Based Behavioral Test Synthesis for Improved Module Reachability (YM, AO), pp. 283–288.
DATEDATE-1999-Wakabayashi #behaviour #case study #experience #synthesis
C-based Synthesis Experiences with a Behavior Synthesizer, “Cyber” (KW), p. 390–?.
ICSMEICSM-1999-LiuAQ #behaviour #legacy #modelling #requirements
Requirements Recovery from Legacy Systems by Analyzing and Modelling Behavior (KL, AA, ZQ), pp. 3–12.
FMFM-v2-1999-Jifeng #behaviour #co-evolution #design
A Behavioral Model for Co-design (JH), pp. 1420–1438.
CHICHI-1999-KunoINS #behaviour #human-computer #interactive
Combining Observations of Intentional and Unintentional Behaviors for Human-Computer Interaction (YK, TI, SN, YS), pp. 238–245.
HCIHCI-CCAD-1999-KlobasM #behaviour
A planned behavior in context model of networked information resource use (JEK, DM), pp. 823–827.
HCIHCI-CCAD-1999-MoriKSO #behaviour
A computer-augmented office environment: integrating virtual and real world objects and behavior (HM, TK, ES, YO), pp. 1065–1069.
HCIHCI-CCAD-1999-TakanoSS #behaviour #simulation
Intellectual simulation of operating team behavior in coping with anomalies occurring at commercial nuclear power plants (KT, WS, KS), pp. 1201–1205.
CIKMCIKM-1999-RadevPMP #approach #behaviour #graph #multi #object-oriented #representation
Graph-Based Object-Oriented Approach for Structural and Behavioral Representation of Multimedia Data (IR, NP, KM, EKP), pp. 522–530.
ICMLICML-1999-IijimaYYK #adaptation #behaviour #distributed #learning
Distributed Robotic Learning: Adaptive Behavior Acquisition for Distributed Autonomous Swimming Robot in Real World (DI, WY, HY, YK), pp. 191–199.
KDDKDD-1999-FawcettP #behaviour #monitoring #process
Activity Monitoring: Noticing Interesting Changes in Behavior (TF, FJP), pp. 53–62.
SIGIRSIGIR-1999-FidelE #behaviour #web
Web Searching Behavior of Aerospace Engineers (poster abstract) (RF, ENE), pp. 319–320.
UMLUML-1999-GieseGW #behaviour #modelling #object-oriented
Closing the Gap Between Object-Oriented Modeling of Structure and Behavior (HG, JG, GW), pp. 534–549.
UMLUML-1999-SoundarajanF #behaviour #modelling
Modeling Exceptional Behavior (NS, SF), pp. 691–705.
UMLUML-1999-Sourrouille #behaviour #implementation #inheritance #object-oriented #uml
UML Behavior: Inheritance and Implementation in Current Object-Oriented Languages (JLS), pp. 457–472.
ECOOPECOOP-1999-DieckmannH #behaviour #benchmark #case study #java #metric
A Study of the Allocation Behavior of the SPECjvm98 Java Benchmark (SD, UH), pp. 92–115.
TOOLSTOOLS-ASIA-1999-FanXZ #behaviour #inheritance #reasoning
Reasoning about Inheritance and Cloning Behaviors of Software Agents (XF, DX, GZ), pp. 77–82.
TOOLSTOOLS-USA-1999-PlasilBV #behaviour #bound #component #protocol
Bounding Component Behavior via Protocols (FP, MB, SV), pp. 387–398.
SACSAC-1999-DasBHHZ #behaviour #knowledge base
A Knowledge Based Model of Traffic Behavior in Freeways (SD, BAB, CRH, SJH, YZ), pp. 14–18.
SACSAC-1999-MocellinM #aspect-oriented #behaviour #modelling #multi #using
Modelling Behavioral Aspects of Multimedia Presentations Using an Active Object DBMS (FM, HM), pp. 450–454.
ICSEICSE-1999-Magee #analysis #architecture #behaviour #using
Behavioral Analysis of Software Architectures Using LTSA (JM), pp. 634–637.
LCTESLCTES-1999-SchneiderF #abstract interpretation #behaviour #pipes and filters #predict
Pipeline Behavior Prediction for Superscalar Processors by Abstract Interpretation (JS, CF), pp. 35–44.
DACDAC-1998-GuerraPR #behaviour #optimisation
A Methodology for Guided Behavioral-Level Optimization (LMG, MP, JMR), pp. 309–314.
DACDAC-1998-LakshminarayanaJ #behaviour #control flow #framework #named #optimisation #throughput
FACT: A Framework for the Application of Throughput and Power Optimizing Transformations to Control-Flow Intensive Behavioral Descriptions (GL, NKJ), pp. 102–107.
DACDAC-1998-LakshminarayanaJ98a #behaviour #power management #synthesis
Synthesis of Power-Optimized and Area-Optimized Circuits from Hierarchical Behavioral Descriptions (GL, NKJ), pp. 439–444.
DACDAC-1998-LakshminarayanaRJ #behaviour #control flow #execution #scheduling
Incorporating Speculative Execution into Scheduling of Control-Flow Intensive Behavioral Descriptions (GL, AR, NKJ), pp. 108–113.
DACDAC-1998-ParulkarGB #behaviour
Introducing Redundant Computations in a Behavior for Reducing BIST Resources (IP, SKG, MAB), pp. 548–553.
DATEDATE-1998-BoglioloBM #behaviour #modelling
Characterization-Free Behavioral Power Modeling (AB, LB, GDM), pp. 767–773.
DATEDATE-1998-FerrandiFMP #behaviour #estimation
Power Estimation of Behavioral Descriptions (FF, FF, EM, MP), pp. 762–766.
DATEDATE-1998-JemaiKJ #architecture #behaviour #simulation #synthesis
Architectural Simulation in the Context of Behavioral Synthesis (AJ, PK, AAJ), pp. 590–595.
DATEDATE-1998-LiG #algorithm #behaviour
An Algorithm To Determine Mutually Exclusive Operations In Behavioral Descriptions (JL, RKG), pp. 457–463.
DATEDATE-1998-Nicoli #behaviour #semantics #set
Denotational Semantics of a Behavioral Subset of VHDL (FN), pp. 975–976.
DATEDATE-1998-YiCPHK #behaviour #multi #synthesis
Multiple Behavior Module Synthesis Based on Selective Groupings (JHY, HC, ICP, SHH, CMK), pp. 384–388.
IWPCIWPC-1998-MayrhauserV #adaptation #behaviour #comprehension #scalability
Program Understanding Behavior During Adaptation of Large Scale Software (AvM, AMV), pp. 164–172.
KRKR-1998-Sandewall #behaviour #logic #modelling
Logic Based Modelling of Goal-Directed Behavior (ES), pp. 304–315.
TOOLSTOOLS-ASIA-1998-VieiraT #approach #behaviour #object-oriented #testing
An Approach to Perform Behavior Testing in Object-Oriented Systems (MERV, GHT), pp. 318–327.
TOOLSTOOLS-USA-1998-Mellor98a #behaviour #how #modelling #question
Modeling Complex Behavior Simply or How Much is Too Much? (SJM), p. 444.
TOOLSTOOLS-USA-1998-SoundarajanF #behaviour #polymorphism #reasoning
Reasoning About Polymorphic Behavior (NS, SF), p. 346–?.
SACSAC-1998-BillardL #automaton #behaviour #distributed #learning #simulation
Simulation of period-doubling behavior in distributed learning automata (EB, SL), pp. 690–695.
SACSAC-1998-HuangE #behaviour #scheduling
Scheduling control mechanisms for managing indeterminate object behavior (EHH, TE), pp. 650–654.
ASPLOSASPLOS-1998-PeirLH #adaptation #behaviour #memory management
Capturing Dynamic Memory Reference Behavior with Adaptive Cache Topology (JKP, YL, WWH), pp. 240–250.
ASPLOSASPLOS-1998-SeidlZ #behaviour
Segregating Heap Objects by Reference Behavior and Lifetime (MLS, BGZ), pp. 12–23.
LCTESLCTES-1998-FerdinandW #behaviour #on the #predict #realtime
On Predicting Data Cache Behavior for Real-Time Systems (CF, RW), pp. 16–30.
LICSLICS-1998-Alfaro #behaviour #how #probability #verification
How to Specify and Verify the Long-Run Average Behavior of Probabilistic Systems (LdA), pp. 454–465.
DACDAC-1997-AgrawalG #behaviour #clustering #data flow #embedded
Data-Flow Assisted Behavioral Partitioning for Embedded Systems (SA, RKG), pp. 709–712.
DACDAC-1997-PotkonjakKK #behaviour #case study #design
Methodology for Behavioral Synthesis-Based Algorithm-Level Design Space Exploration: DCT Case Study (MP, KK, RK), pp. 252–257.
DACDAC-1997-SambandamH #architecture #behaviour #design #embedded #predict #realtime
Predicting Timing Behavior in Architectural Design Exploration of Real-Time Embedded Systems (RSS, XH), pp. 157–160.
DATEEDTC-1997-BoglioloBM #adaptation #behaviour #modelling
Adaptive least mean square behavioral power modeling (AB, LB, GDM), pp. 404–410.
DATEEDTC-1997-FlottesPR #behaviour #testing
Analyzing testability from behavioral to RT level (MLF, RP, BR), pp. 158–165.
DATEEDTC-1997-NouraniP #analysis #behaviour #using
Structural BIST insertion using behavioral test analysis (MN, CAP), pp. 64–68.
DATEEDTC-1997-ShojiHSKN #behaviour #simulation
Acceleration of behavioral simulation on simulation specific machines (MS, FH, SS, SK, HN), pp. 373–377.
ICDARICDAR-1997-NagasakiYN #behaviour #recognition
The Behavior of Dynamic Relaxation in an Elastic Stroke Model for Character Recognition (TN, TY, MN), pp. 16–22.
CIAAWIA-1997-BrzozowskiN #automaton #behaviour
Automata of Asynchronous Behaviors (JAB, RN), pp. 29–45.
HCIHCI-CC-1997-Dabija #behaviour #communication
Communicating about Reactive Behaviors (VGD), pp. 31–34.
HCIHCI-CC-1997-ItohMGA #behaviour #process
Analyzing Qualitative Data with SPROT (Structural Process Chart of a Task Oriented Behavior) (MI, YM, SG, TA), pp. 541–544.
CAiSECAiSE-1997-TryfonaPH #behaviour #experience #modelling
Modeling Behavior of Geographic Objects: An Experience with the Object Modeling Technique (NT, DP, TH), pp. 347–359.
KDDKDD-1997-DeCoste #behaviour #mining #multi
Mining Multivariate Time-Series Sensor Data to Discover Behavior Envelopes (DD), pp. 151–154.
TOOLSTOOLS-USA-1997-MagnanVO #behaviour #specification
From Specification to Management of Composite Object Behavior (MM, SV, MCO), p. 132–?.
TOOLSTOOLS-USA-1997-SoundarajanF #behaviour
Inheriting and Modifying Behavior (NS, SF), pp. 148–162.
POPLPOPL-1997-PierceS #behaviour #equivalence #polymorphism #π-calculus
Behavioral Equivalence in the Polymorphic π-calculus (BCP, DS), pp. 242–255.
DACDAC-1996-BorchersHB #behaviour #equation #generative
Equation-Based Behavioral Model Generation for Nonlinear Analog Circuits (CB, LH, EB), pp. 236–239.
DACDAC-1996-Camposano #behaviour #synthesis
Behavioral Synthesis (RC), pp. 33–34.
ASEKBSE-1996-HoweP #behaviour #modelling
Constructing Transition Models of AI Planner Behavior (AEH, LDP), p. 8.
WPCWPC-1996-LuciaFM #behaviour #comprehension #slicing
Understanding Function Behaviors through Program Slicing (ADL, ARF, MM), pp. 9–10.
SASSAS-1996-AltFMW #abstract interpretation #behaviour #predict
Cache Behavior Prediction by Abstract Interpretation (MA, CF, FM, RW), pp. 52–66.
CHICHI-1996-DarkenS #behaviour #scalability
Wayfinding Strategies and Behaviors in Large Virtual Worlds (RPD, JLS), pp. 142–149.
CHICHI-1996-Ishizaki #behaviour #design #multi #visualisation
Multiagent Model of Dynamic Design: Visualization as an Emergent Behavior of Active Design Agents (SI), pp. 347–354.
CHICHI-1996-KoenemannB #behaviour #case study #effectiveness #information retrieval #interactive
A Case for Interaction: A Study of Interactive Information Retrieval Behavior and Effectiveness (JK, NJB), pp. 205–212.
CSCWCSCW-1996-FinholtOO #behaviour #evaluation #tutorial
Behavioral Evaluation of CSCW Technologies (Tutorial) (TAF, GMO, JSO), p. 5.
ICPRICPR-1996-ChenJ #behaviour #network #on the
On the small sample behavior of the class-sensitive neural network (CHC, AJ), pp. 209–213.
ECOOPECOOP-1996-KristensenM #abstraction #behaviour #named #process
Activities: Abstractions for Collective Behavior (BBK, DCMM), pp. 472–501.
SACSAC-1996-ChungLLD #behaviour #comparison #using
A comparison of variational data assimilation and nudging using a simple dynamical system with chaotic behavior (WC, JML, SL, SKD), pp. 454–462.
FSEFSE-1996-SeiterPL #behaviour #evolution #using
Evolution of Object Behavior Using Context Relations (LMS, JP, KJL), pp. 46–57.
ICSEICSE-1996-DharaL #behaviour #inheritance #specification #type system
Forcing Behavioral Subtyping through Specification Inheritance (KKD, GTL), pp. 258–267.
HPDCHPDC-1996-AlmerothA #behaviour #modelling #multi
Collecting and Modeling the Join/Leave Behavior of Multicast Group Members in the MBone (KCA, MHA), pp. 209–216.
DACDAC-1995-KnappLMM #behaviour #specification #synthesis #validation
Behavioral Synthesis Methodology for HDL-Based Specification and Validation (DK, TL, DM, RM), pp. 286–291.
DACDAC-1995-LyKMM #behaviour #scheduling #using
Scheduling Using Behavioral Templates (TL, DK, RM, DM), pp. 101–106.
DACDAC-1995-MartinK #behaviour #named #optimisation #power management
Power-Profiler: Optimizing ASICs Power Consumption at the Behavioral Level (RSM, JPK), pp. 42–47.
DACDAC-1995-StollonP #behaviour #complexity #metric #modelling
Measures of Syntactic Complexity for Modeling Behavioral VHDL (NSS, JDP), pp. 684–689.
CHICHI-1995-LiebermanF #behaviour #programming
Bridging the Gulf Between Code and Behavior in Programming (HL, CF), pp. 480–486.
SEKESEKE-1995-JainSK #behaviour #reuse #towards
Towards Reusability Based Upon Similar Computational Behavior (AJ, LS, MK), pp. 197–203.
ICLPILPS-1995-JamilL #behaviour #declarative #inheritance #semantics
A Declarative Semantics for Behavioral Inheritance and Conflict Resolution (HMJ, LVSL), pp. 130–144.
LICSLICS-1995-Wang #analysis #behaviour #realtime
Timing Behavior Analysis for Real-Time Systems (FW), pp. 112–122.
DACDAC-1994-ArnsteinT #abstraction #behaviour #synthesis #tool support
The Attributed-Behavior Abstraction and Synthesis Tools (LFA, DET), pp. 557–561.
DATEEDAC-1994-BalboniCFS #architecture #array #behaviour
From Behavioral Description to Systolic Array Based Architectures (AB, CC, FF, DS), p. 657.
DATEEDAC-1994-BhatiaJ #behaviour #named #synthesis #testing
Genesis: A Behavioral Synthesis System for Hierarchical Testability (SB, NKJ), pp. 272–276.
DATEEDAC-1994-HolmesG #algorithm #behaviour #generative
An Algorithm for Generation of Behavioral Shape Functions (NDH, DG), pp. 314–318.
DATEEDAC-1994-HuangR #behaviour #performance #throughput #using
Maximizing the Throughput of High Performance DSP Applications Using Behavioral Transformations (SHH, JMR), pp. 25–30.
DATEEDAC-1994-WuTWL #behaviour #synthesis
A Synthesis Method for Mixed Synchronous / Asynchronous Behavior (TYW, TCT, ACHW, YLL), pp. 277–281.
ESOPESOP-1994-BerthomieuS #behaviour #framework #ml #programming #semantics #syntax
Programming with Behaviors in an ML Framework — The Syntax and Semantics of LCS (BB, TLS), pp. 89–104.
ICSMEICSM-1994-BelkhatirM #behaviour #evolution #process
Evolving Software Processes by Tailoring the Behavior of Software Objects (NB, WLM), pp. 212–221.
SASSAS-1994-MuellerW #analysis #behaviour #on the fly #performance #simulation
Efficient On-the-fly Analysis of Program Behavior and Static Cache Simulation (FM, DBW), pp. 101–115.
CHICHI-1994-ChaseSHH94a #behaviour #development #evaluation #representation
Development and evaluation of a taxonomical model of behavioral representation techniques (JDC, RSS, HRH, DH), pp. 159–165.
CAiSECAiSE-1994-Keszenheimer #abstraction #behaviour #evolution #maintenance
Utilizing Behavioral Abstractions to Facilitate Maintenance During Class Evolution (LMK), pp. 325–338.
CIKMCIKM-1994-Al-AnziS #behaviour #concurrent #modelling #towards
Modeling Behavior, A Step Towards Defining Functionally Correct Views of Complex Objects in Concurrent Engineering (FSAA, DLS), pp. 1–9.
SEKESEKE-1994-AtchanE #behaviour #empirical #functional #modelling #requirements #specification
An experiment in eliminating the separation between data, functional, and behavioral models during requirements specification (HMA, GCE), pp. 2–9.
SEKESEKE-1994-SuzukiT #abstraction #behaviour #retrieval #using
Associative program retrieval using partially-ordered behavioral abstractions of a program (HS, NT), pp. 395–404.
SACSAC-1994-HoskinsHH #behaviour #interactive #multi
An interactive multimedia system for fire behavior training (JAH, WDH, KGH), pp. 379–382.
DACDAC-1993-LeeJW #behaviour #synthesis
Behavioral Synthesis of Highly Testable Data Paths under the Non-Scan and Partial Scan Environments (TCL, NKJ, WW), pp. 292–297.
DACDAC-1993-LiuCS #behaviour #simulation #using #verification
Analog System Verification in the Presence of Parasitics Using Behavioral Simulation (EWYL, HCC, ALSV), pp. 159–163.
DACDAC-1993-SantucciCG #behaviour #heuristic #using
Speed up of Behavioral A.T.P.G. using a Heuristic Criterion (JFS, ALC, NG), pp. 92–96.
ICSMECSM-1993-Keszenheimer #adaptation #behaviour #evolution #specification
Specifying and Adapting Object Behavior During System Evolution (LMK), pp. 254–261.
HCIHCI-ACS-1993-HoonhoutZ #behaviour #industrial #process
Operator Behavior and Supervisory Control Systems in the Chemical Process Industry (HCMH, HJGZ), pp. 109–114.
HCIHCI-SHI-1993-ChaseHHSB #behaviour #design #representation #user interface
A Model of Behavioral Techniques for Representing User Interface Designs (JDC, HRH, DH, RSS, JLB), pp. 861–866.
CHIINTERCHI-1993-DiGianoBO #behaviour #monitoring #named #programming
LogoMedia: a sound-enhanced programming environment for monitoring program behavior (CD, RMB, RNO), pp. 301–302.
CIKMCIKM-1993-PetersLOS #behaviour #query
An Extensible Query Model and Its Languages for a Uniform Behavioral Object Management System (RJP, AL, MTÖ, DS), pp. 403–412.
SEKESEKE-1993-DingK #behaviour #specification #state machine
Attributed State Machines For Behavior Specification of Reactive Systems (SD, TK), pp. 695–702.
ECOOPECOOP-1993-GangopadhyayM #behaviour #named #specification
ObjChart: Tangible Specification of Reactive Object Behavior (DG, SM), pp. 432–457.
OOPSLAOOPSLA-1993-PauwHKV #behaviour #object-oriented #visualisation
Visualizing the Behavior of Object-Oriented Systems (WDP, RH, DK, JMV), pp. 326–337.
ICSEICSE-1993-Hall #behaviour #retrieval
Generalized Behavior-Based Retrieval (RJH), pp. 371–380.
CAVCAV-1993-ProbstL #automaton #behaviour #verification
Verifying Timed Behavior Automata with Input/Output Critical Races (DKP, HFL), pp. 424–437.
DACDAC-1992-BergamaschiLK #behaviour #optimisation #synthesis #using
Control Optimization in High-Level Synthesis Using Behavioral Don’t Cares (RAB, DAL, AK), pp. 657–661.
DACDAC-1992-SantucciDGB #behaviour #generative
A Methodology to Reduce the Computational Cost of Behavioral Test Pattern Generation (JFS, GD, NG, MB), pp. 267–272.
DACDAC-1992-WolfTHMW #behaviour #synthesis
The Princeton University Behavioral Synthesis System (WW, AT, CYH, RM, EW), pp. 182–187.
HTHT-ECHT-1992-BuchananZ #behaviour #documentation #hypermedia #specification
Specifying Temporal Behavior in Hypermedia Documents (MCB, PZ), pp. 262–271.
SIGMODSIGMOD-1992-AikenWH #behaviour #confluence #database #termination
Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism (AA, JW, JMH), pp. 59–68.
VLDBVLDB-1992-LiuM #approach #behaviour #communication #database #declarative #object-oriented #process
Activity Model: A Declarative Approach for Capturing Communication Behavior in Object-Oriented Databases (LL, RM), pp. 481–493.
AdaTRI-Ada-C-1992-Cherry #ada #behaviour
Stimulus Response Machines: An Ada-based Graphic Formalism for Describing Class and Object Behavior (GWC), pp. 321–332.
AdaTRI-Ada-C-1992-Crespi-ReghizziMP #ada #behaviour #concept #experience #implementation #inheritance
Behavioral Inheritance: Concepts, Ada Implementation and Experience (SCR, MDM, SP), pp. 200–210.
CIKMCIKM-1992-MartinAD #approach #behaviour #consistency #database #object-oriented
Consistency Checking in Object Oriented Databases: a Behavioral Approach (HM, MEA, BD), pp. 53–68.
TOOLSTOOLS-EUROPE-1992-Rubin #analysis #behaviour
Object Behavior Analysis (KSR), p. 407.
ICSEICSE-1992-PodgurskiP #automation #behaviour #component #retrieval #reuse
Behavior Sampling: A Technique for Automated Retrieval of Reusable Components (AP, LP), pp. 349–360.
CAVCAV-1992-CelikkanC #behaviour #generative
Generating Diagnostic Information for Behavioral Preorders (UC, RC), pp. 370–383.
CAVCAV-1992-ProbstL #automaton #behaviour #constraints #verification
Verifying Timed Behavior Automata with Nonbinary Delay Constraints (DKP, HFL), pp. 123–136.
DACDAC-1991-AmonB #behaviour #named
OEsim: A Simulator for Timing Behavior (TA, GB), pp. 656–661.
PLDIPLDI-1991-Wall #behaviour #predict #using
Predicting Program Behavior Using Real or Estimated Profiles (DWW), pp. 59–70.
PLDIBest-of-PLDI-1991-Wall91a #behaviour #predict #using
Predicting program behavior using real or estimated profiles (with retrospective) (DWW), pp. 429–441.
ICMLML-1991-Ring #behaviour #development #incremental
Incremental Development of Complex Behaviors (MBR), pp. 343–347.
CAVCAV-1991-Mutz #behaviour #correctness #proving #term rewriting #using
Using the HOL Prove Assistant for proving the Correctness of term Rewriting Rules reducing Terms of Sequential Behavior (MM), pp. 277–287.
CSLCSL-1991-HeuschS #aspect-oriented #behaviour #probability
Some Aspects of the Probabilistic Behavior of Variants of Resolution (PH, ES), pp. 164–172.
DACDAC-1990-ChenG #behaviour #component #database #synthesis
An Intelligent Component Database for Behavioral Synthesis (GDC, DG), pp. 150–155.
DACDAC-1990-DuttHG #behaviour #representation #synthesis
An Intermediate Representation for Behavioral Synthesis (NDD, TH, DG), pp. 14–19.
DACDAC-1990-IshiuraYY #behaviour #design #hardware #named #semantics
NES: The Behavioral Model for the Formal Semantics of a Hardware Design Language UDL/I (NI, HY, SY), pp. 8–13.
DACDAC-1990-ScheichenzuberGLM #behaviour #data flow #hardware #synthesis
Global Hardware Synthesis from Behavioral Dataflow Descriptions (JS, WG, UL, SM), pp. 456–461.
DACDAC-1990-WardA #behaviour #fault #simulation
Behavioral Fault Simulation in VHDL (PCW, JRA), pp. 587–593.
DACDAC-1990-Wolf #automaton #behaviour #network #synthesis
The FSM Network Model for Behavioral Synthesis of Control-Dominated Machines (WW), pp. 692–697.
SIGMODSIGMOD-1990-ChrysanthisR #behaviour #framework #named #reasoning #specification #transaction
ACTA: A Framework for Specifying and Reasoning about Transaction Structure and Behavior (PKC, KR), pp. 194–203.
ICSEICSE-1990-Robinson #behaviour #requirements #specification
Negotiation Behavior During Requirements Specification (WNR), pp. 268–276.
DACDAC-1989-BlaauwSMAR #automation #behaviour #generative #modelling
Automatic Generation of Behavioral Models from Switch-Level Descriptions (DB, DGS, RBMT, JAA, JTR), pp. 179–184.
DACDAC-1989-DuttG #behaviour #design #synthesis
Designer Controlled Behavioral Synthesis (NDD, DG), pp. 754–757.
DACDAC-1989-HayatiP #automation #behaviour #specification
Automatic Production of Controller Specifications from Control and Timing Behavioral Descriptions (SH, AP), pp. 75–80.
DACDAC-1989-IshiuraTY #behaviour #logic #simulation #verification
Time-Symbolic Simulation for Accurate Timing Verification of Asynchronous Behavior of Logic Circuits (NI, MT, SY), pp. 497–502.
DACDAC-1989-KumarKKG #automation #behaviour #synthesis
Automatic Synthesis of Microprogrammed Control Units from Behavioral Descriptions (AK, SK, PK, SG), pp. 147–154.
DACDAC-1989-Leung #behaviour #modelling
Behavioral Modeling of Transmission Gates in VHDL (SSL), pp. 746–749.
DACDAC-1989-TrickD #behaviour #layout #named #synthesis #tool support
LASSIE: Structure to Layout for Behavioral Synthesis Tools (MTT, SWD), pp. 104–109.
DACDAC-1989-YuZYL #algorithm #behaviour #convergence #novel
A Novel Algorithm for Improving Convergence Behavior of Circuit Simulators (ZY, WZ, ZY, YEL), pp. 626–629.
PODSPODS-1989-KedemT #behaviour #database #modelling #relational
Relational Database Behavior: Utilizing Relational Discrete Event Systems and Models (ZMK, AT), pp. 336–346.
FPCAFPCA-1989-Burton #behaviour #parallel #semantics #source code
Indeterminate Behavior with Determinate Semantics in Parallel Programs (FWB), pp. 340–346.
CHICHI-1989-DeSoiLS #abstraction #behaviour #specification #user interface #visual notation
Graphical specification of user interfaces with behavior abstraction (JFD, WML, SVS), pp. 139–144.
CHICHI-1989-EganRLLG #analysis #behaviour #evaluation #hypermedia
Behavioral evaluation and analysis of a hypertext browser (DEE, JRR, TKL, CCL, LMG), pp. 205–210.
CHICHI-1989-Myers #behaviour #encapsulation #interactive
Encapsulating interactive behaviors (BAM), pp. 319–324.
ICMLML-1989-LeviSP #behaviour #identification #knowledge base
Identifying Knowledge Base Deficiencies by Observing User Behavior (KRL, VLS, DLP), pp. 296–301.
ICMLML-1989-Paredis #behaviour #learning
Learning the Behavior of Dynamical Systems form Examples (JP), pp. 137–140.
ICSEICSE-1989-Curtis #behaviour #development #modelling #problem #process
Three Problems Overcome with Behavioral Models of the Software Development Process (BC), pp. 398–399.
DACDAC-1988-BlackburnTK #behaviour #design
CORAL II: Linking Behavior and Structure in an IC Design System (RLB, DET, PMK), pp. 529–535.
DACDAC-1988-TsengWRTB #behaviour #named #synthesis
Bridge: A Versatile Behavioral Synthesis System (CJT, RSW, SGR, MMT, AKB), pp. 415–420.
DACDAC-1988-WeiRJ #behaviour #named #synthesis
BECOME: Behavior Level Circuit Synthesis Based on Structure Mapping (RSW, SGR, JYJ), pp. 409–414.
ICSEICSE-1988-Williams #approach #behaviour #modelling #process
Software Process Modeling: A Behavioral Approach (LGW), pp. 174–186.
PPoPPPPEALS-1988-DavisH #behaviour #parallel #source code
Characterizing the Synchronization Behavior of Parallel Programs (HD, JLH), pp. 198–211.
DACDAC-1987-WuHHYY #behaviour
Function Search from Behavioral Description of a Digital System (JGW, WPCH, YHH, DYYY, HJY), pp. 574–579.
HCIHCI-CE-1987-Meister #behaviour #evaluation
Behavioral Test and Evaluation of Expert Systems (DM), pp. 539–549.
ECOOPECOOP-1987-MaruichiUT #behaviour #simulation
Behavioral Simulation Based on Knowledge Objects (TM, TU, MT), pp. 213–222.
ICLPSLP-1987-DiszL87 #behaviour #logic programming #parallel #source code #visual notation
A Graphical Tool for Observing the Behavior of Parallel Logic Programs (TD, ELL), pp. 46–53.
DACDAC-1986-McFarland #behaviour #bottom-up #design #hardware #synthesis #using
Using bottom-up design techniques in the synthesis of digital hardware from abstract behavioral descriptions (MCM), pp. 474–480.
OOPSLAOOPSLA-1986-Lieberman #behaviour #object-oriented #prototype #using
Using Prototypical Objects to Implement Shared Behavior in Object Oriented Systems (HL), pp. 214–223.
DACDAC-1985-AlthoffS #behaviour #compilation #modelling
A behavioral modeling system for cell compilers (JCA, RDS), pp. 468–474.
DACDAC-1985-BlackburnT #behaviour #representation #synthesis
Linking the behavioral and structural dominis of representation in a synthesis system (RLB, DET), pp. 374–380.
ICALPICALP-1985-LubyR #algorithm #behaviour #bidirectional
A Bidirectional Shortest-Path Algorithm With Good Average-Case Behavior (Preliminary Version) (ML, PR), pp. 394–403.
STOCSTOC-1984-BentleyJLMM #behaviour
Some Unexpected Expected Behavior Results for Bin Packing (JLB, DSJ, FTL, CCM, LAM), pp. 279–288.
DACDAC-1983-McFarland #behaviour #clustering #hardware
Computer-aided partitioning of behavioral hardware descriptions (MCM), pp. 472–478.
DACDAC-1983-WalkerT #behaviour
Behavioral level transformation in the CMU-DA system (RAW, DET), pp. 788–789.
SIGIRSIGIR-1983-Borgman #behaviour #information retrieval #monitoring #online
End User Behavior on an Online Information Retrieval System: A Computer Monitoring Study (CLB), pp. 162–176.
ICSEICSE-1982-Abu-SufahLMY #behaviour #source code
Experimental Results on the Paging Behavior of Numerical Programs (WAAS, RL, MM, PY), pp. 110–119.
DACDAC-1981-Glasser #behaviour
The analog behavior of digital integrated circuits (LAG), pp. 603–612.
DACDAC-1980-LeinwandL #algebra #analysis #behaviour #nondeterminism
Algebraic analysis of nondeterministic behavior (SML, TL), pp. 483–493.
DACDAC-1979-Johnson #behaviour #development
Behavioral-level test development (WAJ), pp. 171–179.
ICALPICALP-1979-Selman #behaviour #polynomial #set
P-Selective Sets, Tally Languages, and the Behavior of Polynomial Time Reducibilities on NP (ALS), pp. 546–555.
SOSPSOSP-1979-AimesL #behaviour #communication #network
The Behavior of Ethernet-Like Computer Communication Networks (GTA, EDL), pp. 66–81.
ICSEICSE-1978-Brooks #behaviour #comprehension #re-engineering #using
Using a Behavioral Theory of Program Comprehension in Software Engineering (REB), pp. 196–201.
ICSEICSE-1978-RiddleWSSS #behaviour #design #modelling
Behavior Modelling During Software Design (WER, JCW, JHS, ARS, AMS), pp. 13–22.
STOCSTOC-1976-Yao #algorithm #behaviour #on the #set
On the Average Behavior of Set Merging Algorithms (Extended Abstract) (ACCY), pp. 192–195.
ICSEICSE-1976-PimontR #analysis #assessment #behaviour #reliability #source code
A Software Reliability Assessment Based on a Structural and Behavioral Analysis of Programs (SP, JCR), pp. 486–491.
VLDBVLDB-1975-Chin #analysis #behaviour
Analysis of VSAM’s Free-Space Behavior (YHC), pp. 514–515.
SOSPSOSP-1971-Rodriguez-Rosell #behaviour #how #parametricity
Experimental Data on How Program Behavior Affects the Choice of Scheduler Parameters (JRR), pp. 156–163.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.