2796 search results - page 216 / 560 » A time structure based software reliability model |
126
click to vote
DAC
2004
ACM
16 years 4 months ago
2004
ACM
As multiprocessor systems-on-chip become a reality, performance modeling becomes a challenge. To quickly evaluate many architectures, some type of high-level simulation is require...
145
click to vote
ICDM
2008
IEEE
15 years 10 months ago
2008
IEEE
Event detection is a critical task in sensor networks, especially for environmental monitoring applications. Traditional solutions to event detection are based on analyzing one-sh...
136
Voted
RISE
2004
Springer
15 years 9 months ago
2004
Springer
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...
163
click to vote
CIT
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Both encryption and digital watermarking techniques need to be incorporated in a digital rights management framework to address different aspects of content management. W...
149
click to vote
ESWS
2010
Springer
15 years 8 months ago
2010
Springer
Recently, the publishing of structured, semantic information as linked data has gained quite some momentum. For ordinary users on the Internet, however, this information is not yet...