Search results for "places"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
71	Changqing Zhou, Dan Frankowski, Pamela J. Ludford, Shashi Shekhar, Loren G. Terveen	Discovering personally meaningful places: An interactive clustering approach.	ACM Trans. Inf. Syst.	2007	DBLP DOI BibTeX RDF	place discovery, Ubiquitous computing, field studies, clustering algorithms, location-aware applications
65	Changqing Zhou, Nupur Bhatnagar, Shashi Shekhar, Loren G. Terveen	Mining Personally Important Places from GPS Tracks.	ICDE Workshops	2007	DBLP DOI BibTeX RDF
64	Mercedes Granda, José M. Drake, José A. Gregorio	Performance Evaluation of Parallel Systems by Using Unbounded Generalized Stochastic Petri Nets.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	unbounded generalized stochastic Petri nets, unbounded places, natural symmetries, finite graph, lumped states, unbounded places, open parallel systems, k-bounded, performance evaluation, parallel programming, Petri nets, performance measures, parallel machines, stochastic processes, parallel systems, state space, steady-state solution
60	Jeffrey Hightower, Sunny Consolvo, Anthony LaMarca, Ian E. Smith, Jeff Hughes	Learning and Recognizing the Places We Go.	UbiComp	2005	DBLP DOI BibTeX RDF
59	Nieves R. Brisaboa, María J. Durán, Miguel R. Penabad, Ángeles Saavedra Places	A Collaborative Framework for a Digital Library.	CRIWG	2000	DBLP DOI BibTeX RDF	meeting places, specialized workgroups, human presence, transcribed texts, digitized pages, historic Spanish documents, unique entry point, mail boxes, World Wide Web, digital libraries, digital library, browsing, Web page, chat, collaborative framework, bulletin board, virtual library
52	Benedikt Ostermaier, Philipp Bolliger	Creating Location-Based Services by Utilising a Web of Places.	SAINT	2008	DBLP DOI BibTeX RDF	geospatial search engine, web of places, location-based services
48	Kevin M. Curtin, Richard L. Church	Optimal dispersion and central places.	J. Geogr. Syst.	2007	DBLP DOI BibTeX RDF	JEL R12, C61
47	Nicolas Ducheneaut, Robert J. Moore, Eric Nickell	Virtual "Third Places": A Case Study of Sociability in Massively Multiplayer Games.	Comput. Support. Cooperative Work.	2007	DBLP DOI BibTeX RDF	automated data collection, online games, sociability, third places
47	Ekaterina Prasolova-Førland	A repository of virtual places as community memory: an experience of use.	VRCAI	2004	DBLP DOI BibTeX RDF	community memory, repository of virtual places, collaborative virtual environments, social awareness, learning communities
47	Lukasz Beca	Building Collaborative Problem-Solving Environments as Shared Places.	HICSS	2001	DBLP DOI BibTeX RDF	CPSE, virtual places, XML, collaboration, software components
47	Lukasz Beca	Applications of XML and Customizable Components in Building Virtual Places on the Web.	WETICE	2000	DBLP DOI BibTeX RDF	virtual places, XML, Collaboration, software components
43	Carsten S. Østerlund	Documents in Place: Demarcating Places for Collaboration in Healthcare Settings.	Comput. Support. Cooperative Work.	2008	DBLP DOI BibTeX RDF	communication genres, indexical analysis, practice theory, context, documents, knowledge sharing, space, medical informatics, place, distributed work, mobile work
43	Petteri Nurmi, Sourav Bhattacharya	Identifying Meaningful Places: The Non-parametric Way.	Pervasive	2008	DBLP DOI BibTeX RDF
43	Ryan Aipperspach, Tye Rattenbury, Allison Woodruff, John F. Canny	A Quantitative Method for Revealing and Comparing Places in the Home.	UbiComp	2006	DBLP DOI BibTeX RDF
43	Changqing Zhou, Pamela J. Ludford, Dan Frankowski, Loren G. Terveen	An experiment in discovering personally meaningful places from location data.	CHI Extended Abstracts	2005	DBLP DOI BibTeX RDF	place discovery, ubiquitous computing, field studies, clustering algorithms, location-aware applications
40	Quentin Jones, Sukeshini A. Grandhi, Samer Karam, Steve Whittaker 0001, Changqing Zhou, Loren G. Terveen	Geographic 'Place' and 'Community Information' Preferences.	Comput. Support. Cooperative Work.	2008	DBLP DOI BibTeX RDF	locomotive media, P3-Systems, pervasive computing, social computing, place
37	Ilaria Castellani, Alceste Scalas (eds.)	Proceedings 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES@ETAPS 2023, Paris, France, 22 April 2023.	PLACES@ETAPS	2023	DBLP DOI BibTeX RDF
37	Ton Smeele, Sung-Shik Jongmans	Choreographic Programming of Isolated Transactions.	PLACES@ETAPS	2023	DBLP DOI BibTeX RDF
37	Ross Horne, Luca Padovani	A Logical Account of Subtyping for Session Types.	PLACES@ETAPS	2023	DBLP DOI BibTeX RDF
37	Matteo Cimini	A Declarative Validator for GSOS Languages.	PLACES@ETAPS	2023	DBLP DOI BibTeX RDF
37	Dominic Orchard, Mihail Munteanu, Paulo Torrens	Communicating Actor Automata - Modelling Erlang Processes as Communicating Machines.	PLACES@ETAPS	2023	DBLP DOI BibTeX RDF
37	Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos	Kind Inference for the FreeST Programming Language.	PLACES@ETAPS	2023	DBLP DOI BibTeX RDF
37	Marco Carbone, Rumyana Neykova (eds.)	Proceedings of the 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES@ETAPS 2022, Munich, Germany, 3rd April 2022.	PLACES@ETAPS	2022	DBLP DOI BibTeX RDF
37	Dennis Liew, Tiago Cogumbreiro, Julien Lange	Provable GPU Data-Races in Static Race Detection.	PLACES@ETAPS	2022	DBLP DOI BibTeX RDF
37	Diana Costa 0001, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos	Higher-order Context-free Session Types in System F.	PLACES@ETAPS	2022	DBLP DOI BibTeX RDF
37	Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini	Asynchronous Sessions with Input Races.	PLACES@ETAPS	2022	DBLP DOI BibTeX RDF
37	Daniel Marshall 0001, Dominic Orchard	Replicate, Reuse, Repeat: Capturing Non-Linear Communication via Session Types and Graded Modal Types.	PLACES@ETAPS	2022	DBLP DOI BibTeX RDF
37	Matteo Cimini	Lang-n-Send: Processes That Send Languages.	PLACES@ETAPS	2022	DBLP DOI BibTeX RDF
37	Stephanie Balzer, Luca Padovani (eds.)	Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS 2020, Dublin, Ireland, 26th April 2020.	PLACES@ETAPS	2020	DBLP DOI BibTeX RDF
37	Filipe Casal, Andreia Mordido, Vasco T. Vasconcelos	Mixed Sessions: the Other Side of the Tape.	PLACES@ETAPS	2020	DBLP DOI BibTeX RDF
37	Shunsuke Kimura 0002, Keigo Imai	Fluent Session Programming in C#.	PLACES@ETAPS	2020	DBLP DOI BibTeX RDF
37	Bas van den Heuvel 0001, Jorge A. Pérez 0001	Session Type Systems based on Linear Logic: Classical versus Intuitionistic.	PLACES@ETAPS	2020	DBLP DOI BibTeX RDF
37	Simon J. Gay, Peter Thiemann 0001, Vasco T. Vasconcelos	Duality of Session Types: The Final Cut.	PLACES@ETAPS	2020	DBLP DOI BibTeX RDF
37	Anson Miu, Francisco Ferreira 0001, Nobuko Yoshida, Fangyi Zhou 0002	Generating Interactive WebSocket Applications in TypeScript.	PLACES@ETAPS	2020	DBLP DOI BibTeX RDF
37	Nicolas Dilley, Julien Lange	Bounded verification of message-passing concurrency in Go using Promela and Spin.	PLACES@ETAPS	2020	DBLP DOI BibTeX RDF
37	Francisco Martins, Dominic Orchard (eds.)	Proceedings Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS 2019, Prague, Czech Republic, 7th April 2019.	PLACES@ETAPS	2019	DBLP DOI BibTeX RDF
37	Jonathan King, Nicholas Ng, Nobuko Yoshida	Multiparty Session Type-safe Web Development with Static Linearity.	PLACES@ETAPS	2019	DBLP DOI BibTeX RDF
37	Assel Altayeva, Nobuko Yoshida	Service Equivalence via Multiparty Session Type Isomorphisms.	PLACES@ETAPS	2019	DBLP DOI BibTeX RDF
37	Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos	FreeST: Context-free Session Types in a Functional Language.	PLACES@ETAPS	2019	DBLP DOI BibTeX RDF
37	Jan de Muijnck-Hughes, Edwin C. Brady, Wim Vanderbauwhede	Value-Dependent Session Design in a Dependently Typed Language.	PLACES@ETAPS	2019	DBLP DOI BibTeX RDF
37	Klaas Pruiksma, Frank Pfenning	A Message-Passing Interpretation of Adjoint Logic.	PLACES@ETAPS	2019	DBLP DOI BibTeX RDF
37	Rosita Gerbo, Luca Padovani	Concurrent Typestate-Oriented Programming in Java.	PLACES@ETAPS	2019	DBLP DOI BibTeX RDF
37	Vasco T. Vasconcelos, Philipp Haller (eds.)	Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS 2017, Uppsala, Sweden, 29th April 2017.	PLACES@ETAPS	2017	DBLP DOI BibTeX RDF
37	Philipp Haller, Fredrik Sommar	Towards an Empirical Study of Affine Types for Isolated Actors in Scala.	PLACES@ETAPS	2017	DBLP DOI BibTeX RDF
37	Sanjiva Prasad	Best-by-Simulations: A Framework for Comparing Efficiency of Reconfigurable Multicore Architectures on Workloads with Deadlines.	PLACES@ETAPS	2017	DBLP DOI BibTeX RDF
37	Philipp Haller, Ludvig Axelsson	Quantifying and Explaining Immutability in Scala.	PLACES@ETAPS	2017	DBLP DOI BibTeX RDF
37	Hendrik Maarand, Tarmo Uustalu	Generating Representative Executions [Extended Abstract].	PLACES@ETAPS	2017	DBLP DOI BibTeX RDF
37	Eva Graversen, Iain Phillips 0001, Nobuko Yoshida	Towards a Categorical Representation of Reversible Event Structures.	PLACES@ETAPS	2017	DBLP DOI BibTeX RDF
37	Alceste Scalas, Nobuko Yoshida	Multiparty Session Types, Beyond Duality (Abstract).	PLACES@ETAPS	2017	DBLP DOI BibTeX RDF
37	Elias Castegren, Tobias Wrigstad	Actors without Borders: Amnesty for Imprisoned State.	PLACES@ETAPS	2017	DBLP DOI BibTeX RDF
37	Francisco Martins, Vasco Thudichum Vasconcelos, Hans Hüttel	Inferring Types for Parallel Programs.	PLACES@ETAPS	2017	DBLP DOI BibTeX RDF
37	Dominic A. Orchard, Nobuko Yoshida (eds.)	Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2016, Eindhoven, The Netherlands, 8th April 2016.	PLACES	2016	DBLP DOI BibTeX RDF
37	Simon Gay, Jade Alglave (eds.)	Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2015, London, UK, 18th April 2015.	PLACES	2016	DBLP DOI BibTeX RDF
37	Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro	Secure Multiparty Sessions with Topics.	PLACES	2016	DBLP DOI BibTeX RDF
37	Tiago Cogumbreiro, Jun Shirako, Vivek Sarkar	Formalization of Phase Ordering.	PLACES	2016	DBLP DOI BibTeX RDF
37	Claudio Antares Mezzina, Jorge A. Pérez 0001	Reversible Sessions Using Monitors.	PLACES	2016	DBLP DOI BibTeX RDF
37	Wytse Oortwijn, Stefan Blom, Marieke Huisman	Future-based Static Analysis of Message Passing Programs.	PLACES	2016	DBLP DOI BibTeX RDF
37	Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri	Parallel Monitors for Self-adaptive Sessions.	PLACES	2016	DBLP DOI BibTeX RDF
37	Roly Perera, Julien Lange, Simon J. Gay	Multiparty Compatibility for Concurrent Objects.	PLACES	2016	DBLP DOI BibTeX RDF
37	Sanjiva Prasad	Program Execution on Reconfigurable Multicore Architectures.	PLACES	2016	DBLP DOI BibTeX RDF
37	Pierpaolo Degano, Gian-Luigi Ferrari 0002, Letterio Galletta	Event-driven Adaptation in COP.	PLACES	2016	DBLP DOI BibTeX RDF
37	Tony Garnock-Jones	From Events to Reactions: A Progress Report.	PLACES	2016	DBLP DOI BibTeX RDF
37	Philipp Haller, Heather Miller	Distributed Programming via Safe Closure Passing.	PLACES	2015	DBLP DOI BibTeX RDF
37	Ignacio Vissani, Carlos Gustavo López Pombo, Emilio Tuosto	Communicating machines as a dynamic binding mechanism of services.	PLACES	2015	DBLP DOI BibTeX RDF
37	Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Nobuko Yoshida	Precise subtyping for synchronous multiparty sessions.	PLACES	2015	DBLP DOI BibTeX RDF
37	Geoffrey Brown, Amr Sabry	Reversible Communicating Processes.	PLACES	2015	DBLP DOI BibTeX RDF
37	Dominic A. Orchard, Nobuko Yoshida	Using session types as an effect system.	PLACES	2015	DBLP DOI BibTeX RDF
37	Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese, Ugo de'Liguoro	Retractable Contracts.	PLACES	2015	DBLP DOI BibTeX RDF
37	Hans Hüttel, Nuno Pratas	Broadcast and aggregation in BBC.	PLACES	2015	DBLP DOI BibTeX RDF
37	Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez 0001, Hugo Torres Vieira	A Typed Model for Dynamic Authorizations.	PLACES	2015	DBLP DOI BibTeX RDF
37	Juliana Franco, Sophia Drossopoulou	Behavioural types for non-uniform memory accesses.	PLACES	2015	DBLP DOI BibTeX RDF
37	Alastair F. Donaldson, Vasco T. Vasconcelos (eds.)	Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2014, Grenoble, France, 12 April 2014.	PLACES	2014	DBLP DOI BibTeX RDF
37	Francesco Tiezzi 0001, Nobuko Yoshida	Towards Reversible Sessions.	PLACES	2014	DBLP DOI BibTeX RDF
37	Dimitris Mostrous	Multiparty Sessions based on Proof Nets.	PLACES	2014	DBLP DOI BibTeX RDF
37	Stefan Blom, Saeed Darabi, Marieke Huisman	Verifying Parallel Loops with Separation Logic.	PLACES	2014	DBLP DOI BibTeX RDF
37	Rumyana Neykova, Nobuko Yoshida	Multiparty Session Actors.	PLACES	2014	DBLP DOI BibTeX RDF
37	Mariangiola Dezani-Ciancaglini, Luca Padovani, Jovanka Pantovic	Session Type Isomorphisms.	PLACES	2014	DBLP DOI BibTeX RDF
37	Janwillem Swalens, Stefan Marr, Joeri De Koster, Tom Van Cutsem	Towards Composable Concurrency Abstractions.	PLACES	2014	DBLP DOI BibTeX RDF
37	Dimitrios Kouzapas, Ramunas Gutkovas, Simon J. Gay	Session Types for Broadcasting.	PLACES	2014	DBLP DOI BibTeX RDF
37	Sam Lindley, J. Garrett Morris	Sessions as Propositions.	PLACES	2014	DBLP DOI BibTeX RDF
37	Tzu-Chun Chen	Lightening Global Types.	PLACES	2014	DBLP DOI BibTeX RDF
37	Nobuko Yoshida, Wim Vanderbauwhede (eds.)	Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2013, Rome, Italy, 23rd March 2013.	PLACES	2013	DBLP DOI BibTeX RDF
37	Romain Demeyer, Wim Vanhoof	Static Application-Level Race Detection in STM Haskell using Contracts.	PLACES	2013	DBLP DOI BibTeX RDF
37	Simon Dobson, Alan Dearle, Barry Porter	Minimising virtual machine support for concurrency.	PLACES	2013	DBLP DOI BibTeX RDF
37	Luca Padovani	From Lock Freedom to Progress Using Session Types.	PLACES	2013	DBLP DOI BibTeX RDF
37	Tarmo Uustalu	Coinductive Big-Step Semantics for Concurrency.	PLACES	2013	DBLP DOI BibTeX RDF
37	Ashkan Tousimojarad, Wim Vanderbauwhede	The Glasgow Parallel Reduction Machine: Programming Shared-memory Many-core Systems using Parallel Task Composition.	PLACES	2013	DBLP DOI BibTeX RDF
37	Yoichi Hirai	Session Types in Abelian Logic.	PLACES	2013	DBLP DOI BibTeX RDF
37	Rumyana Neykova	Session Types Go Dynamic or How to Verify Your Python Conversations.	PLACES	2013	DBLP DOI BibTeX RDF
37	Laura Bocchi, Romain Demangeon	Embedding Session Types in HML.	PLACES	2013	DBLP DOI BibTeX RDF
37	Eduardo R. B. Marques, Francisco Martins, Vasco T. Vasconcelos, Nicholas Ng, Nuno Martins	Towards deductive verification of MPI programs against session types.	PLACES	2013	DBLP DOI BibTeX RDF
37	Cinzia Di Giusto, Jorge A. Pérez 0001	Session Types with Runtime Adaptation: Overview and Examples.	PLACES	2013	DBLP DOI BibTeX RDF
37	Simon J. Gay, Paul Kelly (eds.)	Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2012, Tallinn, Estonia, 31 March 2012.	PLACES	2012	DBLP DOI BibTeX RDF
37	Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino	An event-based model for contracts	PLACES	2012	DBLP DOI BibTeX RDF
37	Marco Carbone, Fabrizio Montesi	Merging Multiparty Protocols in Multiparty Choreographies	PLACES	2012	DBLP DOI BibTeX RDF
37	Yu David Liu	Variant-Frequency Semantics for Green Futures	PLACES	2012	DBLP DOI BibTeX RDF
37	Peter Calvert, Alan Mycroft	Mapping the Join Calculus to Heterogeneous Hardware	PLACES	2012	DBLP DOI BibTeX RDF
37	Sung-Shik T. Q. Jongmans, Farhad Arbab	Modularizing and Specifying Protocols among Threads	PLACES	2012	DBLP DOI BibTeX RDF
37	Pierpaolo Degano, Gian-Luigi Ferrari 0002, Letterio Galletta, Gianluca Mezzetti	Typing Context-Dependent Behavioural Variation	PLACES	2012	DBLP DOI BibTeX RDF
37	Kohei Honda 0001, Alan Mycroft (eds.)	Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, PLACES 2010, Paphos, Cyprus, 21st March 2010.	PLACES	2010	DBLP DOI BibTeX RDF