6279 search results - page 1200 / 1256 » Objects as session-typed processes |
169
Voted
SOFSEM
2007
Springer
16 years 8 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...
183
click to vote
ESCIENCE
2006
IEEE
16 years 6 days ago
2006
IEEE
A goal of the Geosciences Network (GEON) is to develop cyber-infrastructure that will allow earth scientists to discover access, integrate and disseminate knowledge in distributed...
161
Voted
IPPS
2006
IEEE
16 years 5 days ago
2006
IEEE
DHT networks based on consistent hashing functions have an inherent load uneven distribution problem. The objective of DHT load balancing is to balance the workload of the network...
147
click to vote
IPPS
2006
IEEE
16 years 5 days ago
2006
IEEE
Response time is a key factor of any e-Commerce application, and a set of solutions have been proposed to provide low response time despite network congestions or failures. Being ...
153
click to vote
IROS
2006
IEEE
16 years 5 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...