4424 search results - page 807 / 885 » Semantic virtual environments |
115
click to vote
ESOP
2009
Springer
15 years 12 months ago
2009
Springer
Abstract. Rely-guarantee is a well-established approach to reasoning about concurrent programs that use parallel composition. However, parallel composition is not how concurrency i...
128
click to vote
CCGRID
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper presents “Self-Chord”, a bio-inspired P2P algorithm that can be profitably adopted to build the information service of distributed systems, in particular Computati...
167
click to vote
COMPSAC
2009
IEEE
15 years 11 months ago
2009
IEEE
With the ongoing trend towards the globalization of software systems and their development, components in these systems might not only work together, but may end up evolving indep...
138
click to vote
ICC
2009
IEEE
15 years 11 months ago
2009
IEEE
: It is well known that no security mechanism can provide full protection against a potential attack. There is always a possibility that a security incident may happen, mainly as a...
166
click to vote
ICRA
2009
IEEE
15 years 11 months ago
2009
IEEE
— As mobile robotics is gradually moving towards a level of semantic environment understanding, robust 3D object recognition plays an increasingly important role. One of the most...