„Computer System Implementation.“

Suchergebnisse

3.234 Treffer

• On synthesizing test cases in symbolic real-time testing
  Khoumsi, Ahmed
• A UPnP extension for enabling user authentication and authorization in pervasive systems
  Sales, Thiago ; Sales, Leandro ; Almeida, Hyggo ; Perkusich, Angelo
• The weighted gradient: A color image gradient applied to morphological segmentation
  Flores, Franklin César ; Polidório, Airton Marco ; Lotufo, Roberto de Alencar
• Volume sculpting based on geometric tools
  Huff, Rafael ; Rosa, Roberto Silveira da ; Nedel, Luciana ; Freitas, Carla Maria Dal Sasso
• D-Confidence: an active learning strategy to reduce label disclosure complexity in the presence of imbalanced class distributions
  Escudeiro, Nuno Filipe ; Jorge, Alípio Mário
• Using AOP to bring a project back in shape: The OurGrid case
  Dantas, Ayla ; Cirne, Walfredo ; Saikoski, Katia
• Energy-aware test connection assignment for the self-diagnosis of a wireless sensor network
  Weber, Andréa ; Kutzke, Alexander Robert ; Chessa, Stefano
• Determining what sets of trees can be the clique trees of a chordal graph
  Caria, Pablo De ; Gutierrez, Marisa
• Multicoordinated agreement for groups of agents
  Camargos, Lasaro ; Schmidt, Rodrigo ; Madeira, Edmundo ; Pedone, Fernando
• Application of a formal testing methodology to wireless telephony networks
  Cavalli, Ana ; Mederreg, Amel ; Zaidi, Fatiha
• Letter from the Guest Editors
  Miranda, Eduardo ; Pimenta, Marcelo
• Using a Functional Ontology Of Reputation to interoperate different agent reputation models
  Casare, Sara ; Sichman, Jaime Simão
• Learning to cooperate in the Iterated Prisoner’s Dilemma by means of social attachments
  Bazzan, Ana L. C. ; Peleteiro, Ana ; Burguillo, Juan C.
• Structuring reflective middleware using meta-informationmanagement: The Meta-ORB approach and prototypes
  Costa, Fábio M. ; Santos, Bruno da Silva
• Helly property, clique raphs, complementary graph classes, and sandwich problems
  Dourado, Mitre C. ; Petito, Priscila ; Teixeira, Rafael B. ; Figueiredo, Celina M. H. de
• The Computation of Pitch with Vectors
  Arcela, Aluizio
• General detection model in cooperative multirobot localization
  Odakura, Valguima Victoria Viana Aguiar ; Costa Bianchi, Reinaldo Augusto da ; Costa, Anna Helena Reali
• Letter from the Guest Editors
  Lucena, Carlos J. P. de ; Blois, Marcelo ; Choren, Ricardo ; Silva, Viviane Torres da
• Sentiment-based influence detection on Twitter
  Bigonha, Carolina ; Cardoso, Thiago N. C. ; Moro, Mirella M. ; Gonçalves, Marcos A. ; Almeida, Virgílio A. F.
• A generalized model for distributed comparison-based system-level diagnosis
  Albini, Luiz Carlos Pessoa ; Duarte, Elias Procópio ; Ziwich, Roverli Pereira