59   Artículos

 
en línea
Giacomo Bergami    
Recent findings demonstrate how database technology enhances the computation of formal verification tasks expressible in linear time logic for finite traces (LTLf). Human-readable declarative languages also help the common practitioner to express tempora... ver más
Revista: Information    Formato: Electrónico

 
en línea
Marisol García-Valls and Alejandro M. Chirivella-Ciruelos    
The lack of sufficient guarantee about the authenticity of running smart contracts is a major entry barrier to blockchain networks. By authenticity,we refer to the smart contract ownership or provenance; this implies perfect matching between a published ... ver más
Revista: Information    Formato: Electrónico

 
en línea
Suhee Jo, Ryeonggu Kwon and Gihwon Kwon    
GitHub serves as a platform for collaborative software development, where contributors engage, evolve projects, and shape the community. This study presents a novel approach to analyzing GitHub activity that departs from traditional methods. Using Discre... ver más
Revista: Applied Sciences    Formato: Electrónico

 
en línea
Jinguang Gu, Daiwen Wang, Danyang Hu, Feng Gao and Fangfang Xu    
In medical texts, temporal information describes events and changes in status, such as medical visits and discharges. According to the semantic features, it is classified into simple time and complex time. The current research on time recognition usually... ver más
Revista: Applied Sciences    Formato: Electrónico

 
en línea
Giacomo Bergami, Samuel Appleby and Graham Morgan    
Current specification mining algorithms for temporal data rely on exhaustive search approaches, which become detrimental in real data settings where a plethora of distinct temporal behaviours are recorded over prolonged observations. This paper proposes ... ver más
Revista: Computers    Formato: Electrónico

 
en línea
Yati Phyo, Moe Nandi Aung, Canh Minh Do and Kazuhiro Ogata    
Termination or halting is an important system requirement that many systems should satisfy and can be expressed in linear temporal logic as eventual properties. We devised a divide-and-conquer approach to eventual model checking in order to reduce the st... ver más
Revista: Information    Formato: Electrónico

 
en línea
?tefica Mrvelj and Marko Matulin    
In the quest to optimize user experience, network, and service, providers continually seek to deliver high-quality content tailored to individual preferences. However, predicting user perception of quality remains a challenging task, given the subjective... ver más
Revista: Future Internet    Formato: Electrónico

 
en línea
Yuanfeng Lian, Yueyao Geng and Tian Tian    
Due to the complexity of the oil and gas station system, the operational data, with various temporal dependencies and inter-metric dependencies, has the characteristics of diverse patterns, variable working conditions and imbalance, which brings great ch... ver más
Revista: Applied Sciences    Formato: Electrónico

 
en línea
Filip Bojic, Anita Gudelj and Rino Bo?njak    
Intensive shipping activity in port areas is considered one of the leading problems in the maritime sector, which has a negative effect on climate change and local air quality. The compilation of detailed inventories of combustion gases released by ships... ver más
Revista: Journal of Marine Science and Engineering    Formato: Electrónico

 
en línea
Clebson Pautz, Alexandre Rosa dos Santos, Jéferson Luiz Ferrari, Plinio Antonio Guerra Filho, Sustanis Horn Kunz, Henrique Machado Dias, Taís Rizzo Moreira, Rita de Cássia Freire Carvalho, Vinícius Duarte Nader Mardeni, Elaine Cordeiro dos Santos and Larissa Marin Scaramussa    
Environmental vulnerability refers to the susceptibility of a region to damage when it is subjected to natural or anthropogenic actions. The assessment of environmental vulnerability in lakes is an important tool to assist managers in planning and interv... ver más
Revista: Water    Formato: Electrónico

« Anterior     Página: 1 de 4     Siguiente »