3394 search results - page 64 / 679 » Regular Object Types |
175
click to vote
PCM
2007
Springer
16 years 3 days 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 ...
172
click to vote
IJRR
2002
15 years 5 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...
149
click to vote
DSS
2008
15 years 6 months 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...
170
click to vote
OOPSLA
2010
Springer
15 years 4 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...
159
click to vote
COORDINATION
2010
Springer
15 years 4 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...