top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Advanced data mining and applications : 7th International Conference, ADMA 2011, Beijing, China, December 17-19, 2011, proceedings. Part II / Jie Tang [and others] (eds.).
Advanced data mining and applications : 7th International Conference, ADMA 2011, Beijing, China, December 17-19, 2011, proceedings. Part II / Jie Tang [and others] (eds.).
Creatore [ADMA (Conference) (7th : 2011 : Beijing, China)]
Estensione 1 online resource (xvii, 419 pages).
Accesso persona Tang, Jie (Computer scientist)
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer software
Database management
Data mining
Information storage and retrieval systems
Artificial intelligence
Information Storage and Retrieval
Data Mining and Knowledge Discovery
ISBN 9783642258565
3642258565
9783642258558
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11076355
[ADMA (Conference) (7th : 2011 : Beijing, China)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Multimedia, computer graphics and broadcasting : international conference, MulGraB 2011, held as part of the Future Generation Information Technology Conference, FGIT 2011, in conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011, proceedings. Part II / Tai-hoon Kim [and others] (eds.).
Multimedia, computer graphics and broadcasting : international conference, MulGraB 2011, held as part of the Future Generation Information Technology Conference, FGIT 2011, in conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011, proceedings. Part II / Tai-hoon Kim [and others] (eds.).
Creatore [MulGraB (Conference) (2011 : Cheju Island, Korea)]
Estensione 1 online resource (xxii, 357 pages) : illustrations.
Accesso persona Kim, Tai-hoon
Accesso convegno FGIT (Conference) (3rd : 2011 : Cheju Island, Korea)
GDC 2011 (2011 : Cheju Island, Korea)
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Computer software
Information storage and retrieval systems
Artificial intelligence
Information Systems Applications (incl. Internet)
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity
Information Storage and Retrieval
ISBN 9783642271861
3642271863
9783642271854
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11076390
[MulGraB (Conference) (2011 : Cheju Island, Korea)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Bio-inspired computing and applications : 7th International Conference on Intelligent Computing, ICIC 2011, Zhengzhou, China, August 11-14, 2011 : revised selected papers / De-Shuang Huang, Yong Gan, Prashan Premaratne, Kyungsook Han (eds.).
Bio-inspired computing and applications : 7th International Conference on Intelligent Computing, ICIC 2011, Zhengzhou, China, August 11-14, 2011 : revised selected papers / De-Shuang Huang, Yong Gan, Prashan Premaratne, Kyungsook Han (eds.).
Creatore [International Conference on Intelligent Computing (7th : 2011 : Zhengzhou, China)]
Estensione 1 online resource (xxiii, 713 pages) : illustrations.
Accesso persona Huang, De-Shuang
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Artificial intelligence
Computer vision
Optical pattern recognition
Pattern Recognition
Image Processing and Computer Vision
Computation by Abstract Devices
User Interfaces and Human Computer Interaction
ISBN 9783642245534
3642245536
3642245528
9783642245527
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11076442
[International Conference on Intelligent Computing (7th : 2011 : Zhengzhou, China)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Grid and pervasive computing workshops : International Workshops, S3E, HWTS, Doctoral Colloquium, Held in Conjunction with GPC 2011, Oulu, Finland, May 11-13, 2011. Revised selected papers / Mika Rautiainen [and others] (eds.).
Grid and pervasive computing workshops : International Workshops, S3E, HWTS, Doctoral Colloquium, Held in Conjunction with GPC 2011, Oulu, Finland, May 11-13, 2011. Revised selected papers / Mika Rautiainen [and others] (eds.).
Creatore [GPC (Conference) (2011 : Oulu, Finland)]
Estensione 1 online resource (xiv, 179 pages).
Accesso persona Rautiainen, Mika
Accesso convegno HWTS 2011 (2011 : Oulu, Finland)
S3E 2011 (2011 : Oulu, Finland)
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Information storage and retrieval systems
Artificial intelligence
Information Systems Applications (incl. Internet)
Information Storage and Retrieval
Artificial Intelligence (incl. Robotics)
User Interfaces and Human Computer Interaction
ISBN 9783642279164
3642279163
3642279155
9783642279157
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11076569
[GPC (Conference) (2011 : Oulu, Finland)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Datalog reloaded : first International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised selected papers / Oege de Moor [and others] (eds.).
Datalog reloaded : first International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised selected papers / Oege de Moor [and others] (eds.).
Creatore [Datalog 2010 (2010 : Oxford, England)]
Estensione 1 online resource (viii, 398 pages).
Accesso persona Moor, Oege de.
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Information storage and retrieval systems
Artificial intelligence
Information Systems Applications (incl. Internet)
Information Storage and Retrieval
Artificial Intelligence (incl. Robotics)
Mathematical Logic and Formal Languages
ISBN 9783642242069
3642242065
9783642242052
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11076615
[Datalog 2010 (2010 : Oxford, England)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Intelligent adaptation and personalization techniques in computer-supported collaborative learning / Thanasis Daradoumis, Stavros N. Demetriadis, Fatos Xhafa (eds.).
Intelligent adaptation and personalization techniques in computer-supported collaborative learning / Thanasis Daradoumis, Stavros N. Demetriadis, Fatos Xhafa (eds.).
Estensione 1 online resource (xvi, 334 pages).
Accesso persona Daradoumis, Thanasis
Demetriadis, Stavros N.
Xhafa, Fatos
Genere/Forma Electronic books
Soggetto non controllato Engineering
Artificial intelligence
Computational Intelligence
ISBN 9783642285868
3642285864
3642285856
9783642285851
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Reuse of Data Flow Designs in Complex and Adaptive CSCL Scripts: A Case Study / Osmel Bordiés, Yannis Dimitriadis, Carlos Alario-Hoyos, Adolfo Ruiz-Calleja and Andrés Subert -- System Orchestration Support for a Collaborative Blended Learning Flow / Luis de-la-Fuente-Valentín, Mar Pérez-Sanagustín, Patrícia Santos, Davinia Hernández-Leo and Abelardo Pardo, et al. -- Adaptive Collaboration Scripting with IMS LD / Florian König and Alexandros Paramythis -- Extending IMS-LD Capabilities: A Review, a Proposed Framework and Implementation Cases / Ioannis Magnisalis and Stavros Demetriadis -- Prototype Tools for the Flexible Design of CSCL Activities Based on the Adaptation Pattern Perspective / Anastasios Karakostas, Zaharoula Papamitsiou and Stavros Demetriadis -- Adapting the Collaborative Strategy 'Students Team Achievement Divisions' in an Information Technology Work Place / Maria Kordaki, Thanasis Daradoumis, Dimitrios Fragidakis and Maria Grigoriadou -- Examining the Interrelation between the Interaction Analysis and Adaptation Research Fields within Communication-Based Collaborative Learning Activities: Convergence, Divergence or Complementarity? / Tharrenos Bratitsis -- Making Adaptations of CSCL Scripts by Analyzing Learners' Online Behavior / Ourania Petropoulou, Georgia Lazakidou, Petros Georgiakakis and Symeon Retalis -- Behavioural Prototyping: Making Interactive and Intelligent Systems Meaningful for the User / Stephen Benton, Boris Altemeyer and Bryan Manning -- The Design of a Teacher-Driven Intelligent Agent System for Supervising Lessons in LAMS / Themistoklis Chronopoulos and Ioannis Hatzilygeroudis -- The Text-Based Computer-Mediated Communication in Distance Education Fora: A Modelling Approach Based on Formal Languages / Kiriakos Patriarcheas, Spyridon Papaloukas and Michalis Xenos -- Antecedents of Collaborative Learning in Massively Multiplayer Online Games / Iro Voulgari and Vassilis Komis -- Validating Empirically a Rating Approach for Quantifying the Quality of Collaboration / Georgios Kahrimanis, Irene-Angelica Chounta and Nikolaos Avouris -- Internet-Mediated Communities of Practice: Identifying a Typology of Critical Elements / Apostolos Kostas and Alivisos Sofos.
Record Nr. UCHICAGO-11076736
Materiale a stampa
Lo trovi qui: University of Chicago
Transactions on edutainment VII / Zhigeng Pan [and others] (eds.).
Transactions on edutainment VII / Zhigeng Pan [and others] (eds.).
Estensione 1 online resource (xiii, 284 pages) : illustrations.
Accesso persona Pan, Zhigeng, 1965-
Accesso convegno International Conference on Computer Animation and Social Agents (2011 : Chengdu, China)
International Conference on Digital Media and Digital Content Management (5th : 2010 : Chongqing, China)
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Multimedia systems
Artificial intelligence
Computer graphics
Education
User Interfaces and Human Computer Interaction
Information Systems Applications (incl. Internet)
Multimedia Information Systems
Computers and Education
ISBN 9783642290503
3642290507
9783642290497
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Accounting for Patterns of Collective Behavior in Crowd Locomotor Dynamics for Realistic Simulations / Stéphane Bonneaud, Kevin Rio, Pierre Chevaillier and William H. Warren -- Human Behaviour Modelling for Simulating Evacuation of Buildings on Fire / Julien Valentin, Florent Coudret, Eric Gouardères and Wilfrid Lefer -- Application of Simulation and Virtual Reality to Physical Education and Athletic Training / Lin Zhang and Qing Liu -- Depth-Varying Human Video Sprite Synthesis / Wei Hua, Wenzhuo Yang, Zilong Dong and Guofeng Zhang -- Automating Expressive Locomotion Generation / Yejin Kim and Michael Neff -- Recovering Geometric Detail by Octree Normal Maps / Wenshan Fan, Bin Wang, Bin Chan, Jean-Claude Paul and Jiaguang Sun -- Quad-Tree Atlas Ray Casting: A GPU Based Framework for Terrain Visualization and Its Applications / Jianxin Luo, Guiqiang Ni, Ping Cui, Jinsong Jiang and Yifeng Duan, et al. -- Clustering Spatial Data for Aggregate Query Processing in Walkthrough: A Hypergraph Approach / Shao-Shin Hung, Chih Ming Chiu, Tsou Tsun Fu, Jung-Tsung Chen and Derchian Tsaih, et al. -- Skin-Detached Surface for Interactive Large Mesh Editing / Yujian Gao, Aimin Hao and Qinping Zhao -- Physically Based Simulation of Solid Objects' Burning / Shiguang Liu, Tai An, Zheng Gong and Ichiro Hagiwara -- Tunneling Blasting Simulation for Digital Mine / Chao Wang, Yu Wu, Tingting Zhu, Hongbo Li and Mingliang Xu -- Massively Multiplayer Online Games Developed with Agents / Gustavo Aranda, Tomas Trescak, Marc Esteva, Inmaculada Rodriguez and Carlos Carrascosa -- A Novel Skeletonization and Animation Approach for Point Models / Zhiying He, Xiaohui Liang and Qinping Zhao.
View-Dependent Line Drawings for 3D Scenes / Xin Zhang, Zi'ang Ding, Chuan Zhu, Wei Chen and Qunsheng Peng -- Propositions for Innovative Forms of Digital Interactive Storytelling Based on Narrative Theories and Practices / Nicolas Szilas, Monica Axelrad and Urs Richle -- A Virtual Informal Learning System for Cultural Heritage / Shengnan Chen, Zhigeng Pan and Mingmin Zhang -- Multi-samples Texture Synthesis for Dynamic Terrain Based on Constraint Conditions / Xingquan Cai, Jie Li, Haiyan Sun and Jinhong Li -- PCA and FLD in DWT Domain / Zhicheng Liu and Zhijun Fang -- Area Measurement Method of Paint Bubble Based on Computer Vision / Shidu Dong, Xiaofan Yang, Huaqiu Wang, Xiang Liu and Hengyang Liu -- A High Precision Fresco Scanner / Xifan Shi, Xianghua Chen and Tiefeng Cai -- Multiwavelet Video Coding Based on DCT Time Domain Filtering / Zhijun Fang, Guihua Luo, Jucheng Yang and Shouyuan Yang -- Rendering Realistic Ocean Scenes on GPU / Xingquan Cai, Baoxin Qian, Haiyan Sun and Jinhong Li -- Effect of Body Image Presentation Format to Female Physical Attractiveness / Lili Zhai, Xiaoming Qian, Rui Wang, Jintu Fan and Heyue Wei -- Medical Image Registration Based on Wavelet Transform Using Hausdorff Distance / Jianxun Zhang and Yu Liu -- Study on Key Technology of HPSIN-Based Vector Geo-data Online Service / Jiali Feng, Nan Jiang, Bin Hu, Jiagao Wu and Zhiqiang Zou -- Defection Recognition of Cold Rolling Strip Steel Based on ACO Algorithm with Quantum Action / Jinrong Zhang and Yue Wang -- Line Feature Enhancement Using a New Shift-Invariant Non-aliasing Ridgelet Transform / He Yan, Youjia Fu and Guangzhi Yin.
Record Nr. UCHICAGO-11076755
Materiale a stampa
Lo trovi qui: University of Chicago
Tools and algorithms for the construction and analysis of systems : 18th International Conference, TACAS 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24-April 1, 2012. Proceedings / Cormac Flanagan, Barbara König (eds.).
Tools and algorithms for the construction and analysis of systems : 18th International Conference, TACAS 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24-April 1, 2012. Proceedings / Cormac Flanagan, Barbara König (eds.).
Creatore [TACAS (Conference) (18th : 2012 : Tallinn, Estonia)]
Estensione 1 online resource (xix, 560 pages).
Accesso persona Flanagan, Cormac
König, Barbara (Professor of Information Engineering)
Accesso convegno ETAPS (Conference) (2012 : Tallinn, Estonia)
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Logic design
Artificial intelligence
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Artificial Intelligence (incl. Robotics)
Programming Techniques
ISBN 9783642287565
3642287565
9783642287558
3642287557
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Quantitative Models for a Not So Dumb Grid / Holger Hermanns -- History-Aware Data Structure Repair Using SAT / Razieh Nokhbeh Zaeem, Divya Gopinath, Sarfraz Khurshid and Kathryn S. McKinley -- The Guardol Language and Verification System / David Hardin, Konrad Slind, Michael Whalen and Tuan-Hung Pham -- A Bit Too Precise? Bounded Verification of Quantized Digital Filters / Arlen Cox, Sriram Sankaranarayanan and Bor-Yuh Evan Chang -- Numeric Bounds Analysis with Conflict-Driven Learning / Vijay D'Silva, Leopold Haller, Daniel Kroening and Michael Tautschnig -- Ramsey-Based Analysis of Parity Automata / Oliver Friedmann and Martin Lange -- VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata / Ondřej Lengál, Jiří Šimáček and Tomáš Vojnar -- LTL to Büchi Automata Translation: Fast and More Deterministic / Tomáš Babiak, Mojmír Křetínský, Vojtěch Řehák and Jan Strejček -- Pushdown Model Checking for Malware Detection / Fu Song and Tayssir Touili -- Aspect-Oriented Runtime Monitor Certification / Kevin W. Hamlen, Micah M. Jones and Meera Sridhar -- Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems / Frédéric Lang and Radu Mateescu -- From Under-Approximations to Over-Approximations and Back / Aws Albarghouthi, Arie Gurfinkel and Marsha Chechik.
Automated Analysis of AODV Using UPPAAL / Ansgar Fehnker, Rob van Glabbeek, Peter Höfner, Annabelle McIver and Marius Portmann, et al. -- Modeling and Verification of a Dual Chamber Implantable Pacemaker / Zhihao Jiang, Miroslav Pajic, Salar Moarref, Rajeev Alur and Rahul Mangharam -- Counter-Example Guided Fence Insertion under TSO / Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Carl Leonardsson and Ahmed Rezine -- Java Memory Model-Aware Model Checking / Huafeng Jin, Tuba Yavuz-Kahveci and Beverly A. Sanders -- Compositional Termination Proofs for Multi-threaded Programs / Corneliu Popeea and Andrey Rybalchenko -- Deciding Conditional Termination / Marius Bozga, Radu Iosif and Filip Konečný -- The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures / Alessandro Armando, Wihem Arsac, Tigran Avanesov, Michele Barletta and Alberto Calvi, et al. -- Reduction-Based Formal Analysis of BGP Instances / Anduo Wang, Carolyn Talcott, Alexander J.T. Gurney, Boon Thau Loo and Andre Scedrov -- Minimal Critical Subsystems for Discrete-Time Markov Models / Ralf Wimmer, Nils Jansen, Erika Ábrahám, Bernd Becker and Joost-Pieter Katoen -- Automatic Verification of Competitive Stochastic Systems / Taolue Chen, Vojtěch Forejt, Marta Kwiatkowska, David Parker and Aistis Simaitis -- Coupling and Importance Sampling for Statistical Model Checking / Benoît Barbot, Serge Haddad and Claudine Picaronny.
Verifying pCTL Model Checking / Johannes Hölzl and Tobias Nipkow -- Parameterized Synthesis / Swen Jacobs and Roderick Bloem -- QuteRTL: Towards an Open Source Framework for RTL Design Synthesis and Verification / Hu-Hsi Yeh, Cheng-Yin Wu and Chung-Yang (Ric) Huang -- Template-Based Controller Synthesis for Timed Systems / Bernd Finkbeiner and Hans-Jörg Peter -- Zeno: An Automated Prover for Properties of Recursive Data Structures / William Sonnex, Sophia Drossopoulou and Susan Eisenbach -- A Proof Assistant for Alloy Specifications / Mattias Ulbrich, Ulrich Geilmann, Aboubakr Achraf El Ghazi and Mana Taghdiri -- Reachability under Contextual Locking / Rohit Chadha, P. Madhusudan and Mahesh Viswanathan -- Bounded Phase Analysis of Message-Passing Programs / Ahmed Bouajjani and Michael Emmi -- Demonstrating Learning of Register Automata / Maik Merten, Falk Howar, Bernhard Steffen, Sofia Cassel and Bengt Jonsson -- Symbolic Automata: The Toolkit / Margus Veanes and Nikolaj Bjørner -- McScM: A General Framework for the Verification of Communicating Machines / Alexander Heußner, Tristan Le Gall and Grégoire Sutre -- SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications / Luís Caires and Hugo Torres Vieira -- TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets / Alexandre David, Lasse Jacobsen, Morten Jacobsen, Kenneth Yrke Jørgensen and Mikael H. Møller, et al. -- A Platform for High Performance Statistical Model Checking -- PLASMA / Cyrille Jegourel, Axel Legay and Sean Sedwards.
Competition on Software Verification / (SV-COMP) / Dirk Beyer -- Predicate Analysis with BLAST 2.7 / (Competition Contribution) / Pavel Shved, Mikhail Mandrykin and Vadim Mutilin -- CPAchecker with Adjustable Predicate Analysis / (Competition Contribution) / Stefan Löwe and Philipp Wendler -- Block Abstraction Memoization for CPAchecker / (Competition Contribution) / Daniel Wonisch -- Context-Bounded Model Checking with ESBMC 1.17 / (Competition Contribution) / Lucas Cordeiro, Jeremy Morse, Denis Nicole and Bernd Fischer -- Proving Reachability Using FShell / (Competition Contribution) / Andreas Holzer, Daniel Kroening, Christian Schallhart, Michael Tautschnig and Helmut Veith -- LLBMC: A Bounded Model Checker for LLVM's Intermediate Representation / (Competition Contribution) / Carsten Sinz, Florian Merz and Stephan Falke -- Predator: A Verification Tool for Programs with Dynamic Linked Data Structures / (Competition Contribution) / Kamil Dudka, Petr Müller, Petr Peringer and Tomáš Vojnar -- HSF(C): A Software Verifier Based on Horn Clauses / (Competition Contribution) / Sergey Grebenshchikov, Ashutosh Gupta, Nuno P. Lopes, Corneliu Popeea and Andrey Rybalchenko -- satabs: A Bit-Precise Verifier for C Programs / (Competition Contribution) / Gérard Basler, Alastair Donaldson, Alexander Kaiser, Daniel Kroening and Michael Tautschnig, et al. -- Wolverine: Battling Bugs with Interpolants / (Competition Contribution) / Georg Weissenbacher, Daniel Kroening and Sharad Malik.
Record Nr. UCHICAGO-11076773
[TACAS (Conference) (18th : 2012 : Tallinn, Estonia)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Design science research in information systems : advances in theory and practice ; 7th international conference, DESRIST 2012, Las Vegas, NV, USA, May 14-15, 2012 : proceedings / Ken Peffers, Marcus Rothenberger, Bill Kuechler (eds.).
Design science research in information systems : advances in theory and practice ; 7th international conference, DESRIST 2012, Las Vegas, NV, USA, May 14-15, 2012 : proceedings / Ken Peffers, Marcus Rothenberger, Bill Kuechler (eds.).
Creatore [DESRIST (Conference) (7th : 2012 : Las Vegas, Nev.)]
Estensione 1 online resource (xi, 438 pages) : illustrations.
Accesso persona Peffers, Ken.
Rothenberger, Marcus
Kuechler, William
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Information storage and retrieval systems
Artificial intelligence
Information Systems Applications (incl. Internet)
User Interfaces and Human Computer Interaction
Information Storage and Retrieval
ISBN 9783642298639
364229863X
9783642298622
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Towards a Comprehensive Online Peer Assessment System / Design Outline / Dmytro Babik, Lakshmi S. Iyer and Eric W. Ford -- Designing Digital Innovation Contests / Anders Hjalmarsson and Daniel Rudmark -- Evaluating APIs: A Call for Design Science Research / Bala Iyer and George Wyner -- Designing for Recombination: Process Design through Template Combination / Arvind Karunakaran and Sandeep Purao -- Design Principles for Inter-Organizational Systems Development -- Case Hansel / Heikki Lempinen, Matti Rossi and Virpi Kristiina Tuunainen -- Using Design Science Research to Develop a Modeling Technique for Service Design / Lysanne Lessard and Eric Yu -- Towards a Decision Tool for Choosing a Business Process Maturity Model / Amy Van Looy, Manu De Backer and Geert Poels -- Implementing Design Principles for Collaborative ERP Systems / Wendy Lucas and Tamara Babaian -- Applying Design Science Research for Enterprise Architecture Business Value Assessments / Martin Meyer, Markus Helfert, Brian Donnellan and Jim Kenneally -- Designing-in-the-Large: Combining Local Perspectives to Generate Enterprise-Wide Integration Solutions / Sandeep Purao, Narasimha Bolloju and Chuan Hoo Tan -- Emergency Response System Design: An Examination of Emergency Communication Messages / Rohit Valecha, Raj Sharman, Raghav Rao and Shambhu Upadhyaya -- An Approach for Smart Artifacts for Mobile Advertising / Upkar Varshney.
Towards a Unified Design Theory for Creativity Support Systems / Matthias Voigt, Björn Niehaves and Jörg Becker -- What Makes Corporate Wikis Work? Wiki Affordances and Their Suitability for Corporate Knowledge Work / M. Lisa Yeo and Ofer Arazy -- Design Science as Design of Social Systems -- Implications for Information Systems Research / Andreas Drechsler -- Towards Design Engineering of Ubiquitous Information Systems / Wolfgang Maass and Sabine Janzen -- Technical Action Research as a Validation Method in Information Systems Design Science / Roel Wieringa and Ayşe Moralı -- Decision Enhancement for Sourcing with Shared Service Centres in the Dutch Government / Arjan Knol, Henk Sol and Johan van Wamelen -- Designing a Framework for Virtual Management and Team Building / Jan Pries-Heje and Lene Pries-Heje -- Integrating Organisational Design with IT Design / The Queensland Health Payroll Case / António Rito Silva and Michael Rosemann -- Common Citation Analysis and Technology Overlap Factor: An Empirical Investigation of Litigated Patents Using Network Analysis / Srikar Velichety and Sudha Ram -- Environmental Sustainability in Design Science Research: Direct and Indirect Effects of Design Artifacts / Jan vom Brocke and Stefan Seidel.
Design Science Research and the Core of Information Systems / Ahmad Alturki, Wasana Bandara and Guy G. Gable -- Anatomy of Knowledge Bases Used in Design Science Research / A Literature Review / Oliver Gaß, Norbert Koppenhagen, Harald Biegel, Alexander Maedche and Benjamin Müller -- Characterizing Design Science Theories by Level of Constraint on Design Decisions / Bill Kuechler and Vijay Vaishnavi -- On the Relationship between the IT Artifact and Design Theory: The Case of Virtual Social Facilitation / Björn Niehaves, Kevin Ortbach and Asin Tavakoli -- Towards a Formal Approach to Information Systems Design Theory Using Category Theory / George R. Widmeyer -- Evaluations in the Science of the Artificial -- Reconsidering the Build-Evaluate Pattern in Design Science Research / Christian Sonnenberg and Jan vom Brocke -- Design Science Research Evaluation / Ken Peffers, Marcus Rothenberger, Tuure Tuunanen and Reza Vaezi -- Design of Software Agent-Populated Electronic Negotiation System and Evaluation of Human -- to -- Agent Negotiations / Rustam Vahidov and Gregory E. Kersten -- A Comprehensive Framework for Evaluation in Design Science Research / John Venable, Jan Pries-Heje and Richard Baskerville.
Record Nr. UCHICAGO-11076894
[DESRIST (Conference) (7th : 2012 : Las Vegas, Nev.)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Software engineering research, management and applications 2012 / Roger Lee (ed.).
Software engineering research, management and applications 2012 / Roger Lee (ed.).
Creatore [SERA (Conference) (10th : 2012 : Shanghai, China)]
Estensione 1 online resource.
Accesso persona Lee, Roger (Roger Chin Tat)
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Engineering
Software engineering
Artificial intelligence
Computational Intelligence
ISBN 9783642304606
3642304605
3642304591
9783642304590
Classificazione 54.52
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Identifying Critical Success Factors for Adopting CRM in Small: A Framework for Small and Medium Enterprises / I. Garcia, C. Pacheco and A. Martinez -- A New Biomimetic Approach Based on Social Spiders for Clustering of Text / Reda Mohamed Hamou, Abdelmalek Amine and Mohamed Rahmani -- Investigating Software Reliability Requirements in Software Projects / Marwa Abd Elghany, Anthony White, Elli Georgiadou, Nermine Khalifa and Mona Abd Elghany -- A Design Pattern Detection Approach Based on Semantics / Imène Issaoui, Nadia Bouassida and Hanêne Ben-Abdallah -- Enterprise Architecture: A Framework Based on Human Behavior Using the Theory of Structuration / Dominic M. Mezzanotte Sr. and Josh Dehlinger -- A Middleware for Reconfigurable Distributed Real-Time Embedded Systems / Fatma Krichen, Bechir Zalila, Mohamed Jmaiel and Brahim Hamid -- Do We Need Another Textual Language for Feature Modeling? / A Preliminary Evaluation on the XML Based Approach / Jingang Zhou, Dazhe Zhao, Li Xu and Jiren Liu.
Dealing with NFRs for Smart-Phone Applications: A Goal-Oriented Approach / Rutvij Mehta, Hongyuan Wang and Lawrence Chung -- Basic Object Distribution for Mobile Environment / Ji-Uoo Tak, Roger Y. Lee and Haeng-Kon Kim -- Enhancing Tool Support for Situational Engineering of Agile Methodologies in Eclipse / Zahra Shakeri Hossein Abad, Anahita Alipour and Raman Ramsin -- Business Intelligence System in Banking Industry Case Study of Samam Bank of Iran / Maryam Marefati and Seyyed Mohsen Hashemi -- CoDIT: Bridging the Gap between System-Level and Component-Level Development / Lukáš Hermann, Tomáš Bureš, Petr Hnětynka and Michal Malohlava -- A Resource Scheduling Algorithm Based on Trust Degree in Cloud Computing / Mingshan Xie, Mengxing Huang and Bing Wan -- Sensor Data Filtering Algorithm for Efficient Local Positioning System / Sang-Seop Lim, Seok-Jun Ko, Jong-Hwan Lim and Chul-Ung Kang.
Record Nr. UCHICAGO-11076900
[SERA (Conference) (10th : 2012 : Shanghai, China)]  
Materiale a stampa
Lo trovi qui: University of Chicago