3238 search results - page 291 / 648 » On the Computational Interpretation of Negation |
178
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
This study builds on the theory of planned behavior, institutional and diffusion theories to investigate physicians’ attitudes and usage behaviors of electronic medical records ...
141
click to vote
CONCUR
2007
Springer
16 years 27 days ago
2007
Springer
It is well known that bisimulation on µ-expressions cannot be finitely axiomatised in equational logic. Complete axiomatisations such as those of Milner and Bloom/´Esik necessar...
192
click to vote
HPCC
2007
Springer
16 years 26 days ago
2007
Springer
Advance Reservations(AR) make it possible to guarantee the QoS of Grid applications by reserving a particular resource capability over a defined time interval on local resources. H...
171
click to vote
ISVC
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Floating mines are a significant threat to the safety of ships in theatres of military or terrorist conflict. Automating mine detection is difficult, due to the unpredict...
179
click to vote
DSN
2006
IEEE
16 years 23 days ago
2006
IEEE
One way to prevent control hijacking attack is to compare a network application’s run-time system calls with a pre-defined normal system call behavior model, and raise an alert...