|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 47 publication records. Showing 47 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Alessandro Aldini, Maurice H. ter Beek, Fabio Gadducci (eds.) |
Proceedings of the 3rd International Workshop on Views On Designing Complex Architectures, VODCA@FOSAD 2008, Bertinoro, Italy, August 30-31, 2008  |
VODCA@FOSAD  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jurriaan Hage, Bastiaan Heeren |
Strategies for Solving Constraints in Type and Effect Systems. |
VODCA@FOSAD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Lenzini |
Design of Architectures for Proximity-aware Services: Experiments in Context-based Authentication with Subjective Logic. |
VODCA@FOSAD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dénes Bisztray, Reiko Heckel, Hartmut Ehrig |
Compositionality of Model Transformations. |
VODCA@FOSAD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Gorrieri, Fabio Martinelli, Ilaria Matteucci |
Towards Information Flow Properties for Distributed Systems. |
VODCA@FOSAD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Fariña, Susana Ladra, Oscar Pedreira, Ángeles Saavedra Places |
Rank and Select for Succinct Data Structures. |
VODCA@FOSAD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Bucchiarone, Greg Dennis, Stefania Gnesi |
A Graph-based Design Framework for Global Computing Systems. |
VODCA@FOSAD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Aldini, Maurice H. ter Beek, Fabio Gadducci |
Preface. |
VODCA@FOSAD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Rudolph, Nicolai Kuntze, Zaharina Velikova |
Secure Web Service Workflow Execution. |
VODCA@FOSAD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Francesco Santini 0001 |
A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation. |
VODCA@FOSAD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andres Flores, Macario Polo |
Testing-based Process for Evaluating Component Replaceability. |
VODCA@FOSAD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrizio Baiardi, Dario Maggiari, Daniele Sgandurra, Francesco Tamberi |
Transparent Process Monitoring in a Virtual Environment. |
VODCA@FOSAD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rogério de Lemos |
On Architecting Software Fault Tolerance using Abstractions. |
VODCA@FOSAD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Fabio Gadducci (eds.) |
Proceedings of the Second International Workshop on Views on Designing Complex Architectures, VODCA@FOSAD 2006, Bertinoro, Italy, September 16-17, 2006 |
VODCA@FOSAD |
2007 |
DBLP BibTeX RDF |
|
| 1 | Abdessamad Imine |
Component-Based Specification of Collaborative Objects. |
VODCA@FOSAD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Fabio Gadducci |
Preface. |
VODCA@FOSAD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Martinelli, Ilaria Matteucci |
An Approach for the Specification, Verification and Synthesis of Secure Systems. |
VODCA@FOSAD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sjouke Mauw, Jan Verschuren, Erik P. de Vink |
Data Anonymity in the FOO Voting Scheme. |
VODCA@FOSAD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Aneta Zwierko, Zbigniew Kotulski |
A Light-Weight e-Voting System with Distributed Trust. |
VODCA@FOSAD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Agustina Buccella, Alejandra Cechich |
Towards Integration of Geographic Information Systems. |
VODCA@FOSAD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ron van der Meyden, Chenyi Zhang |
Algorithmic Verification of Noninterference Properties. |
VODCA@FOSAD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | M. A. C. Dekker, Sandro Etalle |
Audit-Based Access Control for Electronic Health Records. |
VODCA@FOSAD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Bucchiarone, Henry Muccini, Patrizio Pelliccione |
Architecting Fault-tolerant Component-based Systems: from requirements to testing. |
VODCA@FOSAD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernesto Damiani, Sabrina De Capitani di Vimercati, Sara Foresti, Sushil Jajodia, Stefano Paraboschi, Pierangela Samarati |
Selective Data Encryption in Outsourced Dynamic Environments. |
VODCA@FOSAD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Peters 0003, Roland Rieke, Taufiq Rochaeli, Björn Steinemann, Ruben Wolf |
A Holistic Approach to Security Policies - Policy Distribution with XACML over COPS. |
VODCA@FOSAD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Martinelli, Marinella Petrocchi |
On Relating and Integrating Two Trust Management Frameworks. |
VODCA@FOSAD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Giampaolo Bella, Stefano Bistarelli, Pamela Peretti, Salvatore Riccobene |
Augmented Risk Analysis. |
VODCA@FOSAD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan van Eijck, Simona Orzan |
Epistemic Verification of Anonymity. |
VODCA@FOSAD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoffer Rosenkilde Nielsen, Flemming Nielson, Hanne Riis Nielson |
Cryptographic Pattern Matching. |
VODCA@FOSAD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor M. Ruiz Penichet, Ismael Marín, José A. Gallud, María Dolores Lozano 0001, Ricardo Tesoriero |
A Classification Method for CSCW Systems. |
VODCA@FOSAD |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Fabio Gadducci (eds.) |
Proceedings of the First International Workshop on Views on Designing Complex Architectures, VODCA@FOSAD 2004, Bertinoro, Italy, September 11-12, 2004 |
VODCA@FOSAD |
2006 |
DBLP BibTeX RDF |
|
| 1 | Giampaolo Bella, Stefano Bistarelli, Simon N. Foley |
Soft Constraints for Security. |
VODCA@FOSAD |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Jürjens |
Foundations for Designing Secure Architectures. |
VODCA@FOSAD |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Fariña, Nieves R. Brisaboa, Cristina París, José R. Paramá |
Fast and Flexible Compression for Web Search Engines. |
VODCA@FOSAD |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjay Rawat 0001, Arun K. Pujari, Ved Prakash Gulati |
On the Use of Singular Value Decomposition for a Fast Intrusion Detection System. |
VODCA@FOSAD |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Fabio Gadducci |
Preface. |
VODCA@FOSAD |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Nanz, Chris Hankin |
Formal Security Analysis for Ad-Hoc Networks. |
VODCA@FOSAD |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Agustina Buccella, Alejandra Cechich, Nieves R. Brisaboa |
A Federated Layer to Integrate Heterogeneous Knowledge. |
VODCA@FOSAD |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Kamil Kulesza, Zbigniew Kotulski, Konrad Kulesza |
On Mobile Agents Resistance to Traffic Analysis. |
VODCA@FOSAD |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Cas Cremers |
Compositionality of Security Protocols: A Research Agenda. |
VODCA@FOSAD |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianluigi Ferrari 0002, Alberto Lluch-Lafuente |
A Logic for Graphs with QoS. |
VODCA@FOSAD |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Münther |
On the Security of Security Software: Invited Position Paper. |
VODCA@FOSAD |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Giampaolo Bella, Costantino Pistagna, Salvatore Riccobene |
Distributed Backup through Information Dispersal. |
VODCA@FOSAD |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Agostino Ardagna, Ernesto Damiani, Sabrina De Capitani di Vimercati, Pierangela Samarati |
A Web Service Architecture for Enforcing Access Control Policies. |
VODCA@FOSAD |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Torsten Fink, Manuel Koch, Karl Pauls |
An MDA approach to Access Control Specifications Using MOF and UML Profiles. |
VODCA@FOSAD |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Lavinia Egidi, Marinella Petrocchi |
Modelling a Secure Agent with Team Automata. |
VODCA@FOSAD |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Emilio Tuosto, Hugo Torres Vieira |
An Observational Model for Spatial Logics. |
VODCA@FOSAD |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #47 of 47 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license