|
|
|
|
|
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
|
|
|
|
|
|
|
|
|
|
|
Pwint Phyu Khine and Zhaoshun Wang
The inevitability of the relationship between big data and distributed systems is indicated by the fact that data characteristics cannot be easily handled by a standalone centric approach. Among the different concepts of distributed systems, the CAP theo...
ver más
|
|
|
|
|
|
|
|
|
|
|
Miguel Diogo, Bruno Cabral and Jorge Bernardino
Internet has become so widespread that most popular websites are accessed by hundreds of millions of people on a daily basis. Monolithic architectures, which were frequently used in the past, were mostly composed of traditional relational database manage...
ver más
|
|
|
|
|
|
|
|
|
|
|
A. Santos,R. Simões,M. Tavares
Pág. 463 - 470
Aim of the study: The aim of the study is to assess the variation of pith eccentricity, heartwood proportion, latewood percentage and basic wood density along the stem of 45-year-old A. melanoxylon trees collected in four sites of Portugal, and investiga...
ver más
|
|
|
|
|
|