7206 search results - page 1265 / 1442 » Using a Hypermedia System for Systems Engineering |
159
Voted
SAC
2010
ACM
15 years 10 months ago
2010
ACM
Extensive research activities are recently directed towards the Semantic Web as a future form of the Web. Consequently, Web search as the key technology of the Web is evolving tow...
139
Voted
FOSSACS
2009
Springer
15 years 10 months ago
2009
Springer
Bisimulation between processes has been proven a successful method for formalizing security properties. We argue that in certain cases, a scheduler that has full information on the...
125
Voted
SP
2009
IEEE
15 years 10 months ago
2009
IEEE
The Mifare Classic is the most widely used contactless smartcard on the market. The stream cipher CRYPTO1 used by the Classic has recently been reverse engineered and serious atta...
128
Voted
CIKM
2009
Springer
15 years 10 months ago
2009
Springer
We consider the problem of releasing a limited public view of a sensitive graph which reveals at least k edges per node. We are motivated by Facebook’s public search listings, w...
123
Voted
SARA
2009
Springer
15 years 10 months ago
2009
Springer
Despite a big progress in solving planning problems, more complex problems still remain hard and challenging for existing planners. One of the most promising research directions i...