2004 search results - page 296 / 401 » Comparison of Model Checking Tools for Information Systems |
136
click to vote
ACMICEC
2007
ACM
15 years 8 months ago
2007
ACM
Humans are "smart components" in a system, but cannot be directly programmed to perform; rather, their autonomy must be respected as a design constraint and incentives p...
143
click to vote
AVI
2008
15 years 6 months ago
2008
Digital tools for annotation of video have the promise to provide immense value to researchers in disciplines ranging from psychology to ethnography to computer science. With trad...
142
click to vote
RAID
2004
Springer
15 years 9 months ago
2004
Springer
As the frequency of attacks faced by the average host connected to the Internet increases, reliance on manual intervention for response is decreasingly tenable. Operating system an...
132
click to vote
JMM2
2008
15 years 4 months ago
2008
The current heterogeneous world of networks and terminals combined with the generalized mobility of users pose telecommunications operators and service providers the challenge of d...
128
click to vote
ICC
2009
IEEE
15 years 2 months ago
2009
IEEE
1 Transmission over wireless fading channels under quality of service (QoS) constraints is studied when only the receiver has perfect channel side information. Being unaware of the...