Service Space Portability Validation Modeling the Vehicular Context

نویسنده

  • Mihaly Börzsei
چکیده

Devices in our proximity getting sophisticated and they provide more and more services to their user and surroundings. Interconnecting solutions between devices and services being developed constantly to address the interoperability in a multi vendor ecosystem. This paper describes the set of service interconnect approaches and present study to validate of their portability. A prototype implementation of a music player service on an internet tablet controlled by an input service represented by a driving wheel and a mobile phone was created to evaluate the different architectural design portability.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Modeling for vehicular pollution in urban region; A review

Air pollution is one of the major threats to environment in the present time. Increase in degree of urbanization is a major cause of this air pollution. Due to urbanization, vehicular activities are continuously increasing at a tremendous rate. Mobile or vehicular pollution is predominantly degrading the air quality worldwide. Thus, air quality management is necessary for dealing with this seve...

متن کامل

Modeling for vehicular pollution in urban region; A review

Air pollution is one of the major threats to environment in the present time. Increase in degree of urbanization is a major cause of this air pollution. Due to urbanization, vehicular activities are continuously increasing at a tremendous rate. Mobile or vehicular pollution is predominantly degrading the air quality worldwide. Thus, air quality management is necessary for dealing with this seve...

متن کامل

Syntactic approach to electric mobility in metropolitian areas: NE 1 district core, segment map

Capturing vehicular travel behavior is one of the most popular models that deal with relevant aspects of urban regions and communities. Since 1960s, it has been matured and evolved to cover all aspects of travel demand applications. Different theories are employed to predict the movement of trip makers’ likewise metric method and the estimation of origin-destination matrixes, intervening opport...

متن کامل

SYNTACTIC APPROACH TO ELECTRIC MOBILITY IN METROPOLITAN AREAS: NE 1 district core, segment map

Capturing vehicular travel behavior is one of the most popular models that deal with relevant aspects of urban regions and communities. Since 1960s, it has been matured and evolved to cover all aspects of travel demand applications. Different theories are employed to predict the movement of trip makers’ likewise metric method and the estimation of origin-destination matrixes, intervening opport...

متن کامل

Verification of Non - Functional Requirements by Abstract Interpretation

This chapter investigates a formal approach to the verification of non-functional software requirements that are crucial in Service-oriented Systems, like portability, time and space efficiency, and dependability/robustness. The key-idea is the notion of observable, i.e., an abstraction of the concrete semantics when focusing on a behavioral property of interest. By applying an abstract interpr...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010