Sciweavers

9702 search results - page 158 / 1941
» Communicating Mobile Processes
Sort
View
TCS
2008
15 years 4 months ago
Security types for dynamic web data
We describe a type system for the Xd calculus of Gardner and Maffeis. An Xd-network is a network of locations, where each location consists of both a data tree (which contains scr...
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, J...
ICIP
1994
IEEE
16 years 6 months ago
Adaptive Video Coding for Mobile Wireless Networks
Benjamin Belzer, Judy Liao, John D. Villasenor
VL
2000
IEEE
158views Visual Languages» more  VL 2000»
15 years 9 months ago
A Common Framework for Input, Processing, and Output in a Rule-Based Visual Language
Isaac is a programing language for geometric reasoning intended for controlling mobile robots, currently under development at NMSU. Due to the application area, handling input and...
Joseph J. Pfeiffer Jr., Rick L. Vinyard Jr., Berna...
AUTONOMICS
2007
ACM
15 years 8 months ago
Resource disconnection management in MANET driven by process time plan
Massimiliano de Leoni, Fabio De Rosa, Schahram Dus...