9405 search results - page 1800 / 1881 » Computing a Model of Set Theory |
ICSE
2007
IEEE-ACM
15 years 12 months ago
2007
IEEE-ACM
Critical infrastructures like the power grid are emerging as collection of existing separated systems of different nature which are interconnected together. Their criticality becom...
116
click to vote
WISE
2009
Springer
15 years 9 months ago
2009
Springer
ct One significant effort towards combining the virtues of Web search, viz. being accessible to untrained users and able to cope with vastly heterogeneous data, with those of dat...
105
click to vote
IISWC
2009
IEEE
15 years 6 months ago
2009
IEEE
— Programming to exploit the resources in a multicore system remains a major obstacle for both computer and software engineers. Transactional memory offers an attractive alternat...
130
Voted
IROS
2006
IEEE
15 years 5 months ago
2006
IEEE
— We propose to classify the behaviors of a mobile robot thanks to topological methods as an alternative to metric ones. To do so, we adapt an analysis scheme from Physics of non...
135
click to vote
CISC
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Despite many good (secure) key agreement protocols based on publickey cryptography exist, secure associations between two wireless devices are often established using sym...