Inicio  /  IEEE SOFTWARE  /  Vol: 14 Núm: 2 Par: 0 (1997)  /  Artículo
ARTÍCULO
TITULO

A FORMAL METHOD FOR BUILDING CONCURRENT REAL-TIME SOFTWARE

Fidge    
Colin    
Kearney    
Peter    
Utting    
Mark    

Resumen

No disponible

 Artículos similares

       
 
Tomasz Rak    
This study aims to identify the most effective input parameters for performance modelling of container-based web systems. We introduce a method using queueing Petri nets to model web system performance for containerized structures, leveraging prior measu... ver más
Revista: Applied Sciences

 
Changlu Zhang, Liqian Tang and Jian Zhang    
Evaluation and selection of a third-party reverse logistics provider (3PRLP) is an important tool for enterprises to improve the level of reverse logistics management. The identification of critical indicators plays a crucial role in the evaluation proce... ver más
Revista: Information

 
Bradley Walters, Sandra Ortega-Martorell, Ivan Olier and Paulo J. G. Lisboa    
A lack of transparency in machine learning models can limit their application. We show that analysis of variance (ANOVA) methods extract interpretable predictive models from them. This is possible because ANOVA decompositions represent multivariate funct... ver más
Revista: Algorithms

 
Okan Bulut, Guher Gorgun, Tarid Wongvorachan and Bin Tan    
Rapid guessing is an aberrant response behavior that commonly occurs in low-stakes assessments with little to no formal consequences for students. Recently, the availability of response time (RT) information in computer-based assessments has motivated re... ver más
Revista: Algorithms

 
Tibor Szkaliczki    
eHealth services require continuous data streaming and a stable level of quality of service. However, wireless network connections can be characterized by variable bandwidths. This requires continuous adaptation of systems, including adapting the bit rat... ver más
Revista: Applied Sciences