Search results for "pace"

Hits ?▲	Authors	Title	Venue	Year	Link
20	Matias Nicoletti, Jorge Andrés Díaz Pace, Silvia N. Schiaffino, Antonela Tommasel, Daniela Godoy	Personalized architectural documentation based on stakeholders' information needs.	J. Softw. Eng. Res. Dev.	2014	DBLP DOI BibTeX RDF
20	Nicola Pace	New ternary linear codes from projectivity groups.	Discret. Math.	2014	DBLP DOI BibTeX RDF
20	Gordon J. Pace, Michael Rosner	Explaining Violation Traces with Finite State Natural Language Generation Models.	CNL	2014	DBLP DOI BibTeX RDF
20	Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik	Contract Automata with Reparations.	JURIX	2014	DBLP DOI BibTeX RDF
20	Silvia Mazzini, Laura Baracchi, Stefano Puri, Mauro Pasquinelli, Diego Gerbaz, Joachim Fuchs, Valter Basso, Lorenzo Pace, Marco Lassalle, Juhani Viitaniemi	Model-based Approach for the Verification Enhancement Across the Lifecycle of a Space System.	CIISE	2014	DBLP BibTeX RDF
20	Amir H. Kargar B., Ali Mollahosseini, Taylor Struemph, Wilson D. Pace, Rodney D. Nielsen, Mohammad H. Mahoor	Automatic measurement of physical mobility in Get-Up-and-Go Test using kinect sensor.	EMBC	2014	DBLP DOI BibTeX RDF
20	Marco Mercuri, Carmine Garripoli, Peter Karsmakers, Ping Jack Soh, Guy A. E. Vandenbosch, Calogero Pace, Paul Leroux, Dominique Schreurs	Healthcare System for Non-invasive Fall Detection in Indoor Environment.	ApplePies	2014	DBLP DOI BibTeX RDF
20	Calogero Pace, Letizia Fragomeni, Walaa Khalaf	Developments and Applications of Electronic Nose Systems for Gas Mixtures Classification and Concentration Estimation.	ApplePies	2014	DBLP DOI BibTeX RDF
20	Jeffrey Bardzell, Shaowen Bardzell, Guo Zhang 0007, Tyler Pace	The lonely raccoon at the ball: designing for intimacy, sociability, and selfhood.	CHI	2014	DBLP DOI BibTeX RDF
20	Jorge Andrés Díaz Pace, Matias Nicoletti, Silvia N. Schiaffino, Santiago A. Vidal	Producing Just Enough Documentation: The Next SAD Version Problem.	SSBSE	2014	DBLP DOI BibTeX RDF
20	Shen Li 0002, Shaohan Hu, Shiguang Wang, Lu Su, Tarek F. Abdelzaher, Indranil Gupta, Richard Pace	WOHA: Deadline-Aware Map-Reduce Workflow Scheduling Framework over Hadoop Clusters.	ICDCS	2014	DBLP DOI BibTeX RDF
20	Luca Berardinelli, Antinisca Di Marco, Stefano Pace	fUML-Driven Design and Performance Analysis of Software Agents for Wireless Sensor Network.	ECSA	2014	DBLP DOI BibTeX RDF
20	Angelo Furfaro, Pasquale Pace, Andrea Parise, Lorena Molina Valdiviezo	Modelling and Simulation of a Defense Strategy to Face Indirect DDoS Flooding Attacks.	IDCS	2014	DBLP DOI BibTeX RDF
20	Roberta Pace, Dario Antonio Schirone	The Senior as the Protagonist of the Future Economy: A Firm Case Study.	ICCSA (3)	2014	DBLP DOI BibTeX RDF
20	Dario Antonio Schirone, Thaís García Pereiro, Roberta Pace	Fighting in the Shadows: Health Policies and Data Availability about HIV/AIDS A Case Study in Apulia (Italy).	ICCSA (3)	2014	DBLP DOI BibTeX RDF
20	Giulio Erberto Cantarella, Stefano de Luca, Massimo Di Gangi, Roberta Di Pace, Silvio Memoli	Macroscopic vs. mesoscopic traffic flow models in signal setting design.	ITSC	2014	DBLP DOI BibTeX RDF
20	Luis Emiliano Sanchez, Jorge Andrés Díaz Pace, Alejandro Zunino, Sabine Moisan, Jean-Paul Rigault	An Approach for Managing Quality Attributes at Runtime Using Feature Models.	SBCARS	2014	DBLP DOI BibTeX RDF
20	Gianluca Aloi, Giuseppe Caliciuri, Giancarlo Fortino, Pasquale Pace	A smartphone-centric approach for integrating heterogeneous sensor networks.	BODYNETS	2014	DBLP DOI BibTeX RDF
20	Adrian Francalanza, Andrew Gauci, Gordon J. Pace	Distributed system contract monitoring.	J. Log. Algebraic Methods Program.	2013	DBLP DOI BibTeX RDF
20	Danielle F. Pace, Stephen R. Aylward, Marc Niethammer	A Locally Adaptive Regularization Based on Anisotropic Diffusion for Deformable Image Registration of Sliding Organs.	IEEE Trans. Medical Imaging	2013	DBLP DOI BibTeX RDF
20	Alejandro Rago, Claudia A. Marcos, J. Andrés Díaz Pace	Uncovering quality-attribute concerns in use case specifications via early aspect mining.	Requir. Eng.	2013	DBLP DOI BibTeX RDF
20	Jason Pace	The Ways We Play, Part 2: Mobile Game Changers.	Computer	2013	DBLP DOI BibTeX RDF
20	Jason Pace	The Ways We Play, Part 1: From PCs to Consoles to Mobile Phones.	Computer	2013	DBLP DOI BibTeX RDF
20	Michele Pace, Pierre Del Moral	Mean-Field PHD Filters Based on Generalized Feynman-Kac Flow.	IEEE J. Sel. Top. Signal Process.	2013	DBLP DOI BibTeX RDF
20	Charles E. Robertson, J. Kirk Harris, Brandie D. Wagner, David Granger, Kathy Browne, Beth Tatem, Leah M. Feazel, Kristin Park, Norman R. Pace, Daniel N. Frank	Explicet: graphical user interface software for metadata-driven management, analysis and visualization of microbiome data.	Bioinform.	2013	DBLP DOI BibTeX RDF
20	Pasquale Pace, Gianluca Aloi	Managing and Deploying Pervasive Wireless Internet Access through Attractive Connection Sharing and Reselling Mechanisms.	J. Networks	2013	DBLP DOI BibTeX RDF
20	Christian Colombo 0001, Gordon J. Pace	Monitor-Oriented Compensation Programming Through Compensating Automata.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2013	DBLP DOI BibTeX RDF
20	Saviour Formosa, Janice Formosa Pace, Elaine Sciberras	Spatial Information Preparedness for Environmental Enforcement in the Maltese Islands.	Int. J. Agric. Environ. Inf. Syst.	2013	DBLP DOI BibTeX RDF
20	Matthew Felice Pace, Alexander Tiskin	Parallel Suffix Array Construction by Accelerated Sampling	CoRR	2013	DBLP BibTeX RDF
20	Christian Colombo 0001, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace	Extensible Technology-Agnostic Runtime Verification	FESCA	2013	DBLP DOI BibTeX RDF
20	Christian Colombo 0001, Gordon J. Pace	Recovery within long-running transactions.	ACM Comput. Surv.	2013	DBLP DOI BibTeX RDF
20	Pasquale Pace, Gianluca Aloi	WEVCast: wireless eavesdropping video casting architecture to overcome standard multicast transmission in Wi-Fi networks.	Telecommun. Syst.	2013	DBLP DOI BibTeX RDF
20	Gianluca Borgese, Calogero Pace, Pietro S. Pantano, Eleonora Bilotta	FPGA-Based Distributed Computing Microarchitecture for Complex Physical Dynamics Investigation.	IEEE Trans. Neural Networks Learn. Syst.	2013	DBLP DOI BibTeX RDF
20	Gábor Péter Nagy, Nicola Pace	On small 3-nets embedded in a projective plane over a field.	J. Comb. Theory, Ser. A	2013	DBLP DOI BibTeX RDF
20	Giulio Erberto Cantarella, Roberta Di Pace, Silvio Memoli, Stefano de Luca	The Network Signal Setting Problem: The Coordination Approach vs. the Synchronisation Approach.	UKSim	2013	DBLP DOI BibTeX RDF
20	Matias Nicoletti, J. Andres Diaz-Pace, Silvia N. Schiaffino	Discovering Stakeholders' Interests in Wiki-Based Architectural Documentation.	CIbSE	2013	DBLP BibTeX RDF
20	Valeria Loscrì, Pasquale Pace, Rosario Surace	Multi-objective evolving neural network supporting SDR modulations management.	PIMRC	2013	DBLP DOI BibTeX RDF
20	Pasquale Pace, Gianluca Aloi, Ornella Pisacane	Effective supplying bandwidth policies for wireless cognitive networks: A logistics approach.	PIMRC	2013	DBLP DOI BibTeX RDF
20	Gianluca Aloi, Giuseppe Caliciuri, Valeria Loscrì, Pasquale Pace	Accurate and energy-efficient localization system for Smartphones: A feasible implementation.	PIMRC	2013	DBLP DOI BibTeX RDF
20	Luca Berardinelli, Antinisca Di Marco, Stefano Pace, Stefano Marchesani, Luigi Pomante	Modeling and Timing Simulation of Agilla Agents for WSN Applications in Executable UML.	EPEW	2013	DBLP DOI BibTeX RDF
20	Tyler Pace, Katie O'Donnell, Natalie DeWitt, Shaowen Bardzell, Jeffrey Bardzell	From organizational to community creativity: paragon leadership & creativity stories at etsy.	CSCW	2013	DBLP DOI BibTeX RDF
20	Antinisca Di Marco, Stefano Pace	Model-driven approach to Agilla Agent generation.	IWCMC	2013	DBLP DOI BibTeX RDF
20	Marco Di Felice, Angelo Trotta, Luca Bedogni, Luciano Bononi, Fabio Panzieri, Giuseppe Ruggeri, Valeria Loscrì, Pasquale Pace	STEM-mesh: Self-organizing mobile cognitive radio network for disaster recovery operations.	IWCMC	2013	DBLP DOI BibTeX RDF
20	Marco Di Felice, Luca Bedogni, Angelo Trotta, Luciano Bononi, Fabio Panzieri, Giuseppe Ruggeri, Gianluca Aloi, Valeria Loscrì, Pasquale Pace	Smartphones like stem cells: Cooperation and evolution for emergency communication in post-disaster scenarios.	BlackSeaCom	2013	DBLP DOI BibTeX RDF
20	Gordon J. Pace, Fernando Schapachnik	Synthesising implicit contracts.	ICAIL	2013	DBLP DOI BibTeX RDF
20	J. Andrés Díaz Pace, Matias Nicoletti, Silvia N. Schiaffino, Christian Villavicencio, Luis Emiliano Sanchez	A Stakeholder-Centric Optimization Strategy for Architectural Documentation.	MEDI	2013	DBLP DOI BibTeX RDF
20	Matthew Felice Pace, Alexander Tiskin	Parallel Suffix Array Construction by Accelerated Sampling.	Stringology	2013	DBLP BibTeX RDF
20	Christian Colombo 0001, Ruth Mizzi, Gordon J. Pace	SMock - A Test Platform for Monitoring Tools.	RV	2013	DBLP DOI BibTeX RDF
20	Gianluca Borgese, Calogero Pace, Pietro S. Pantano, Eleonora Bilotta	Reconfigurable Implementation of a CNN-UM Platform for Fast Dynamical Systems Simulation.	ApplePies	2013	DBLP DOI BibTeX RDF
20	Shad Gross, Tyler Pace, Jeffrey Bardzell, Shaowen Bardzell	Machinima production tools: a vernacular history of a creative medium.	CHI	2013	DBLP DOI BibTeX RDF
20	Tyler Pace, Austin Toombs, Shad Gross, Tony Pattin, Jeffrey Bardzell, Shaowen Bardzell	A tribute to Mad skill: expert amateur visuality and world of Warcraft Machinima.	CHI	2013	DBLP DOI BibTeX RDF
20	Gianluca Aloi, Marco Di Felice, Valeria Loscrì, Enrico Natalizio, Pasquale Pace, Fabio Panzieri, Giuseppe Ruggeri	STEM-Net: An evolutionary architecture for highly-reconfigurable wireless networks.	Future Network & Mobile Summit	2013	DBLP BibTeX RDF
20	Roland Kwitt, Danielle F. Pace, Marc Niethammer, Stephen R. Aylward	Studying Cerebral Vasculature Using Structure Proximity and Graph Kernels.	MICCAI (2)	2013	DBLP DOI BibTeX RDF
20	Adam Pace, Tommy Thompson	Procedural content generation and evolution within the EvoTanks domain.	FDG	2013	DBLP BibTeX RDF
20	Ahmet Yasin Erdogan, Taylan O. Gulum, Lutfiye Durak-Ata, Tulay Yildirim, Phillip E. Pace	Defining the effective threshold using modified wigner-hough transform in FMCW-signal detection.	SIU	2013	DBLP DOI BibTeX RDF
20	Gianluca Aloi, Giuseppe Caliciuri, Valeria Loscrì, Pasquale Pace	Energy-efficient and accurate fingerprinting-based localization system for smartphones.	OnlineGreenComm	2013	DBLP DOI BibTeX RDF
20	Augusto Gnisci, Antonio Pace	The Effects of Hand Gestures on Psychosocial Perception: A Preliminary Study.	WIRN	2013	DBLP DOI BibTeX RDF
20	R. Kelley Pace, Shuang Zhu	Separable spatial modeling of spillovers and disturbances.	J. Geogr. Syst.	2012	DBLP DOI BibTeX RDF
20	Gianluca Aloi, Roberto Musmanno, Pasquale Pace, Ornella Pisacane	A wise cost-effective supplying bandwidth policy for multilayer wireless cognitive networks.	Comput. Oper. Res.	2012	DBLP DOI BibTeX RDF
20	Christian Colombo 0001, Gordon J. Pace, Patrick Abela	Safer asynchronous runtime monitoring using compensations.	Formal Methods Syst. Des.	2012	DBLP DOI BibTeX RDF
20	Matthew Felice Pace	BSP vs MapReduce.	ICCS	2012	DBLP DOI BibTeX RDF
20	Laure Buhry, Michele Pace, Sylvain Saïghi	Global parameter estimation of an Hodgkin-Huxley formalism using membrane voltage recordings: Application to neuro-mimetic analog integrated circuits.	Neurocomputing	2012	DBLP DOI BibTeX RDF
20	Gordon J. Pace, Fernando Schapachnik	Contracts for Interacting Two-Party Systems	FLACOS	2012	DBLP DOI BibTeX RDF
20	Gordon J. Pace, Anders P. Ravn (eds.)	Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software, FLACOS 2012, Bertinoro, Italy, 19 September 2012.	FLACOS	2012	DBLP DOI BibTeX RDF
20	Matthew Felice Pace	BSP vs MapReduce	CoRR	2012	DBLP BibTeX RDF
20	Francesca Bellagamba, Fiorenzo Laghi, Antonia Lonigro, Cecilia Serena Pace	Re-enactment of intended acts from a video presentation by 18- and 24-month-old children.	Cogn. Process.	2012	DBLP DOI BibTeX RDF
20	S. Adam Fletcher, Pace P. Nielsen, Pascal Ochem	Sieve methods for odd perfect numbers.	Math. Comput.	2012	DBLP DOI BibTeX RDF
20	Federico Aletti, Rebecca Re, Vincenzo Pace, Davide Contini, Erika Molteni, Sergio Cerutti, Anna M. Bianchi, Alessandro Torricelli, Lorenzo Spinelli, Rinaldo Cubeddu, Giuseppe Baselli	Deep and surface hemodynamic signal from functional time resolved transcranial near infrared spectroscopy compared to skin flowmotion.	Comput. Biol. Medicine	2012	DBLP DOI BibTeX RDF
20	Ray Maleh, Gerald L. Fudge, Frank A. Boyle, Phillip E. Pace	Analog-to-Information and the Nyquist Folding Receiver.	IEEE J. Emerg. Sel. Topics Circuits Syst.	2012	DBLP DOI BibTeX RDF
20	Tamsyn A. Hilder, Ron J. Pace, Shin-Ho Chung	Computational Design of a Carbon Nanotube Fluorofullerene Biosensor.	Sensors	2012	DBLP DOI BibTeX RDF
20	J. Andrés Díaz Pace, Álvaro Soria, Guillermo H. Rodríguez, Marcelo R. Campo	Assisting conformance checks between architectural scenarios and implementation.	Inf. Softw. Technol.	2012	DBLP DOI BibTeX RDF
20	Emre Kolotoglu, Nicola Pace, Spyros S. Magliveras	Related decompositions and new constructions of the Higman-Sims and Hall-Janko graphs.	Australas. J Comb.	2012	DBLP BibTeX RDF
20	Gordon J. Pace	Mathematics of Discrete Structures for Computer Science.		2012	DOI RDF
20	Gordon J. Pace, Fernando Schapachnik	Types of Rights in Two-Party Systems: A Formal Analysis.	JURIX	2012	DBLP DOI BibTeX RDF
20	Shannon S. Pace, Andrew Cain, Clinton J. Woodward	A consolidated model of Particle Swarm Optimisation variants.	IEEE Congress on Evolutionary Computation	2012	DBLP DOI BibTeX RDF
20	Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider	A Unified Approach for Static and Runtime Verification: Framework and Applications.	ISoLA (1)	2012	DBLP DOI BibTeX RDF
20	Tyler Pace	Creative self-expression in socio-technical systems.	CSCW (Companion)	2012	DBLP DOI BibTeX RDF
20	Jeffrey Bardzell, Jeffrey Nichols 0001, Tyler Pace, Shaowen Bardzell	Come meet me at Ulduar: progression raiding in world of warcraft.	CSCW	2012	DBLP DOI BibTeX RDF
20	Christian Colombo 0001, Gordon J. Pace	Fast-Forward Runtime Monitoring - An Industrial Case Study.	RV	2012	DBLP DOI BibTeX RDF
20	Marcelo Magalhaes, Terry E. Smith, Phillip E. Pace	Adaptive node capability to assess the characteristic tempo in a wireless communication network.	WCNC	2012	DBLP DOI BibTeX RDF
20	Pasquale Pace, Gianluca Aloi	WEVCast: Practical implementation and testing of effective multicast services for Wi-Fi networks.	WCNC	2012	DBLP DOI BibTeX RDF
20	Tyler Pace	Creative self-expression in socio-technical systems.	CHI Extended Abstracts	2012	DBLP DOI BibTeX RDF
20	Kevin Falzon, Gordon J. Pace	Combining Testing and Runtime Verification Techniques.	MOMPES	2012	DBLP DOI BibTeX RDF
20	Antinisca Di Marco, Stefano Pace, Stefano Marchesani, Luigi Pomante	Model-driven agent generation approach for adaptable and resource-aware sensor node.	SESENA	2012	DBLP DOI BibTeX RDF
20	Pasquale Pace, Valeria Loscrì	OpenBTS: A Step Forward in the Cognitive Direction.	ICCCN	2012	DBLP DOI BibTeX RDF
20	Saviour Formosa, Elaine Sciberras, Janice Formosa Pace	Taking the Leap: From Disparate Data to a Fully Interactive SEIS for the Maltese Islands.	ICCSA (2)	2012	DBLP DOI BibTeX RDF
20	Shannon S. Pace, Leonard Hoon, Clinton J. Woodward	Simulated influence of user interaction with mobile devices amongst pedestrians.	OZCHI	2012	DBLP DOI BibTeX RDF
20	Ronald C. Price, Derick Huth, Jody Smith, Steve Harper, Wilson Pace, Gerald Pulver, Michael G. Kahn, Lisa M. Schilling, Julio C. Facelli	Federated Queries for Comparative Effectiveness Research: Performance Analysis.	HealthGrid	2012	DBLP DOI BibTeX RDF
20	Benedetto Allotta, S. Bargagliotti, L. Botarelli, Andrea Caiti, Vincenzo Calabrò, G. Casa, Michele Cocco, Sara Colantonio, Carlo Colombo, S. Costa, Marco Fanfani, L. Franchi, P. Gambogi, Lavinio Gualdesi, Denise La Monica, Massimo Magrini, Massimo Martinelli, Davide Moroni, Andrea Munafò, Gordon J. Pace, C. Papa, Maria Antonietta Pascali, Gabriele Pieri, Marco Reggiannini, Marco Righi, Ovidio Salvetti, Marco Tampucci	Thesaurus Project: Design of New Autonomous Underwater Vehicles for Documentation and Protection of Underwater Archaeological Sites.	EuroMed	2012	DBLP DOI BibTeX RDF
20	Jorge Andrés Díaz Pace, Alejandro Zunino	Pattern-Based Modifiability Analysis of EJB Architectures.	SBCARS	2012	DBLP DOI BibTeX RDF
20	Simonetta Paloscia, Simone Pettinato, Emanuele Santi, Nazzareno Pierdicca, Luca Pulvirenti, Claudia Notarnicola, Gaetano Pace, Antonio Reppucci	An algorithm for soil moisture mapping in view of coming Sentinel-1 satellite.	IGARSS	2012	DBLP DOI BibTeX RDF
20	Christian Colombo 0001, Adrian Francalanza, Ruth Mizzi, Gordon J. Pace	polyLarva: Runtime Verification with Configurable Resource-Aware Monitoring Boundaries.	SEFM	2012	DBLP DOI BibTeX RDF
20	Pasquale Pace	Green antenna switching to improve energy saving in LTE networks.	OnlineGreenComm	2012	DBLP DOI BibTeX RDF
20	Luca Magnelli, Felice Crupi, Pasquale Corsonello, Calogero Pace, Giuseppe Iannaccone	A 2.6 nW, 0.45 V Temperature-Compensated Subthreshold CMOS Voltage Reference.	IEEE J. Solid State Circuits	2011	DBLP DOI BibTeX RDF
20	Gordon J. Pace, Gerardo Schneider	Guest Editors' Foreword.	J. Log. Algebraic Methods Program.	2011	DBLP DOI BibTeX RDF
20	Gordon J. Pace, Gerardo Schneider	Guest Editors' Foreword.	J. Log. Algebraic Methods Program.	2011	DBLP DOI BibTeX RDF
20	Nicola Pace	On the distribution of the elements of a finite group generated by covers.	Appl. Algebra Eng. Commun. Comput.	2011	DBLP DOI BibTeX RDF
20	Tyler Pace	Book review: Ken Hillis, Online a Lot of the Time: Ritual, Fetish, Sign, Durham, NC: Duke University Press, 2009, 328 pp. ISBN 9780822344483, $24.95 (pbk).	New Media Soc.	2011	DBLP DOI BibTeX RDF
20	Adrian Francalanza, Andrew Gauci, Gordon J. Pace	Distributed System Contract Monitoring	FLACOS	2011	DBLP DOI BibTeX RDF
20	Luigi Pace	Probabilistically Proving that ζ(2) = πr/6.	Am. Math. Mon.	2011	DBLP DOI BibTeX RDF