3404 search results - page 358 / 681 » C Programming Tutorial |
114
click to vote
IFIP
2009
Springer
15 years 9 months ago
2009
Springer
We consider the problem of detecting covert channels within security-enforcing object-capability patterns. Traditional formalisms for reasoning about the security properties of obj...
102
click to vote
CEC
2008
IEEE
15 years 9 months ago
2008
IEEE
—Limited numerical precision of nVidia GeForce 8800 GTX and other GPUs requires careful implementation of PRNGs. The Park-Miller PRNG is programmed using G80’s native Value4f ...
107
click to vote
VL
2006
IEEE
15 years 9 months ago
2006
IEEE
We report on a field study about how software developers experience disorientation when using the Eclipse Java integrated development environment. We analyzed the data using the ...
128
click to vote
EUC
2005
Springer
15 years 8 months ago
2005
Springer
A new system for real-time customer relationship management is proposed. The system is based on deploying a network of RFID readers throughout an environment. Information about the...
111
click to vote
BIRTHDAY
2003
Springer
15 years 8 months ago
2003
Springer
We provide a translation from CTL to Datalog¬ Succ. The translation has the following advantages: a) It is natural. b) It provides intuition to the expressive power of CTL and it...