• Issue
    2011
Previous Issue|Next Issue
Export Citation(s)Download PDF(s)
Research Article
Open Access

Dynamic Context-Aware and Limited Resources-Aware Service Adaptation for Pervasive Computing

Moeiz Miraoui,  Chakib Tadj,  Jaouhar Fattahi,  Chokri Ben Amar, 
  • First Published: 02 February 2012
Research Article
Open Access

The Study of Resource Allocation among Software Development Phases: An Economics-Based Approach

Peleg Yiftachel,  Irit Hadar,  Dan Peled,  Eitan Farchi,  Dan Goldwasser, 
  • First Published: 12 January 2012
Research Article
Open Access

Evaluation of Tools and Slicing Techniques for Efficient Verification of UML/OCL Class Diagrams

Asadullah Shaikh,  Uffe Kock Wiil,  Nasrullah Memon, 
  • First Published: 27 September 2011
Research Article
Open Access

Multiagent Systems Protection

Antonio Muñoz,  Pablo Anton,  Antonio Maña, 
  • First Published: 15 August 2011
Research Article
Open Access

Towards Support for Software Model Checking: Improving the Efficiency of Formal Specifications

Salamah Salamah,  Ann Q. Gates,  Steve Roach,  Matthew Engskow, 
  • First Published: 22 June 2011
Research Article
Open Access

Bug Localization in Test-Driven Development

Massimo Ficco,  Roberto Pietrantuono,  Stefano Russo, 
  • First Published: 15 June 2011
Research Article
Open Access

ReMoFP: A Tool for Counting Function Points from UML Requirement Models

Vitor A. Batista,  Daniela C. C. Peixoto,  Eduardo P. Borges,  Wilson Pádua,  Rodolfo F. Resende,  Clarindo Isaías P. S. Pádua, 
  • First Published: 14 April 2011