BibSonomy :: author  ::

bookmarks

publications

(5276)

• A specification-based approach to testing software product lines
  Engin Uzuncaova and Daniel Garcia and Sarfraz Khurshid and Don S. Batory ESEC/SIGSOFT FSE 525--528 (2007)
  to AHEAD Alloy GenVoca data generation lines product specification-based test testing by ist_spl and 1 other person on 2008-05-14 11:03:51
  | URL | BibTeX  
• Incremental Evaluation of OCL Invariants in the Essential MOF Object Model.
  Miguel Garcia and Ralf Möller Modellierung 11-26 (2008)
  to dblp by dblp on 2008-05-14 00:00:00
  | URL | BibTeX  
• A Software Library for Reliable Online-Arithmetic with Rational Numbers.
  Gregorio de Miguel Casado and Juan Manuel García Chamizo Numerical Validation in Current Hardware Architectures (2008)
  to dblp by dblp on 2008-05-14 00:00:00
  | URL | BibTeX  
• Web graph similarity for anomaly detection (poster).
  Panagiotis Papadimitriou and Ali Dasdan and Hector Garcia-Molina WWW 1167-1168 (2008)
  to dblp by dblp on 2008-05-13 00:00:00
  | URL | BibTeX  
• Simrank++: query rewriting through link analysis of the clickgraph (poster).
  Ioannis Antonellis and Hector Garcia-Molina and Chi-Chao Chang WWW 1177-1178 (2008)
  to dblp by dblp on 2008-05-13 00:00:00
  | URL | BibTeX  
• Management of Exceptions on Access Control Policies.
  Joaquín García-Alfaro and Frédéric Cuppens and Nora Cuppens-Boulahia SEC 97-108 (2007)
  to dblp by dblp on 2008-05-13 00:00:00
  | URL | BibTeX  
• Building an Open Toolkit of Digital Certificate Validation for Mobile Web Services.
  Florina Almenárez Mendoza and Andres Marin and Daniel Diaz and Alberto Cortes and Celeste Campo and Carlos García-Rubio PerCom 560-565 (2008)
  to dblp by dblp on 2008-05-13 00:00:00
  | URL | BibTeX  
• A Trust-based Middleware for Providing Security to Ad-Hoc Peer-to-Peer Applications.
  Florina Almenárez Mendoza and Andres Marin and Daniel Diaz and Alberto Cortes and Celeste Campo and Carlos García-Rubio PerCom 531-536 (2008)
  to dblp by dblp on 2008-05-13 00:00:00
  | URL | BibTeX  
• Resource Optimization for 60 GHz Indoor Networks Using Dynamic Extended Cell Formation.
  Bao Linh Dang and R. Venkatesha Prasad and Ignas G. Niemegeers and M. Garcia Larrode and A. M. J. Koonen PerCom 354-359 (2008)
  to dblp by dblp on 2008-05-13 00:00:00
  | URL | BibTeX  
• End-to-End Proportional Loss Differentiation in OBS Networks.
  Miguel A. González-Ortega and José C. López-Ardao and Pablo Jesús Argibay-Losada and Andrés Suárez-González and Cándido López-García and Manuel Fernández-Veiga and Raúl Fernando Rodríguez Rubio Networking 346-357 (2008)
  to dblp by dblp on 2008-05-13 00:00:00
  | URL | BibTeX