Filter
Konferencebidrag i proceedings

Søgeresultater

  • 2015

    Type Families with Class, Type Classes with Family

    Serrano, A., Hage, J. & Bahr, P., 1 sep. 2015, Proceedings of the 8th ACM SIGPLAN Symposium on Haskell. New York, NY, USA: Association for Computing Machinery, s. 129-140 12 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Variability Abstractions: Trading Precision for Speed in Family-Based Analyses

    Dimovski, A., Brabrand, C. & Wasowski, A., 2015, 29th European Conference on Object-Oriented Programming (ECOOP’15): Leibniz International Proceedings in Informatics. Boyland, J. T. (red.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, s. 247-270 23 s. (Leibniz International Proceedings in Informatics (LIPIcs)).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Vote Counting as Mathematical Proof

    Schürmann, C. & Pattinson, D., 1 dec. 2015, Proceedings of 28th Australasian Joint Conference on Artificial Intelligence. Pfahringer, B. & Renz, J. (red.). 2015 udg. Canberra: Springer, Bind LNAI 9457. s. 464-475 11 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Web-Based Modelling and Collaborative Simulation of Declarative Processes.

    Slaats, T., Marquard, M. & Shahzad, M., 31 aug. 2015, Lecture Notes in Computer Science: Proceedings of 13th International Conference on Business Process Management (BPM 2015). Springer, Bind 9253. s. 209-225 (Lecture Notes in Computer Science).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 2014

    42 Variability Bugs in the Linux Kernel: A Qualitative Study

    Abal, I., Brabrand, C. & Wasowski, A., 2014, ASE '14 Proceedings of the 29th ACM/IEEE international conference on Automated software engineering . Association for Computing Machinery, s. 421-432 12 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • A Case for Declarative Process Modelling: Agile Development of a Grant Application System

    Debois, S., Hildebrandt, T., Slaats, T. & Marquard, M., 2014, Enterprise Distributed Object Computing Conference Workshops and Demonstrations (EDOCW), 2014 IEEE 18th International. IEEE Computer Society Press, s. 126-133 8 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • ActivitySpace: Managing Device Ecologies in an Activity-Centric Configuration Space

    Houben, S., Tell, P. & Bardram, J. E., 2014, ITS '13 The ACM International Conference on Interactive Tabletops and Surfacess and Surfaces (ITS’14). Association for Computing Machinery

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Adapting Morphology to Multiple Tasks in Evolved Virtual Creatures

    Lessin, D., Fussell, D. & Miikkulainen, R., 2014, Proceedings of The Fourteenth International Conference on the Synthesis and Simulation of Living Systems (ALIFE 14) 2014. MIT Press, s. 247-254

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • A Distributed Architecture for Sharing Ecological Data Sets with Access and Usage Control Guarantees

    Bonnet, P., Gonzalez, J. & Granados, J. A., 15 jul. 2014, Proceedings of the 7th International Congress on Environmental Modelling and Software. Ames, D. P., Quinn, N. W. T. & Rizzoli, A. E. (red.). 7 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Fil
  • Architecture-driven Migration of Legacy Systems to Cloud-enabled Software

    Ahmad, A. & Babar, M. A., 2014, 1st Workshop on Software Architecture Erosion and Architectural Consistency (SAEroCon, co-located with WICSA 2014): Proceedings of the WICSA 2014. Association for Computing Machinery, 7 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • A Reference Architecture for Providing Tools as a Service to Support Global Software Development

    Chauhan, A., apr. 2014, Proceedings of the WICSA 2014 Companion. Association for Computing Machinery, 16

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • A type theory for productive coprogramming via guarded recursion

    Møgelberg, R. E., 2014, Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS): CSL-LICS '14. Association for Computing Machinery, 10 s. 71. (Annual Symposium on Logic in Computer Science).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Automatically Categorizing Procedurally Generated Content for Collecting Games

    Risi, S., Lehman, J., D’Ambrosio, D. B. & Stanley, K. O., 2014, FDG 2014 Workshop Proceedings: Proceedings of Workshops Colocated with the 9th International Conference on the Foundations of Digital Games. New York, NY: Association for Computing Machinery, (Proceedings of the Workshop on Procedural Content Generation in Games (PCG) at the 9th International Conference on the Foundations of Digital Games (FDG-2014). ACM, New York, NY, USA).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Autonomic Resource Provisioning for Cloud-Based Software

    Jamshidi, P., Ahmad, A. & Pahl, C., 2014, Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems: SEAMS 2014. Association for Computing Machinery, s. 95-104 10 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Beat the Cheater: Computing Game-Theoretic Strategies for When to Kick a Gambler out of a Casino

    Sørensen, T. B., Dalis, M., Korzhyk, D., Conitzer, V. & Letchford, J., aug. 2014, Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence. AAAI Press, Bind 1. s. 798-804 7 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • BUSICO 3D: building simulation and control in unity 3D

    Fürst, J., Fierro, G., Bonnet, P. & Culler, D. E., 2014, Proceedings of the 12th ACM Conference on Embedded Network Sensor Systems, SenSys '14, Memphis, Tennessee, USA, November 3-6, 2014. Association for Computing Machinery, s. 326-327 2 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Concordance: Design Ideal for Facilitating Situated Negotiations in Out-of-clinic Healthcare

    Bagalkot, N. L., Gronvall, E. & Sokoler, T., 2014, The ACM SIGCHI Conference on Human Factors in Computing Systems: Extended Abstracts of CHI2014. Association for Computing Machinery, 10 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Concurrency Models with Causality and Events as Psi-calculi

    Hildebrandt, T., Prisacariu, C. & Norman, H., 2014, Proceedings 7th Interaction and Concurrency Experience. Lanese, I., Lluch-Lafuente, A., Sokolova, A. & Vieira, H. T. (red.). Bind 166. s. 4-20 17 s. (Electronic Proceedings in Theoretical Computer Science. EPTCS, Bind 166).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Efficient estimation for high similarities using odd sketches

    Mitzenmacher, M., Pagh, R. & Pham, N. D., 2014, Proceedings of the 23rd international conference on World wide web: WWW '14. Association for Computing Machinery, s. 109-118 10 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Efficient Representation for Online Suffix Tree Construction

    Larsson, N. J., Fuglsang, K. & Karlsson, K., 2014, Experimental Algorithms: 13th International Symposium, SEA 2014. Gudmundsson, J. & Katajainen, J. (red.). Springer, s. 400-411 12 s. (Lecture Notes in Computer Science, Bind 8504).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Equality and fixpoints in the calculus of structures

    Chaudhuri, K. & Guenot, N., 12 sep. 2014, Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014. Henzinger, T. A. & Miller, D. (red.). Association for Computing Machinery, s. 30-40 10 s. (Annual Symposium on Logic in Computer Science).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Evaluating Musical Foreshadowing of Videogame Narrative Experiences

    Scirea, M., Cheong, Y.-G., Nelson, M. & Bae, B. C., 2014, Proceedings of the 9th Audio Mostly: A Conference on Interaction With Sound: AM '14. Association for Computing Machinery, 8 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Fil
  • Generating k-independent variables in constant time

    Christiani, T. L. & Pagh, R., 2014, Foundations of Computer Science (FOCS), 2014 IEEE 55th Annual Symposium on. IEEE, s. 196-205

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Guided Self-organization in Indirectly Encoded and Evolving Topographic Maps

    Risi, S. & Stanley, K. O., 2014, Proceedings of the 2014 Conference on Genetic and Evolutionary Computation. Association for Computing Machinery, s. 713-720 8 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Head and eye movement as pointing modalities for eyewear computers

    Jalaliniya, S., Mardanbeigi, D., Pederson, T. & Hansen, D. W., 19 jun. 2014, Proceedings of the 2014 11th International Conference on Wearable and Implantable Body Sensor Networks Workshops. IEEE Computer Society Press, 4 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Head mounted device for point-of-gaze estimation in three dimensions

    Hansen, D. W., Lidegaard, M. & Krüger, N., 1 maj 2014, ETRA '14 Proceedings of the Symposium on Eye Tracking Research and Applications . Association for Computing Machinery, 4 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Hybrid Extensions in a Logical Framework

    Schürmann, C., Brock-Nannestad, T., Guenot, N. & Murawska, A., 2014, LFMTP '14 Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice. Association for Computing Machinery, 6

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • HyPR Device: Mobile Support for Hybrid Patient Records

    Houben, S., Frost, M. & Bardram, J. E., 2014, ITS '14 Proceedings of the Ninth ACM International Conference on Interactive Tabletops and Surfaces. Association for Computing Machinery, s. 249-258 10 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • I/O Speculation for the Microsecond Era

    Wei, M. Y. C., Bjørling, M., Bonnet, P. & Swanson, S., 2014, 2014 USENIX Annual Technical Conference, USENIX ATC '14, Philadelphia, PA, USA, June 19-20, 2014.. USENIX - The Advanced Computing Systems Association, s. 475-481 7 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
  • Is Min-Wise Hashing Optimal for Summarizing Set Intersection?

    Pagh, R., Stöckel, M. & Woodruff, D., 2014, Proceedings of the 2014 ACM SIGMOD international conference on Management of data. Association for Computing Machinery, s. 109-120

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Knowledge Sharing for Common Understanding of Technical Specifications Through Artifactual Culture

    Zahedi, M. & Babar, M. A., 13 maj 2014, Proceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering: EASE '14. Shepperd, M., Hall, T. & Myrtveit, I. (red.). Association for Computing Machinery, 10 s. 11. (Proceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Learning Diagnostic Diagrams in Transport-Based Data-Collection Systems

    Tran, V. T., Eklund, P. & Cook, C., 2014, Foundations of Intelligent Systems - 21st International Symposium, ISMIS 2014, Roskilde, Denmark, June 25-27, 2014. Proceedings. Springer, Bind 8502. s. 560-566 7 s. (Lecture Notes in Computer Science, Bind 8502).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Listing Triangles

    Björklund, A., Pagh, R., Vassilevska Williams, V. & Zwick, U., 2014, Automata, Languages, and Programming, 41st International Colloquium, ICALP 2014. Springer, s. 223-234

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • MapReduce Triangle Enumeration With Guarantees

    Park, H.-M., Silvestri, F., Kang, U. & Pagh, R., 2014, CIKM '14 Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management . Association for Computing Machinery, s. 1739-1748

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Mood Expression in Real-Time Computer Generated Music using Pure Data

    Scirea, M., Nelson, M., Cheong, Y.-G. & Bae, B. C., aug. 2014, Proceedings of the ICMPC-APSCOM 2014 Joint Conference. College of Music, Yonsei University, s. 263-267 5 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Fil
  • Proceedings of the Symposium on Eye Tracking Research and Applications 2014: Conference ETRA '14 Eye Tracking Research and Applications

    Hansen, D. W. & Qvarfordt, P. (Redaktør), 2014, Conference ETRA '14 Eye Tracking Research and Applications . Association for Computing Machinery

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Robust glint detection through homography normalization

    Hansen, D. W., Roholm, L. & García Ferreiros, I., 1 maj 2014, ETRA '14 Proceedings of the Symposium on Eye Tracking Research and Applications . Association for Computing Machinery, s. 91-94 4 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • Routine and Standardization in Global Software Development

    Esbensen, M. & Bjørn, P., 2014, GROUP '14 Proceedings of the 18th International Conference on Supporting Group Work. s. 12-23

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Shortest Two Disjoint Paths in Polynomial Time

    Björklund, A. & Husfeldt, T., 2014, Automata, Languages, and Programming: 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I. 12 s. (Lecture Notes in Computer Science, Bind 8572).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • SideBar: Videoconferencing System Supporting Social Engagement

    Esbensen, M., Tell, P. & Bardram, J., 2014, 2014 International Conference on Collaborative Computing: Networking, Applications and Worksharing: CollaborateCom 2014. IEEE Press, s. 358-367

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Symmetric normalisation for intuitionistic logic

    Guenot, N. & Straßburger, L., 12 sep. 2014, Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014. Henzinger, T. A. & Miller, D. (red.). Association for Computing Machinery, s. 45-55 10 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Systematic Derivation of Static Analyses for Software Product Lines

    Midtgaard, J., Brabrand, C. & Wasowski, A., mar. 2014, MODULARITY '14 Proceedings of the 13th international conference on Modularity . Association for Computing Machinery, s. 181-192 12 s. (ITU Technical Report Series; Nr. TR-2014-170).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Fil
  • Tell me your apps and I will tell you your mood: Correlation of apps usage with Bipolar Disorder State

    Alvarez-Lozano, J., Frost, M., Osmani, V., Bardram, J., Kessing, L. V., Mayora, O. & Faurholt-Jepsen, M., 2014, Proceedings of the 7th International Conference on PErvasive Technologies Related to Assistive Environments: PETRA '14. Association for Computing Machinery, s. 19:1-19:7 7 s. 19

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • The CAP Theorem Versus Databases with Relaxed ACID properties

    Frank, L., Pedersen, R. U., Havnø Frank, C. & Larsson, J., jan. 2014, Proceedings of the 8th International Conference on Ubiquitous Information Management and Communication. Association for Computing Machinery, s. 78:1--78:7 7 s. 78

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • The Input/Output Complexity of Triangle Enumeration

    Pagh, R. & Silvestri, F., 2014, PODS '14 Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems . Association for Computing Machinery

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • The use of gaze to control drones.

    Hansen, J. P., Alapetite, A., Mackenzie, S. & Møllenbach, E., 26 mar. 2014, Proceedings of the Symposium on Eye Tracking Research and Applications: ETRA '14. New York, NY, USA: Association for Computing Machinery, s. 27-34 8 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Towards an Understanding of Enabling Process Knowing in Global Software Development: A Case Study

    Zahedi, M. & Babar, M. A., 2014, Proceedings of the 2014 International Conference on Software and System Process: ICSSP 2014. New York, NY: Association for Computing Machinery, s. 30-39 10 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Towards a Pattern Language for Self-adaptation of Cloud-based Architectures

    Ahmad, A. & Babar, M. A., 2014, Proceedings of the WICSA 2014: Workshop on Dependable and Secure Cloud Computing Architecture (DaSCCA, co-located with WICSA 2014). Association for Computing Machinery, Bind 1. 6 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Towards a Reference Architecture to Provision Tools as a Service for Global Software Development

    Chauhan, A. & Babar, M. A., apr. 2014, Software Architecture (WICSA), 2014 IEEE/IFIP Conference on. IEEE Computer Society Press, s. 167-170

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Towards a Set Theoretical Approach to Big Data Analytics

    Mukkamala, R. R., Hussain, A. & Vatrapu, R., 27 jun. 2014, Big Data (BigData Congress), 2014 IEEE International Congress on. IEEE, s. 629-636

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil