Inicio  /  IEEE SOFTWARE  /  Vol: 20 Núm: 4 Par: 0 (2003)  /  Artículo
ARTÍCULO
TITULO

Making Software Timing Properties Easier to Inspect and Verify

Xu    
J.    

Resumen

No disponible

 Artículos similares

       
 
Cristina Torrecillas, Andres Payo, Manuel Cobos, Helen Burke, Dave Morgan, Helen Smith and Gareth Owen Jenkins    
This study represents the first attempt to map the sediment thickness spatial distribution along the Andalusian coastal zone by integrating various publicly available datasets. While prior studies have presented bedform- and sediment-type syntheses, none... ver más

 
Somayeh Emami and Hossein Dehghanisanij    
The recent problems of Lake Urmia (LU) are caused by extensive and complex socio-ecological factors that require a comprehensive approach to consider the relationships between users and identify failure factors at the basin level. For this purpose, an ag... ver más
Revista: Water

 
German Francisco Barreto-Parra, Brandon Cortés-Caicedo and Oscar Danilo Montoya    
This paper proposes an interconnection of the MATLAB and GAMS software interfaces, which were designed based on a master-slave methodology, to solve the mixed-integer nonlinear programming (MINLP) model problem associated with the problem regarding the o... ver más
Revista: Algorithms

 
Mohammad Alqadi, Ala Al Dwairi, Pablo Merchán-Rivera and Gabriele Chiogna    
This article aims to present the structure and the workflow of a new software DeMa (Decision Support Software and Database for Wellfield Management), to support wellfield managers in their decision-making processes. There is a recognized need to improve ... ver más
Revista: Water

 
Azizah Nurul Khoirunnisa, Munir and Laksmi Dewi    
(1) Background: Augmented reality is no less popular than virtual reality. This technology has begun to be used in education fields, one of which is special education. Merging the real and virtual worlds is the advantage of augmented reality. However, it... ver más
Revista: Computers