1527 search results - page 184 / 306 » What About Wednesday |
139
Voted
ITICSE
2006
ACM
15 years 11 months ago
2006
ACM
When you sit in a Computer Science lecture at any university in the western world, what are the chances that the person sitting next to you will be a woman? Furthermore, what are ...
213
click to vote
ACSAC
2005
IEEE
15 years 11 months ago
2005
IEEE
Using hypervisors or virtual machine monitors for security has become very popular in recent years, and a number of proposals have been made for supporting multi-level security on...
148
click to vote
HPDC
2005
IEEE
15 years 11 months ago
2005
IEEE
Very large scale computations are now becoming routinely used as a methodology to undertake scientific research. In this context, ‘provenance systems’ are regarded as the equ...
146
click to vote
GECCO
2005
Springer
15 years 11 months ago
2005
Springer
Traditionally, representation has been perceived as a necessity for producing intelligent behavior. Once the right representation is in place to drive it, behavior unfolds as the ...
238
click to vote
ESOP
2004
Springer
15 years 11 months ago
2004
Springer
We show how to combine trust management theories with nonce-based cryptographic protocols. The strand space framework for protocol analysis is extended by associating formulas from...