3394 search results - page 64 / 679 » Regular Object Types |
108
click to vote
PCM
2007
Springer
15 years 6 months ago
2007
Springer
Streaming media has contributed to a significant amount of today’s Internet Traffic. One solution of to solve this problems is using streaming proxy. There are two categories in ...
118
Voted
IJRR
2002
15 years 8 days 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...
97
Voted
DSS
2008
15 years 20 days ago
2008
When solving clinical decision-making problems with modern graphical decision-theoretic models such as influence diagrams, we obtain decision tables with optimal decision alternat...
99
Voted
OOPSLA
2010
Springer
14 years 11 months 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...
COORDINATION
2010
Springer
14 years 10 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...