23 papers:
MSR-2015-GantayatDPMS #stack overflow- The Synergy between Voting and Acceptance of Answers on StackOverflow — Or the Lack Thereof (NG, PD, RP, SM, VSS), pp. 406–409.
DUXU-DD-2015-FilippiBS #design #interactive- Investigating Synergies Between Interaction Design Methods (SF, DB, PAS), pp. 179–190.
CSEET-2014-BenabidA #aspect-oriented #education #re-engineering #research- The synergy of engineering and research aspects in Software Engineering Education (AB, GAH), pp. 44–48.
- DUXU-ELAS-2014-SharmaMTZRTGJ #named #personalisation #smarttech
- SPARK: Personalized Parkinson Disease Interventions through Synergy between a Smartphone and a Smartwatch (VS, KM, FDlT, AZ, NR, TGNT, RG, SJ), pp. 103–114.
- DUXU-TMT-2014-SchmuntzschF #design #how #smarttech
- How Two become One — Creating Synergy Effects by Applying the Joint Interview Method to Design Wearable Technology (US, LHF), pp. 173–184.
SPLC-2014-ThumMBHRS #model checking #product line #proving #theorem proving- Potential synergies of theorem proving and model checking for software product lines (TT, JM, FB, MH, AvR, GS), pp. 177–186.
TACAS-2013-SlabyST #contest #execution #named #slicing #symbolic computation- Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution — (Competition Contribution) (JS, JS, MT), pp. 630–632.
ICEIS-v3-2013-Noran #enterprise #information management- Enhancing Enterprise Information Systems Synergy in Disaster Management (ON), pp. 275–283.
CASE-2012-WimbockRC #coordination #verification- Derivation and verification of synergy coordinates for the DLR hand arm system (TW, JR, MC), pp. 454–460.
CSMR-2012-Varro #maintenance #model transformation- Keynote 2: A Bridge Over Troubled Water — Synergies between Model Transformation and Software Maintenance Techniques (DV), pp. 5–6.
FM-2011-BoyerGS #configuration management #protocol #specification #verification- Specifying and Verifying the SYNERGY Reconfiguration Protocol with LOTOS NT and CADP (FB, OG, GS), pp. 103–117.
ICSE-2011-BoehmV #challenge #estimation #research- Impact of software resource estimation research on practice: a preliminary report on achievements, synergies, and challenges (BWB, RV), pp. 1057–1065.
SIGIR-2009-ZieglerJ #web- Leveraging sources of collective wisdom on the web for discovering technology synergies (CNZ, SJ), pp. 548–555.
SAC-2009-SharyginaTT #abstraction #performance #precise #verification- The synergy of precise and fast abstractions for program verification (NS, ST, AT), pp. 566–573.
- SAC-2008-CeriottiMP #case study #message passing
- Data sharing vs. message passing: synergy or incompatibility?: an implementation-driven case study (MC, ALM, GPP), pp. 100–107.
- HCI-AS-2007-KossackGJ #design #industrial
- Industrial Design and Human Factors: Design Synergy for Medical Devices (MK, AG, AJ), pp. 489–498.
FSE-2006-GulavaniHKNR #algorithm #named- SYNERGY: a new algorithm for property checking (BSG, TAH, YK, AVN, SKR), pp. 117–127.
WICSA-2005-InverardiMP #named #uml- DUALLY: Putting in Synergy UML 2.0 and ADLs (PI, HM, PP), pp. 251–252.
ITiCSE-2004-ConradF #object-oriented #paradigm #source code #using- Using the synergies between the object-oriented paradigm and mathematics in joint mathematics/computer science programs (MC, TF), p. 254.
PASTE-2004-Ernst #dynamic analysis- Invited Talk Static and dynamic analysis: synergy and duality (MDE), p. 35.
Ada-2002-BlotzHLPSZ #ada #development #modelling #re-engineering #safety- Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems (AB, FH, HL, AP, OS, HPZ), pp. 37–52.
ESEC-FSE-1999-JarzabekK #component #generative- Synergy between Component-Based and Generative Approaches (SJ, PK), pp. 429–445.
HPCA-1999-ParcerisaG #multi #thread- The Synergy of Multithreading and Access/Execute Decoupling (JMP, AG), pp. 59–63.
