|
|
|
|
|
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
|
|
|
|
|
|
|
|
|
|
|
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
|
|
|
|
|
|
|
|
|
|
|
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
|
|
|
|
|
|
|
|
|
|
|
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
|
|
|
|
|
|
|
|
|
|
|
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
|
|
|
|
|
|
|
|
|
|
|
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
|
|
|
|
|
|
|
|
|
|
|
?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
|
|
|
|
|
|
|
|
|
|
|
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
|
|
|
|
|
|
|
|
|
|
|
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
|
|
|
|
|
|
|
|
|
|
|
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
|
|
|
|
|
|