Applied Computing 2011 Proceedings |
Titles Published in This Volume EVALUATING INSTRUMENTATION STRATEGIES BY PROGRAM SIMULATION VERIFICATION OF UML BEHAVIORAL DIAGRAMS USING SYMBOLIC MODEL CHECKING VALIDATING SQL CODE USING SYMBOLIC MODEL CHECKING WSDL-S SEMANTIC WEB SERVICES ENGINEERING: AN EMPIRICAL ANNOTATING APPROACH WEB SERVICE TESTING WITH ALTERNATIVE DATA INSTANCE ANALYSIS AN APPROACH FOR REQUIREMENTS ELICITATION FOR EMBEDDED REAL-TIME SYSTEMS ON THE USE OF MODEL-DRIVEN TEST PROCESS SPECIFICATION AND ENACTMENT BY METAMODELLING FOUNDATION SELECTING ARCHITECTURAL PATTERNS THROUGH A KNOWLEDGE-BASED APPROACH A TRANSFORMATION-DRIVEN FRAMEWORK TO MODEL CONTEXT-AWARE WEB APPLICATIONS ?SACK-OF-SEMANTICS?: APPLYING CULTURAL KNOWLEDGE TO IDENTIFY SIMILAR PEOPLE IN SOCIAL NETWORK SITES CCMD ? COMPUTATIONAL CONTEXT MODELING DIAGRAM ? AND WSBPEL INTEGRATION GEOGRAPHIC AND CONCEPTUAL INFORMATION RETRIEVAL FROM ONLINE NEWSPAPERS SEMANTIC RELATIONS EXTRACTION IN THE ORGANIZATION DOMAIN MODELLING SELECTION TASKS AND ASSESSING PERFORMANCE IN WEB INTERACTION A BUSINESS PROCESS MODEL FOR SOFTWARE TOOL EVALUATION DEVELOPMENT OF A COMPLEX SYSTEM BASED ON ARCHITECTURAL AND DESIGN PATTERNS MANAGING SECURE SYSTEM ARCHITECTURES FOR MOBILE ENTERPRISE APPLICATIONS MOBILE&WIRELESS TECHNOLOGIES CLOSE THE SAFETY LOOP IN HOSPITAL?S BEDSIDE THERAPY MANAGEMENT MULTIDIMENSIONAL INFORMATION VISUALIZATION: USABILITY EVALUATION WITH TAXONOMY OF TASKS UNDERSTANDING THE ENERGY CONSUMPTION OF THE WIRELESS SENSOR NETWORK DATA-PROCESSING SERVICE A COST EFFECTIVE PROFILE METHOD FOR INDOOR LOCATION IN 802.11 WIRELESS NETWORKS IMPROVING THE DESIGN OF WIRELESS SENSOR NETWORKS USING QOS-AWARE OPPORTUNISTIC TECHNIQUES THREE-DIMENSIONAL VISUALIZATION AND AUTOMATED QUANTITATIVE ANALYSIS OF CULTURED NEURONS PLATED ON MULTI-ELECTRODE ARRAYS A DATABASE SCHEMA FOR HIGH-THROUGHPUT SEQUENCING TRANSCRIPTOME PIPELINES TOWARDS AN EFFICIENT AND ACCURATE EVALUATION OF THE P53 FUNCTIONAL STATE: A HORIZONTAL FILTERING APPROACH IN SILICO BIOLOGICAL EXPERIMENTS FOR INVESTIGATING THE PANDEMIC INFLUENZA VIRUS A VARIABILITY USING MOBILE NODES TO REPAIR CONNECTIVITY IN WIRELESS SENSOR NETWORKS EVALUATION OF HEURISTICS FOR WAVELENGTH CONVERTER PLACEMENT IN OPTICAL NETWORKS EVALUATION OF ROUTING METHODOLOGIES OVER REAL VANETS SCENARIOS MULTI-AGENT PSO-BASED APPROACH FOR HEURISTICS HYBRIDIZATION APPLIED TO TRAVELING SALESMAN PROBLEM COMPUTATIONAL SYSTEM BASED ON GENETIC ALGORITHM FOR PLANNING AND RESTORATION OF TELECOMMUNICATION NETWORKS ASSESSMENT OF ADHD IN A SAMPLE OF ADULTS THROUGH A COMPUTER GAME AND DATA MINING TECHNIQUES GENERATING TEXT DESCRIPTIONS FOR GEOGRAPHICALLY DISTRIBUTED SENSORS MODELS FOR INDIVIDUAL INFORMATION TECHNOLOGY ACCEPTANCE: A STUDY ON COMPUTER ASSISTED AUDIT TOOLS AND TECHNIQUES AND NEW MODEL DETERMINANTS EVALUATION OF PROGRAMMING MODELS FOR ATMOSPHERIC APPLICATION PLH: A GENERAL PURPOSE PARALLEL LANGUAGE FOR HUMANS A HYBRID PARALLEL VERSION OF ICTM FOR CLUSTER OF NUMA MACHINES INVESTIGATING THE IMPACT OF CPU AND MEMORY AFFINITY ON MULTI-CORE PLATFORMS: A CASE STUDY OF NUMERICAL SCIENTIFIC MULTITHREADED BENCHMARKS PERFORMANCE EVALUATION OF WINOCS FOR PARALLEL WORKLOADS BASED ON COLLECTIVE COMMUNICATIONS USING GPU TO ACCELERATE HEURISTICS TO SITE OBSERVERS IN DEM TERRAINS VISUALIZING VARIABILITY IN BUSINESS PROCESS VARIANT MODELS IMPLEMENTING FLEXIBLE AND EFFICIENT AUTHORIZATION BUSINESS RULES IN INFORMATION SYSTEMS THE DESIGN OF A VIRTUAL REHABILITATION GAME USER IDENTIFICATION IN LEARNING MANAGEMENT SYSTEMS BASED ON FACE RECOGNITION FROM VIDEO EMBEDDED SYSTEMS APPLIED TO WHEAT BLAST SIMULATION MODEL SIMULATING UML MODEL OF EMBEDDED REAL-TIME SYSTEMS ABSTRACTING HARDWARE DEVICES TO EMBEDDED JAVA APPLICATIONS A FORMAL METHOD FOR MODELING, VERIFICATION AND SYNTHESIS OF EMBEDDED REACTIVE SYSTEMS A DYNAMIC OVERLAPPING COALITION-BASED MULTIAGENT SYSTEM FOR COORDINATION OF MOBILE TEAMS PREDICTION OF PROTEIN FUNCTION USING LEARNING CLASSIFIER SYSTEMS TREE BASED TASK SCHEDULING ALGORITHM FOR REDUCING STATE TRANSITIONS IN HOMOGENEOUS WIRELESS SENSOR NETWORK A MODEL FOR UBIQUITOUS WEARABLE APPLICATION CHRONOS: A MODEL FOR UBIQUITOUS PROJECT APPLICATION OF PROTOTYPING IN THE ELICITATION OF REQUIREMENTS FOR IT CONSULTANTS MOBILE APPLICATIONS FOR SMART HOMES: A CASE STUDY PARALLEL STRATEGIES FOR SETTING UP AN ON-DEMAND VIDEO SERVICE USING GRASP AND ILS METAHEURISTICS HANDLING LARGE FORMAL CONTEXTS WITH SUPPORT OF DISTRIBUTED SYSTEMS PARALLEL SAT-SOLVING WITH OPENCL DISTRIBUTED CLOUD COMPUTING ANALYSIS OF PARALLEL PROGRAMMING INTERFACES THROUGH DETERMINATION OF HISTOGRAMS SIMILARITY PARALLEL CALIBRATION OF SPATIAL DYNAMIC MODELS IN TERRAME MOLECULAR DYNAMICS AND ALGORITHMS APPLIED TO COUPLING DRUGS INSIDE DENDRIMERS FOR DRUG DELIVERY VNBLAST: A NETBLAST MANAGEMENT SYSTEM MINIMAL PERFECT HASHING AND BLOOM FILTERS MADE PRACTICAL A STUDY OF ENERGY-AWARE VERTICAL HANDOVER DECISION ALGORITHMS BASED ON COST FUNCTIONS PREDICTION OF ECONOMIC VALUE OF A PETROLEUM EXPLORATORY OPPORTUNITY USING BAYESIAN NETWORK OBTAINING HUMAN BEHAVIOR PATTERNS USING HIDDEN MARKOV MODELS IN VIDEO A VIDEO VIGILANCE CONTEXT COMPARISON OF TEXT SETS USING DATA MINING AND SIMILARITY MEASURE METHODS AN APPROACH TO RISK PREVENTION BASED ON SITUATIONAL METHOD ENGINEERING RESTFUL WEB SERVICE FOR 3D SCENE RENDERING THROUGH A RENDER FARM AN ARCHITECTURE FOR INTEROPERABILITY AND UBIQUITY OF MEDICAL INFORMATION DIASYS: A DIALOG SYSTEM BASED ON COOPERATING SEMANTIC SCHEMAS A CASE-BASED REASONING FRAMEWORK APPLIED TO STRUCTURE KNOWLEDGE BASE IN INTELLIGENT TUTORING SYSTEMS STOCK MARKET PREDICTIONS USING ARTIFICIAL NEURAL NETWORKS ENFORCING AUTHORIZATION RULES IN INFORMATION SYSTEMS SERVICE MODEL DRIVEN VARIATIONS IN SECURITY MEASURES FOR CLOUD ENVIRONMENTS PHISHING WEBPAGE DETECTION USING BLOCK SIMILARITIES AND LOGO DETECTION ASYNCHRONOUS METHOD INVOCATIONS USING HTTP POLLING AND HTTP STREAMING MRISC16T: THE UNB-RISC16 TOOLCHAIN A ROUTING ALGORITHM FOR WIRELESS NETWORK-ON-CHIP USING NETWORK CODING TAP SENSE: A CONTEXTUALIZED EDUCATIONAL GAME SUPPORTED BY COMMON SENSE FOR REINFORCING SEMANTIC LANGUAGE LEARNING ALTERNATIVE POSITION, ORIENTATION AND DATA RECOGNITION ALGORITHMS FOR AUGMENTED REALITY MARKERS THE INFLUENCE OF LOW-TECH STEREOSCOPY AND USERS´ BACKGROUND ON THE SENSE OF PRESENCE INVESTIGATION OF THE USE OF PODCASTING IN A TERTIARY EDUCATIONAL INSTITUTION TOWARDS INTERACTIVITY FOR CITIZENSHIP: AN APPROACH TO INTERACTIVE DIGITAL TELEVISION AUTOMATION VS. HUMAN INTERVENTION: IS THERE ANY ROOM LEFT FOR THE ANALYST IN THE DATA MINING PROCESS? PREDICTION OF FLUID IN A PETROLEUM RESERVOIR USING TIME SERIES FORECASTING METHODS BASED ON IMAGE CO-REGISTRATION LARGE SCALE TREE SEARCH ON GPU MINING FREQUENT ITEMSETS WITH TS-TREE STRUCTURE USING CROSS VALIDATION APPROACH |