Search Sciweavers | Sciweavers

963 search results - page 34 / 193

» Types for Mobile Ambients

click to vote

ICALP
2004
Springer

136views Programming Languages» more ICALP 2004»

Towards an Algebraic Theory of Typed Mobile Processes

14 years 2 months ago

Download www.it.uu.se

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...

Yuxin Deng, Davide Sangiorgi

claim paper

Read More »

click to vote

ENGL
2006

110views more ENGL 2006»

Intelligent Control of an Autonomous Mobile Robot using Type-2 Fuzzy Logic

13 years 8 months ago

Download ww1.ucmss.com

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 ...

Leslie Astudillo, Oscar Castillo, Patricia Melin, ...

claim paper

Read More »

click to vote

PCM
2007
Springer

112views Multimedia» more PCM 2007»

Efficient Segment Based Streaming Media Transcoding Proxy for Various Types of Mobile Devices

14 years 2 months ago

Download asadal.cs.pusan.ac.kr

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 ...

Yoohyun Park, Yong-Ju Lee, Hag-Young Kim, Kyongsok...

claim paper

Read More »

click to vote

ESOP
2005
Springer

117views Programming Languages» more ESOP 2005»

Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close

14 years 2 months ago

Download henning.makholm.net

Henning Makholm, J. B. Wells

claim paper

Read More »