327 search results - page 52 / 66 » Model Checking and Evidence Exploration |
HICSS
2006
IEEE
14 years 5 months ago
2006
IEEE
Previous studies indicate that the expected effects of e-Government are slower to realize than initially expected. Several authors argue that e-Government involves particularly co...
HICSS
2003
IEEE
14 years 4 months ago
2003
IEEE
While much research has shown that ALNs can produce learning equivalent to FTF classrooms, there has been little empirical research that explicitly and rigorously explores similar...
HICSS
2009
IEEE
14 years 2 months ago
2009
IEEE
Humans use computers to carry out tasks that neither is able to do easily alone: humans provide eyes, hands, and judgment while computers provide computation, networking, and stor...
CSFW
2010
IEEE
14 years 2 months ago
2010
IEEE
—Although policy compliance testing is generally treated as a binary decision problem, the evidence gathered during the trust management process can actually be used to examine t...
LREC
2010
14 years 11 days ago
2010
Automatic acquisition of novel compounds is notoriously difficult because most novel compounds have relatively low frequency in a corpus. The current study proposes a new method t...