1087 search results - page 163 / 218 » Achieving Distributed Control through Model Checking |
VLDB
2010
ACM
13 years 8 months ago
2010
ACM
According to the database outsourcing model, a data owner delegates database functionality to a thirdparty service provider, which answers queries received from clients. Authentic...
ET
2007
13 years 9 months ago
2007
In this paper, we focus on reliability, one of the most fundamental and important challenges, in the nanoelectronics environment. For a processor architecture based on the unreliab...
DEBS
2008
ACM
13 years 11 months ago
2008
ACM
Several new Complex Event Processing (CEP) engines have been recently released, many of which are intended to be used in performance sensitive scenarios - like fraud detection, tr...
SMC
2007
IEEE
14 years 3 months ago
2007
IEEE
—Digitization of production factors, including the knowledge for knowledge workers and consumers, opens almost infinite potential to connect persons, systems, processes, enterpri...
TASE
2011
IEEE
13 years 4 months ago
2011
IEEE
—This paper reports the design and development processes of a totally decoupled flexure-based XYZ parallel-kinematics micropositioning stage with piezoelectric actuation. The un...