963 search results - page 34 / 193 » Types for Mobile Ambients |
136
click to vote
ICALP
2004
Springer
15 years 9 months ago
2004
Springer
The impact of types on the algebraic theory of the π-calculus is studied. The type system has capability types. They allow one to distinguish between the ability to read from a c...
124
Voted
ENGL
2006
15 years 3 months ago
2006
We develop a tracking controller for the dynamic model of unicycle mobile robot by integrating a kinematic controller and a torque controller based on Fuzzy Logic Theory. Computer ...
140
click to vote
PCM
2007
Springer
15 years 10 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 ...
100
Voted
ESOP
2005
Springer
15 years 9 months ago
2005
Springer
LOPSTR
2004
Springer
15 years 9 months ago
2004
Springer
