Search results for "aspects"

Hits ?▲	Authors	Title	Venue	Year	Link
21	Thierry Poibeau, Aline Villavicencio, Anna Korhonen, Afra Alishahi	Computational Modeling as a Methodology for Studying Human Language Learning.	Cognitive Aspects of Computational Language Acquisition	2013	DBLP DOI BibTeX RDF
21	Barry J. Devereux, Fintan J. Costello	Learning to Interpret Novel Noun-Noun Compounds: Evidence from Category Learning Experiments.	Cognitive Aspects of Computational Language Acquisition	2013	DBLP DOI BibTeX RDF
21	Gilles Barthe, Anupam Datta, Sandro Etalle (eds.)	Formal Aspects of Security and Trust - 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers	Formal Aspects in Security and Trust	2012	DBLP DOI BibTeX RDF
21	Pierpaolo Degano, Sandro Etalle, Joshua D. Guttman (eds.)	Formal Aspects of Security and Trust - 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers	Formal Aspects in Security and Trust	2011	DBLP DOI BibTeX RDF
21	Tarek F. Abdelzaher	Composition and Scaling Challenges in Sensor Networks: An Interaction-Centric View.	Theoretical Aspects of Distributed Computing in Sensor Networks	2011	DBLP DOI BibTeX RDF
21	Jun Luo, Liu Xiang	Prolong the Lifetime of Wireless Sensor Networks Through Mobility: A General Optimization Framework.	Theoretical Aspects of Distributed Computing in Sensor Networks	2011	DBLP DOI BibTeX RDF
21	Dariusz R. Kowalski	Coordination Problems in Ad Hoc Radio Networks.	Theoretical Aspects of Distributed Computing in Sensor Networks	2011	DBLP DOI BibTeX RDF
21	Pierre Leone, Sotiris E. Nikoletseas, José D. P. Rolim	Energy-Balanced Data Propagation inWireless Sensor Networks.	Theoretical Aspects of Distributed Computing in Sensor Networks	2011	DBLP DOI BibTeX RDF
21	Shlomi Dolev, Nir Tzachar	Self-Stabilizing and Self-Organizing Virtual Infrastructures for Mobile Networks.	Theoretical Aspects of Distributed Computing in Sensor Networks	2011	DBLP DOI BibTeX RDF
21	Anahit Martirosyan, Azzedine Boukerche	Spatio-temporal Context in Wireless Sensor Networks.	Theoretical Aspects of Distributed Computing in Sensor Networks	2011	DBLP DOI BibTeX RDF
21	Evangelos Kranakis, Danny Krizanc, Oscar Morales-Ponce	Maintaining Connectivity in Sensor Networks Using Directional Antennae.	Theoretical Aspects of Distributed Computing in Sensor Networks	2011	DBLP DOI BibTeX RDF
21	Nathalie Mitton, Tahiry Razafindralambo, David Simplot-Ryl	Position-Based Routing in Wireless Ad Hoc and Sensor Networks.	Theoretical Aspects of Distributed Computing in Sensor Networks	2011	DBLP DOI BibTeX RDF
21	Paola Flocchini, Giuseppe Prencipe, Nicola Santoro	Computing by Mobile Robotic Sensors.	Theoretical Aspects of Distributed Computing in Sensor Networks	2011	DBLP DOI BibTeX RDF
21	John A. Stankovic, Anthony D. Wood, Tian He 0001	Realistic Applications for Wireless Sensor Networks.	Theoretical Aspects of Distributed Computing in Sensor Networks	2011	DBLP DOI BibTeX RDF
21	Sotiris E. Nikoletseas, Paul G. Spirakis	Probabilistic Data Propagation in Wireless Sensor Networks.	Theoretical Aspects of Distributed Computing in Sensor Networks	2011	DBLP DOI BibTeX RDF
21	Özlem Durmaz Incel, Amitabha Amitava Ghosh, Bhaskar Krishnamachari	Scheduling Algorithms for Tree-Based Data Collection in Wireless Sensor Networks.	Theoretical Aspects of Distributed Computing in Sensor Networks	2011	DBLP DOI BibTeX RDF
21	Srdjan Krco, Konrad S. Wrona	Toward Integrated Real-World Sensing Environment - Applications and Challenges.	Theoretical Aspects of Distributed Computing in Sensor Networks	2011	DBLP DOI BibTeX RDF
21	Peter Widmayer, Luzi Anderegg, Stephan J. Eidenbenz, Leon Peeters	Optimal Placement of Ad Hoc Devices Under a VCG-Style Routing Protocol.	Theoretical Aspects of Distributed Computing in Sensor Networks	2011	DBLP DOI BibTeX RDF
21	Dahai Xu, Jeffrey S. Dwoskin, Jianwei Huang 0001, Tian Lan, Ruby B. Lee, Mung Chiang	Key Management in Sensor Networks.	Theoretical Aspects of Distributed Computing in Sensor Networks	2011	DBLP DOI BibTeX RDF
21	Paul G. Spirakis	Population Protocols and Related Models.	Theoretical Aspects of Distributed Computing in Sensor Networks	2011	DBLP DOI BibTeX RDF
21	Alexander Fanghänel, Berthold Vöcking	Scheduling and Power Assignments in the Physical Model.	Theoretical Aspects of Distributed Computing in Sensor Networks	2011	DBLP DOI BibTeX RDF
21	Andrea Clementi, Francesco Pasquale	Information Spreading in Dynamic Networks: An Analytical Approach.	Theoretical Aspects of Distributed Computing in Sensor Networks	2011	DBLP DOI BibTeX RDF
21	Costas Busch, Malik Magdon-Ismail, Jing Xi	Oblivious Routing for Sensor Network Topologies.	Theoretical Aspects of Distributed Computing in Sensor Networks	2011	DBLP DOI BibTeX RDF
21	Sushmita Ruj, Amiya Nayak, Ivan Stojmenovic	Key Predistribution in Wireless Sensor Networks When Sensors Are Within Communication Range.	Theoretical Aspects of Distributed Computing in Sensor Networks	2011	DBLP DOI BibTeX RDF
21	Arvind Giridhar, P. R. Kumar 0001	The Spatial Smoothing Method of Clock Synchronization in Wireless Networks.	Theoretical Aspects of Distributed Computing in Sensor Networks	2011	DBLP DOI BibTeX RDF
21	Przemyslaw Blaskiewicz, Miroslaw Kutylowski	Security and Trust in Sensor Networks.	Theoretical Aspects of Distributed Computing in Sensor Networks	2011	DBLP DOI BibTeX RDF
21	Sajal K. Das 0001, Alfredo Navarra, Cristina M. Pinotti	Dense, Concentric, and Non-uniform Multi-hop Sensor Networks.	Theoretical Aspects of Distributed Computing in Sensor Networks	2011	DBLP DOI BibTeX RDF
21	Shizheng Li, Aditya Ramamoorthy	Networked Distributed Source Coding.	Theoretical Aspects of Distributed Computing in Sensor Networks	2011	DBLP DOI BibTeX RDF
21	Animesh Pathak, Viktor K. Prasanna	High-Level Application Development for Sensor Networks: Data-Driven Approach.	Theoretical Aspects of Distributed Computing in Sensor Networks	2011	DBLP DOI BibTeX RDF
21	Timothy L. Hinrichs, William C. Garrison III, Adam J. Lee, Skip Saunders, John C. Mitchell	TBA : A Hybrid of Logic and Extensional Access Control Systems.	Formal Aspects in Security and Trust	2011	DBLP DOI BibTeX RDF
21	Behnam Sattarzadeh, Mehran S. Fallah	Is Cryptyc Able to Detect Insider Attacks?	Formal Aspects in Security and Trust	2011	DBLP DOI BibTeX RDF
21	Thomas Gibson-Robinson, Gavin Lowe	Analysing Applications Layered on Unilaterally Authenticating Protocols.	Formal Aspects in Security and Trust	2011	DBLP DOI BibTeX RDF
21	Luciano Bello, Eduardo Bonelli	On-the-Fly Inlining of Dynamic Dependency Monitors for Secure Information Flow.	Formal Aspects in Security and Trust	2011	DBLP DOI BibTeX RDF
21	Simon N. Foley, Samane Abdi	Avoiding Delegation Subterfuge Using Linked Local Permission Names.	Formal Aspects in Security and Trust	2011	DBLP DOI BibTeX RDF
21	Barbara Espinoza, Geoffrey Smith 0001	Min-Entropy Leakage of Channels in Cascade.	Formal Aspects in Security and Trust	2011	DBLP DOI BibTeX RDF
21	Robert Grabowski, Martin Hofmann 0001, Keqin Li 0002	Type-Based Enforcement of Secure Programming Guidelines - Code Injection Prevention at SAP.	Formal Aspects in Security and Trust	2011	DBLP DOI BibTeX RDF
21	Willem De Groef, Dominique Devriese, Frank Piessens	Better Security and Privacy for Web Browsers: A Survey of Techniques, and a New Implementation.	Formal Aspects in Security and Trust	2011	DBLP DOI BibTeX RDF
21	Ben Smyth, Mark Ryan 0001, Liqun Chen 0002	Formal Analysis of Anonymity in ECC-Based Direct Anonymous Attestation Schemes.	Formal Aspects in Security and Trust	2011	DBLP DOI BibTeX RDF
21	Mohammad Torabi Dashti, Jan Cederquist, Yanjing Wang 0001	Risk Balance in Optimistic Non-repudiation Protocols.	Formal Aspects in Security and Trust	2011	DBLP DOI BibTeX RDF
21	Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis 0001, Pierpaolo Degano, Catuscia Palamidessi	Differential Privacy: On the Trade-Off between Utility and Information Leakage.	Formal Aspects in Security and Trust	2011	DBLP DOI BibTeX RDF
21	Riccardo Focardi, Flaminia L. Luccio	Secure Recharge of Disposable RFID Tickets.	Formal Aspects in Security and Trust	2011	DBLP DOI BibTeX RDF
21	Arnaud Fontaine, Samuel Hym, Isabelle Simplot-Ryl	Verifiable Control Flow Policies for Java Bytecode.	Formal Aspects in Security and Trust	2011	DBLP DOI BibTeX RDF
21	Sibylle B. Fröschle, Nils Sommer	Concepts and Proofs for Configuring PKCS#11.	Formal Aspects in Security and Trust	2011	DBLP DOI BibTeX RDF
21	Richard Gay, Heiko Mantel, Barbara Sprick	Service Automata.	Formal Aspects in Security and Trust	2011	DBLP DOI BibTeX RDF
21	Mihhail Aizatulin, François Dupressoir, Andrew D. Gordon 0001, Jan Jürjens	Verifying Cryptographic Code in C: Some Experience and the Csec Challenge.	Formal Aspects in Security and Trust	2011	DBLP DOI BibTeX RDF
21	Sebastian Mödersheim	Diffie-Hellman without Difficulty.	Formal Aspects in Security and Trust	2011	DBLP DOI BibTeX RDF
21	Pierpaolo Degano, Joshua D. Guttman (eds.)	Formal Aspects in Security and Trust, 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers	Formal Aspects in Security and Trust	2010	DBLP DOI BibTeX RDF
21	Sibylle B. Fröschle, Nils Sommer	Reasoning with Past to Prove PKCS#11 Keys Secure.	Formal Aspects in Security and Trust	2010	DBLP DOI BibTeX RDF
21	Jason Crampton	Cryptographic Enforcement of Role-Based Access Control.	Formal Aspects in Security and Trust	2010	DBLP DOI BibTeX RDF
21	Mana Taghdiri, Gregor Snelting, Carsten Sinz	Information Flow Analysis via Path Condition Refinement.	Formal Aspects in Security and Trust	2010	DBLP DOI BibTeX RDF
21	Francesco Ballardin, Massimo Merro	A Calculus for the Analysis of Wireless Network Security Protocols.	Formal Aspects in Security and Trust	2010	DBLP DOI BibTeX RDF
21	Meilof Veeningen, Benne de Weger, Nicola Zannone	Modeling Identity-Related Properties and Their Privacy Strength.	Formal Aspects in Security and Trust	2010	DBLP DOI BibTeX RDF
21	Allaa Kamil, Gavin Lowe	Understanding Abstractions of Secure Channels.	Formal Aspects in Security and Trust	2010	DBLP DOI BibTeX RDF
21	Tim Muller	Semantics of Trust.	Formal Aspects in Security and Trust	2010	DBLP DOI BibTeX RDF
21	Dusko Pavlovic	Quantifying and Qualifying Trust: Spectral Decomposition of Trust Networks.	Formal Aspects in Security and Trust	2010	DBLP DOI BibTeX RDF
21	Bruno Conchinha, David A. Basin, Carlos Caleiro	Efficient Decision Procedures for Message Deducibility and Static Equivalence.	Formal Aspects in Security and Trust	2010	DBLP DOI BibTeX RDF
21	Raphaël Khoury, Nadia Tawbi	Corrective Enforcement of Security Policies.	Formal Aspects in Security and Trust	2010	DBLP DOI BibTeX RDF
21	Barbara Kordy, Sjouke Mauw, Sasa Radomirovic, Patrick Schweitzer	Foundations of Attack-Defense Trees.	Formal Aspects in Security and Trust	2010	DBLP DOI BibTeX RDF
21	Naipeng Dong, Hugo L. Jonker, Jun Pang 0001	Analysis of a Receipt-Free Auction Protocol in the Applied Pi Calculus.	Formal Aspects in Security and Trust	2010	DBLP DOI BibTeX RDF
21	Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov	Bounded Memory Dolev-Yao Adversaries in Collaborative Systems.	Formal Aspects in Security and Trust	2010	DBLP DOI BibTeX RDF
21	Clément Hurlin, Hélène Kirchner	Semi-automatic Synthesis of Security Policies by Invariant-Guided Abduction.	Formal Aspects in Security and Trust	2010	DBLP DOI BibTeX RDF
21	Stéphanie Delaune, Steve Kremer, Mark Dermot Ryan, Graham Steel	A Formal Analysis of Authentication in the TPM.	Formal Aspects in Security and Trust	2010	DBLP DOI BibTeX RDF
21	Malgorzata Marciniak, Agnieszka Mykowiecka 0001 (eds.)	Aspects of Natural Language Processing, Essays Dedicated to Leonard Bolc on the Occasion of His 75th Birthday	Aspects of Natural Language Processing	2009	DBLP DOI BibTeX RDF
21	Pierpaolo Degano, Joshua D. Guttman, Fabio Martinelli (eds.)	Formal Aspects in Security and Trust, 5th International Workshop, FAST 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers	Formal Aspects in Security and Trust	2009	DBLP DOI BibTeX RDF
21	Vasyl Ustimenko	On the Cryptographical Properties of Extremal Algebraic Graphs.	Algebraic Aspects of Digital Communications	2009	DBLP DOI BibTeX RDF
21	Gabriele Nebe	Self-dual codes and invariant theory.	Algebraic Aspects of Digital Communications	2009	DBLP DOI BibTeX RDF
21	Vladimir D. Tonchev	Combinatorial Designs and Code Synchronization.	Algebraic Aspects of Digital Communications	2009	DBLP DOI BibTeX RDF
21	Emma Previato	Vector Bundles in Error-Correcting for Geometric Goppa Codes.	Algebraic Aspects of Digital Communications	2009	DBLP DOI BibTeX RDF
21	Tony Shaska, G. S. Wijesiri	Theta functions and algebraic curves with automorphisms.	Algebraic Aspects of Digital Communications	2009	DBLP DOI BibTeX RDF
21	David Naccache, Igor E. Shparlinski	Divisibility, Smoothness and Cryptographic Applications.	Algebraic Aspects of Digital Communications	2009	DBLP DOI BibTeX RDF
21	Kay Magaard, Sergey V. Shpectorov	A variant of the Reidemeister-Schreier algorithm for the fundamental groups of Riemann surfaces.	Algebraic Aspects of Digital Communications	2009	DBLP DOI BibTeX RDF
21	Artur Elezi	Enumerative Geometry and String Theory.	Algebraic Aspects of Digital Communications	2009	DBLP DOI BibTeX RDF
21	W. Cary Huffman	Additive Codes over F4 with Automorphisms.	Algebraic Aspects of Digital Communications	2009	DBLP DOI BibTeX RDF
21	Krzysztof Marasek, Lukasz Brocki, Danijel Korzinek, Krzysztof Szklanny, Ryszard Gubrynowicz	User-Centered Design for a Voice Portal.	Aspects of Natural Language Processing	2009	DBLP DOI BibTeX RDF
21	Joanna Rabiega-Wisniewska	On the Root-Based Lexicon for Polish.	Aspects of Natural Language Processing	2009	DBLP DOI BibTeX RDF
21	Jerzy Cytowski	Speech Understanding System SUSY - A New Version of the Speech Synthesis Program.	Aspects of Natural Language Processing	2009	DBLP DOI BibTeX RDF
21	Maciej Piasecki, Adam Radziszewski	Morphosyntactic Constraints in the Acquisition of Linguistic Knowledge for Polish.	Aspects of Natural Language Processing	2009	DBLP DOI BibTeX RDF
21	Elzbieta Hajnicz	Semantic Annotation of Verb Arguments in Shallow Parsed Polish Sentences by Means of the EM Selection Algorithm.	Aspects of Natural Language Processing	2009	DBLP DOI BibTeX RDF
21	Tomek Strzalkowski, Sarah M. Taylor, Samira Shaikh, Ben-Ami Lipetz, Hilda Hardy, Nick Webb, Tony Cresswell, Ting Liu 0003, Min Wu 0004, Yu Zhan, Song Chen	COLLANE: An Experiment in Computer-Mediated Tacit Collaboration.	Aspects of Natural Language Processing	2009	DBLP DOI BibTeX RDF
21	Adam Ghandar, Zbigniew Michalewicz, Ralf Zurbruegg	Intelligent Decision Support: A Fuzzy Stock Ranking System.	Aspects of Natural Language Processing	2009	DBLP DOI BibTeX RDF
21	Agnieszka Mykowiecka 0001, Malgorzata Marciniak	Domain Model for Medical Information Extraction - The LightMedOnt Ontology.	Aspects of Natural Language Processing	2009	DBLP DOI BibTeX RDF
21	Jakub Piskorski	Exploring Curvature-Based Topic Development Analysis for Detecting Event Reporting Boundaries.	Aspects of Natural Language Processing	2009	DBLP DOI BibTeX RDF
21	Andrzej Jankowski, Andrzej Skowron	Wisdom Technology: A Rough-Granular Approach.	Aspects of Natural Language Processing	2009	DBLP DOI BibTeX RDF
21	Andrzej Polanski, Rafal Pokrzywa, Marek Kimmel	A Survey of Text Processing Tools for the Automatic Analysis of Molecular Sequences.	Aspects of Natural Language Processing	2009	DBLP DOI BibTeX RDF
21	Anna Kupsc	Adjectives: Constructions vs. Valence.	Aspects of Natural Language Processing	2009	DBLP DOI BibTeX RDF
21	Adam Przepiórkowski	Towards the Automatic Acquisition of a Valence Dictionary for Polish.	Aspects of Natural Language Processing	2009	DBLP DOI BibTeX RDF
21	Marek Swidzinski, Marcin Wolinski	A New Formal Definition of Polish Nominal Phrases.	Aspects of Natural Language Processing	2009	DBLP DOI BibTeX RDF
21	Gayrat Matlatipov, Zygmunt Vetulani	Representation of Uzbek Morphology in Prolog.	Aspects of Natural Language Processing	2009	DBLP DOI BibTeX RDF
21	Agata Savary, Joanna Rabiega-Wisniewska, Marcin Wolinski	Inflection of Polish Multi-Word Proper Names with Morfeusz and Multiflex.	Aspects of Natural Language Processing	2009	DBLP DOI BibTeX RDF
21	Alicja S. Szalas, Andrzej Szalas	Paraconsistent Reasoning with Words.	Aspects of Natural Language Processing	2009	DBLP DOI BibTeX RDF
21	Baptiste Alcalde, Sjouke Mauw	An Algebra for Trust Dilution and Trust Fusion.	Formal Aspects in Security and Trust	2009	DBLP DOI BibTeX RDF
21	Florian Eilers, Uwe Nestmann	Deriving Trust from Experience.	Formal Aspects in Security and Trust	2009	DBLP DOI BibTeX RDF
21	Pascal Lafourcade 0001, Vanessa Terrade, Sylvain Vigier	Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties.	Formal Aspects in Security and Trust	2009	DBLP DOI BibTeX RDF
21	Peeter Laud, Ilja Tsahhirov	A User Interface for a Game-Based Protocol Verification Tool.	Formal Aspects in Security and Trust	2009	DBLP DOI BibTeX RDF
21	Toby C. Murray, Gavin Lowe	Analysing the Information Flow Properties of Object-Capability Patterns.	Formal Aspects in Security and Trust	2009	DBLP DOI BibTeX RDF
21	Achim D. Brucker, Sebastian Mödersheim	Integrating Automated and Interactive Protocol Verification.	Formal Aspects in Security and Trust	2009	DBLP DOI BibTeX RDF
21	Ying Zhang, Chenyi Zhang, Jun Pang 0001, Sjouke Mauw	Game-Based Verification of Multi-Party Contract Signing Protocols.	Formal Aspects in Security and Trust	2009	DBLP DOI BibTeX RDF
21	Massimo Merro, Eleonora Sibilio	A Calculus of Trustworthy Ad Hoc Networks.	Formal Aspects in Security and Trust	2009	DBLP DOI BibTeX RDF
21	Jay A. McCarthy, Shriram Krishnamurthi	Trusted Multiplexing of Cryptographic Protocols.	Formal Aspects in Security and Trust	2009	DBLP DOI BibTeX RDF
21	Anindya Banerjee 0001	Semantics and Enforcement of Expressive Information Flow Policies.	Formal Aspects in Security and Trust	2009	DBLP DOI BibTeX RDF