Universal personal computing (UPC) supports nomadic computing on the Internet by allowing mobile users to access their personalized computing resources anywhere on the Internet using any available terminal. Since UPC must deal with heterogeneous systems in a mobile environment, independence of computing platforms and support of portable objects are imperative, which leads to the choice of Java. The system is modeled as distributed objects with CORBA as the common bus that facilitates distribution, interfacing, and integration of the objects. The combination of Java and CORBA constitutes an ideal environment for UPC. © 1998 John Wiley & Sons, Ltd.
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 SOL as a specification language for this new service, which allowed us to use Verilog's SOL tool: ObjectGEOOE, for design verification. In the paper, we discuss the main principles of UPC, and how the simulator and verifier of ObjectGEOOE were used during the stepwise system design. We illustrate the types of errors detected by the verifier, and show that the consistent application of the SOL methodology and the tool has increased our confidence in the correctness of our specification. The specification is the basis of our further work on UPC prototyping.
Absfruct -The basic responsibility of the electric utility industry is to supply reliable, efficient and economical electric service to the customer. However, meeting these responsibilities has become increasingly complex because of the new techad , economical, environmental, political, and social consideration. The effect of these considerationdconstraints increased the uncertainty in the planning process and raised operating and capital costs. Therefore, utilities have sought means to control the rate of peak load, improve the efficiency I utilization of present electric energy systems and to reduce requirements for additional generation, transmission, and distribution investments. These methods form the set of functions known as load management. h this paper, application of the residential load management program of Florida Power and Light (FPL) is discussed. The load management program in south Florida is evaluated from both, the utility and customer's perspectives. This includes establishment residential load management program, utility cost and benefits of the program, customer acceptance, and system configuration.
Communication systems are composite systems which can conduct simultaneous communications with their environment. Such systems may require multiparty testing to determine their conformity.To develop an appropriate test suite, one should establish the required test method first. To decide whether multiparty testing is necessary, that is, whether the system truly accepts simultaneous signals from the environment, we describe the interconnection of system interfaces with internal buffers by a matrix, assuming the system structure and the way of communication of SDL. From this matrix we try to select independent signals, which can be accepted simultaneously by the system. The criterion of signal independence is that signals should be offered to different buffers. From sets of independent signals we generate composite inputs. We suggest to use these composite signals as selection criteria to develop the set of test purposes and apply them to generate a test suite. Accordingly we suggest a modification to the strong reasonable environment technique, most often used to generate test suites. We demonstrate the method on the foreign agent part of the IP Mobility Support.
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 Common Object Request Broker Architecture (CORBA) to facilitate their distribution, interfacing, and integration. We have chosen the Specification and Description Language (SDL) for our system design. Through several iterations, we refine the specification and verify the correctness of the design. The final version serves as the basis for system implementation. The SDL specification allows a direct derivation of object interface description in Interface Definition Language (IDL). Finally some implementation issues are discussed. ᭧
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.