5409 search results - page 949 / 1082 » Basic Observables for Processes |
171
click to vote
SOFSEM
2007
Springer
16 years 9 days 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...
177
click to vote
ETS
2006
IEEE
16 years 7 days 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...
154
click to vote
IROS
2006
IEEE
16 years 6 days 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...
171
click to vote
P2P
2006
IEEE
16 years 6 days 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...
198
click to vote
ACMICEC
2006
ACM
16 years 5 days 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 ...