12183 search results - page 2318 / 2437 » Computers under Attacks! |
157
click to vote
QEST
2007
IEEE
16 years 11 days ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
170
click to vote
RTAS
2007
IEEE
16 years 11 days ago
2007
IEEE
It is challenging to manage the performance of real-time databases (RTDBs) that are often used in data-intensive real-time applications such as agile manufacturing and target trac...
183
click to vote
RTSS
2007
IEEE
16 years 11 days ago
2007
IEEE
— With the advent of CMOS cameras, it is now possible to make compact, cheap and low-power image sensors capable of on-board image processing. These embedded vision sensors provi...
200
click to vote
SMC
2007
IEEE
16 years 11 days 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...
166
click to vote
TPHOL
2007
IEEE
16 years 11 days ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...