5409 search results - page 949 / 1082 » Basic Observables for Processes |
135
Voted
SOFSEM
2007
Springer
15 years 9 months ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
150
click to vote
ETS
2006
IEEE
15 years 9 months ago
2006
IEEE
- The resources available on a chip continue to grow, following Moore's Law. However, the major process by which the benefits of Moore's Law accrue, which is the continui...
123
click to vote
IROS
2006
IEEE
15 years 9 months ago
2006
IEEE
— Our long-term objective is to develop robots that engage in natural language-mediated cooperative tasks with humans. To support this goal, we are developing an amodal represent...
130
Voted
P2P
2006
IEEE
15 years 9 months ago
2006
IEEE
Peer-to-peer grids aim to build computational grids encompassing thousands of sites. To achieve this scale, such systems cannot rely on trust or off-line negotiations among partic...
160
Voted
ACMICEC
2006
ACM
15 years 9 months ago
2006
ACM
This paper formalizes the semantics of trust and studies the transitivity of trust. On the Web, people and software agents have to interact with “strangers”. This makes trust ...