Results 31 to 40 of about 814,717 (190)
International Journal of Distributed Sensor Networks, 2014 Data aggregation techniques have been widely used in wireless sensor networks (WSNs) to solve the energy constraint problems of sensor nodes. They can conserve the significant amount of energy by reducing data packet transmission costs.
Min Yoon +3 more
doaj +1 more source
Remote Dynamic Data Integrity Checking Scheme for Multi-cloud and Multi-replica [PDF]
Jisuanji kexueMore and more data owners would like to store their data to cloud servers in order to reduce their localstorage burden along with rapid development of cloud servers.However,data owners will lose the direct control over their data after uploading to cloud
TAN Shiyi, WANG Huaqun
doaj +1 more source
Siep's test: A novel test for checking wound integrity in small-incision cataract surgery
Indian Journal of Ophthalmology, 2022 Purpose: This study was conducted to ensure the integrity of surgery wounds. Methods: This was a randomized prospective trial of 300 patients who underwent small-incision cataract surgery (SICS) at our hospital over a one-year period.
Binita N Gadavi +4 more
doaj +1 more source
Model Checking Algorithms for CTMDPs [PDF]
, 2011 Continuous Stochastic Logic (CSL) can be interpreted over continuoustime Markov decision processes (CTMDPs) to specify quantitative properties of stochastic systems that allow some external control.
Hermanns, Holger +13 more
core +1 more source
Integrated Multimodal Copy-Paste Checking [PDF]
Journal of Software, 2009 Although the use of advanced computing and communications technology has made learning a significantly richer experience for learners, it also introduces greater ease in committing academic cheating. There is a growing increase of internet usage in educational communities.
Narayanan Kulathuramaiyer, Bilal Zaka
openaire +1 more source
Improvements to the Implementation of Interpolant-Based Model Checking
, 2005 The evolution of SAT technology over the last decade has motivated its application in model checking, initially through the utilization of SAT in bounded model checking~(BMC) and, more recently, in unbounded model checking (UMC). This paper addresses the
Marques-Silva, Joao
core +2 more sources
An object model development for the UK automated compliance checking [PDF]
, 2013 Approving building designs against existing UK building regulations manually is a time consuming and tedious process. As the architecture engineering construction (AEC) industry moves from 2D CAD drawings to more semantically rich building information ...
Malsane, S. +4 more
core
Code-Based Authentication Scheme for Lightweight Integrity Checking of Smart Vehicles
IEEE Access, 2018 The stable and seamless connection of the mobile communication system is expected to closely link an unprecedented number of things, including smart cars such as autonomous vehicles, in the near future.
Joonsang Yoo, Jeong Hyun Yi
doaj +1 more source
On the Feasibility of Checking Temporal Integrity Constraints
Journal of Computer and System Sciences, 1993 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Jan Chomicki, Damian Niwinski
openaire +4 more sources
Interpolant Learning and Reuse in SAT-Based Model Checking [PDF]
, 2007 Bounded Model Checking (BMC) is one of the most paradigmatic practical applications of Boolean Satisfiability (SAT). The utilization of SAT in model checking has allowed significant performance gains and, as a consequence, a large number of commercial ...
Marques-Silva, Joao
core +1 more source