4205 search results - page 59 / 841 » Typed Mobile Objects |
135
click to vote
JSAC
2006
15 years 1 months ago
2006
Network mobility introduces far more complexity than host mobility. Therefore, host mobility protocols such as Mobile IPv6 (MIPv6) need to be extended to support this new type of m...
127
click to vote
IJRR
2002
15 years 1 months ago
2002
A new parallel-type gripper mechanism is proposed in this work. This device has a parallelogramic platform that can be flexibly folded. Therefore, this mechanism not only can be u...
111
click to vote
OOPSLA
2001
Springer
15 years 6 months ago
2001
Springer
Preventing abusive resource consumption is indispensable for all kinds of systems that execute untrusted mobile code, such as mobile object systems, extensible web servers, and we...
116
click to vote
OOPSLA
2010
Springer
15 years 10 days ago
2010
Springer
We introduce a type system based on intervals, objects representing the time in which a block of code will execute. The type system can verify time-based properties such as when a...
104
click to vote
COORDINATION
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. Recently, there has been much interest in multi-party session types (MPSTs) as a means of rigorously specifying protocols for interaction among multiple distributed parti...