Digital Library

cab1

 
cover  TREE BASED TASK SCHEDULING ALGORITHM FOR REDUCING STATE TRANSITIONS IN HOMOGENEOUS WIRELESS SENSOR NETWORK
Siddhartha Chauhan, Sumit Kumar
cover  COVER - AC2011
cover  FRONT MATTER - AC20111
cover  EVALUATING INSTRUMENTATION STRATEGIES BY PROGRAM SIMULATION
Roberto Andrioli de Araujo, Anthony Accioly, Felipe Albuquerque, Marcos L. Chaim
cover  VERIFICATION OF UML BEHAVIORAL DIAGRAMS USING SYMBOLIC MODEL CHECKING
Flávio Fernandes, Mark Song
cover  VALIDATING SQL CODE USING SYMBOLIC MODEL CHECKING
Rodrigo Diana, Mark Song, Humberto Torres
cover  WSDL-S SEMANTIC WEB SERVICES ENGINEERING: AN EMPIRICAL ANNOTATING APPROACH
Djelloul Bouchiha, Mimoun Malki, Abdullah Alghamdi
cover  WEB SERVICE TESTING WITH ALTERNATIVE DATA INSTANCE ANALYSIS
João Carlos Garcia Árias, Silvia Regina Vergilio, Maria Claudia Figueiredo Pereira Emer
cover  AN APPROACH FOR REQUIREMENTS ELICITATION FOR EMBEDDED REAL-TIME SYSTEMS
Rovedy A. B. e Silva1, José M. Parente de Oliveira, Jorge Sousa Pinto
cover  ON THE USE OF MODEL-DRIVEN TEST PROCESS SPECIFICATION AND ENACTMENT BY METAMODELLING FOUNDATION
Rita Suzana P. Maciel, Ramon A. Gomes, Bruno C. Silva
cover  SELECTING ARCHITECTURAL PATTERNS THROUGH A KNOWLEDGE-BASED APPROACH
Liziane Santos Soares, Roberto Tom Price, Marcelo Soares Pimenta, José Luis Braga
cover  A TRANSFORMATION-DRIVEN FRAMEWORK TO MODEL CONTEXT-AWARE WEB APPLICATIONS
Luis Paulo da Silva Carvalho, Paulo Caetano da Silva
cover  “SACK-OF-SEMANTICS”: APPLYING CULTURAL KNOWLEDGE TO IDENTIFY SIMILAR PEOPLE IN SOCIAL NETWORK SITES
Fernando Cesar Balbino, Junia Coutinho Anacleto, Gilberto Astolfi
cover  CCMD – COMPUTATIONAL CONTEXT MODELING DIAGRAM – AND WSBPEL INTEGRATION
Luis Paulo da Silva Carvalho, Paulo Caetano da Silva
cover  GEOGRAPHIC AND CONCEPTUAL INFORMATION RETRIEVAL FROM ONLINE NEWSPAPERS
Rocio Abascal-Mena, Erick López Ornelas
<< Start < Prev 1 2 3 4 5 6 7 Next > End >>

Social Media Links

Search

Login