908 search results - page 93 / 182 » Temporal Analysis of Time Bounded Digital Systems |
123
click to vote
RTAS
2009
IEEE
15 years 4 months ago
2009
IEEE
In recent years, there has been an increase in video surveillance systems in public and private environments due to a heightened sense of security. The next generation of surveill...
DELTA
2008
IEEE
15 years 4 months ago
2008
IEEE
Integrated systems represent the most common solution for storage and transmission of confidential data. However, cryptographic devices can be subject to passive attacks that cons...
HICSS
2009
IEEE
15 years 4 months ago
2009
IEEE
Both the academia and practice recognize that information technology (IT) investments may not yield immediate benefits. Nevertheless, there has been a lack of methodological devel...
102
click to vote
IANDC
2006
14 years 10 months ago
2006
Probabilistic verification of continuous-time stochastic processes has received increasing attention in the model-checking community in the past five years, with a clear focus on ...
100
click to vote
COMPSAC
2010
IEEE
14 years 8 months ago
2010
IEEE
In distributed IT systems, replication of information is commonly used to strengthen the fault tolerance on a technical level or the autonomy of an organization on a business level...