Design of universal personal computing using SDL
نویسندگان
چکیده
منابع مشابه
Design of universal personal computing using SDL
Universal Personal Computing (UPC) is a novel concept to support nomadic computing on the Internet. UPC enables mobile users to access their personalized computing environment anywhere on the Internet using any available terminals. The system is modeled as distributed objects using CORBA to facilitate their distribution, interfacing, and integration. We have chosen SDL for our system design. Th...
متن کاملSDL specification and verification of universal personal computing: with Object GEODE
Support of nomadic computing on the Internet requires the design of new protocols handling issues of user mobility. Our efforts target the universal personal computing (UPC) system to provide a continuous personal computing environment for mobile users. We selected SDL as a specification language for this new service, which allowed us to use Verilog’s SDL tool: ObjectGEODE, for design verificat...
متن کاملCORBA Based Design and Implementation of Universal Personal Computing
Universal personal computing (UPC) supports nomadic computing at user mobility and at terminal mobility levels in a userfriendly way. That is, a user can access computing resources anywhere on the Internet, using any available mobile or stationary terminal attached to any subnet supporting UPC services. These services are provided via agents and enable a personalized computing environment that ...
متن کاملProtocol Architecture for Universal Personal Computing
This paper presents a new paradigm for network computing over the Internet called universal personal computing, where mobile users can access computing resources, network services, and personalized computing environments anywhere using any available terminals. The user and system requirements are defined, and an agent-based protocol architectural required to manage different mobile objects, i.e...
متن کاملUsing SDL for Prototyping Low Rate Wireless Personal Area Networks
This paper describes the use of the specification and description language (SDL) as a prototyping tool for a developing low rate wireless personal area network protocol. A simplification of the guidelines for protocol formalization using SDL is used to create a behavioral model. This behavior model is then hand-tested for protocol behavior using software tools that permit simulation of the SDL ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computer Communications
سال: 2000
ISSN: 0140-3664
DOI: 10.1016/s0140-3664(99)00241-8