Model checking is a promising and powerful approach to automatic verification of systems. To deal withthe model checking issue of multirate hybrid systems, a constraint system called multirate zone is formalized for ...
详细信息
the proceedings contains 32 papers. Topics discussed include algorithms for parallelization, distributed computersystems and networking, software tools and environments, parallel finite and boundary elements, applica...
详细信息
the proceedings contains 32 papers. Topics discussed include algorithms for parallelization, distributed computersystems and networking, software tools and environments, parallel finite and boundary elements, applications in fluid flour and applications in applied science.
Advances in computersystems lead to the pervasiveness of computersystems in our surrounding (e.g., open spaces, malls). those computers are often equipped with big screens and various input devices (e.g., keyboards,...
详细信息
ISBN:
(纸本)9781538672594
Advances in computersystems lead to the pervasiveness of computersystems in our surrounding (e.g., open spaces, malls). those computers are often equipped with big screens and various input devices (e.g., keyboards, joystics, mouses, touchscreens) to interact with. though smartphone has been ubiquitous and equipped with various input means and sensors, it is quite rare to use them to interact with a big screen. In this paper, we explore a design space of touch geastures in a smartphone for users interacting with a big screen via their smartphones. We conduct various experiments various geatures and studies how a finger interacts withthe smartphone's touchscreen and maps it to a big screen interaction. those geasutres are tap, double tap, drag, flick, spread, pinch and rotate. To validate our interaction design, we conduct users' experiments interacting with a big screen using an object with various size. those results, then compare with a mouse withthe same interaction. though, experiment results show our interaction design worse than the ones with mouse. It shows promising results to be further developed so that bring your own device interaction in a public place with a big screen can become a user-friendly reality.
Emerging software Defined Network (SDN) can improve many parameters such as programmability, manageability, scalability, reliability and agility in nowadays networks, Internet and also part of infrastructure Cloud sys...
详细信息
ISBN:
(纸本)9781467392808
Emerging software Defined Network (SDN) can improve many parameters such as programmability, manageability, scalability, reliability and agility in nowadays networks, Internet and also part of infrastructure Cloud systems and datacenters. In this paper, SDN technology on OpenStack platform and XenServer hypervisor has been implemented using OpenStack architecture without network node. Consequently, without using network node in OpenStack implementation is released its consumed resources. therefore, due to network scalability a lot of resources are released using this approach. Moreover, in this work a module is proposed to manage network traffic and quality of service (QoS) optimization. this module checks servers' traffic status and determines high traffic servers which can specify high traffic virtual machines (VMs) located on busy servers. High traffic VMs are limited or migrated to another server that is not busy. Limiting VM's bandwidth is proposed in this work and VM's migration will be presented in future work.
We define a translation from Condition/Event nets to the Circal process algebra. Such a translation exploits the Circal feature of allowing the simultaneous occurrence of distinct actions. this permits us to give Cond...
详细信息
ISBN:
(纸本)3540433538
We define a translation from Condition/Event nets to the Circal process algebra. Such a translation exploits the Circal feature of allowing the simultaneous occurrence of distinct actions. this permits us to give Condition/Event nets a semantics based on true concurrency, in addition to the interleaving-based semantics. In this way the true concurrency aspects of Condition/Event nets are preserved in the process algebra representation and can be analysed using the verification facilities provided by the Circal System. systems modelled partly using Condition/Event nets partly using the Circal process algebra can also be analysed within the same verification environment.
In this paper, one method for the process of CAE software development is proposed. In order to develop CAE software efficiently and quickly 3 concepts are built, engineering Application Framework, Plug-in Toolkit and ...
详细信息
ISBN:
(纸本)0791847438
In this paper, one method for the process of CAE software development is proposed. In order to develop CAE software efficiently and quickly 3 concepts are built, engineering Application Framework, Plug-in Toolkit and Integration Platform. these concepts are based on object-oriented idea and include CAE characteristics. engineering Application Framework is for the basic foundation of CAE software. Plug-in toolkit is for the fast and easy extension of CAE software. And integration platform will solve the problem of control and managing according to the various extensions. the theory and operating process of each concept is investigated.
We propose a model driven approach for web services composition, a way allowing specifying web services and their composition at a high level of abstraction and generating the implementation of such composition. Web s...
详细信息
the development of complex softwaresystems is driven by many diverse and sometimes contradictory requirements such as correctness and maintainability of resulting products, development costs, and time-to-market. To a...
详细信息
the development of complex softwaresystems is driven by many diverse and sometimes contradictory requirements such as correctness and maintainability of resulting products, development costs, and time-to-market. To alleviate these difficulties, we propose a development method for distributed systemsthat integrates different basic approaches. First, it combines the use of the formal description technique SDL withsoftware reuse concepts. this results in the definition of a use-case driven, incremental development method with SDL-patterns as the main reusable artifacts. Experience withthis approach has shown that there are several other factors of influence, such as the quality of reuse artifacts or the experience of the development team. therefore, we further combined our SDL-pattern approach with an improvement methodology known from the area of experimental softwareengineering. In order to demonstrate the validity of this integrating approach, we sketch some representative outcomings of a case study.
the computer-based interlocking system is a control system to ensure driving safety, withthe safety level of STL4, which is a typical safety-critical system. In order to ensure driving safety, before the computer-bas...
详细信息
暂无评论