The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
This paper presents a hierarchical framework to perform a coordinated tracking in three-dimensional formation maneuvers using guidance and control regulator. To accomplish the coordinated maneuvers of multiple UAVs, some levels of hierarchy from mission planning to accurate guidance law is required. It addressed a distributed and online pure pursuit law as a reference plant coupled with control parameters...
This paper presents a novel approach to address the problem of automatic detection of the software that is pirated. Software piracy, which is the unauthorized reconstruction and distribution of licensed and copyrighted software, imposes high economical and commercial losses annually and is also considered as a drastic threat to the security of software systems. To overcome these issues, we mine the...
This review paper deals with tensor products of algebras over a field. Let k be a field and A, B be commutative k-algebras. We consider the following question: “Which properties of A and B are conveyed to the k-algebra A⊗kB?”. This field is still developing and many contexts are yet to be explored. We will restrict the scope of the present survey, mainly, to special...
Since the Small and Medium Business (SMB) markets is growing, service-oriented architecture will play a crucial role in the SMB IT market. In this market the ability for better integration, increased flexibility, and cost reduction in development by reuse of existing services must be considered. Because of the service oriented architecture's dynamic nature, increment the number of clients and high...
Chord is a popular structured peer-to-peer protocol. In this protocol a hash function is used to identify Nodes ID and data Keys. Therefore, it is possible that different nodes have the same ID; examining the features of this protocol under the condition in which different nodes may have the same ID is important. In this paper, using Alloy, we formally examine two features of Pure-Join model of Chord...
Cloud computing is a new technology which is proffering IT services based on pay-as-you-go model to consumers from everywhere in the world. The growing demand of Cloud infrastructure and modern computational requests like business, scientific and web applications result in large-scale data centers and lead to extra electrical energy consumption. High energy consumption causes high operational cost...
Nowadays, service oriented architecture provides a scalable framework for service composition. Today's systems are tending to be large scaled, such as cloud workflows; in such systems, service composition algorithms play a critical role in composing multi-provider services by considering user desirable quality of services so as to fulfill business workflows. In this paper, we propose a greedy approach...
With impressive progress of cloud computing and its influence on many aspects of utility computing, many of companies and enterprises are tending to this new product of information technology; some of these companies are interested in consuming cloud services and others tend to provide cloud services. The most common thing for these two major classes of users is service level agreements (SLAs) which...
High cohesion as a desirable principle in software design has an incredible impact on software reuse, maintenance and support. In service-oriented architecture (SOA), the focus of services on single business functionality is defined as conceptual cohesion. Current metrics for measuring service cohesion reflect mostly the structural aspect of cohesion and therefore cannot be utilized to measure conceptual...
Low coupling is a service-oriented design and development principle that should be taken into account during all stages. Having loosely coupled services not only increases service reusability, but also prevents the propagation of changes to other services and thus simplifies maintenance of service-oriented systems as well. In this paper, we focus on measuring conceptual coupling as an indicator of...
Modularity is one of the prominent principles in designing services which must be adhered during service design. Services can be simply defined as modular units which concentrate on a single business functionality. Focusing on a single business functionality, modular services can be easily reused in various contexts and also can be composed to satisfy new requirements. On the other hand, modularity...
Today enterprises are facing rapid and radical changes in business environments, making business agility a crucial step toward gaining competitive advantages over rivals. Service-oriented architectures (SOA) are touted as the key to business agility. However to deliver business agility with SOA effectively, business services should be designed according to SOA principles that affect business agility,...
Object-Z is an extension of Z which facilitates specification of large, complex software by defining a system as a collection of independent classes. A number of contributions have been made so far to map Object-Z to various object-oriented languages. However, the given mapping rules do not cover some Object-Z specification constructs, such as class union, object aggregation, object containment and...
Software systems development nowadays has moved towards dynamic composition of services that run on distributed infrastructures aligned with continuous changes in the system requirements. Consequently, software developers need to tailor project specific methodologies to fit their methodology requirements. Process patterns present a suitable solution by providing reusable method chunks of software...
It is now widely accepted that programming concurrent software is a complex, error-prone task. Therefore, there is a big interest in the specification, verification and development of concurrent programs using formal methods. In our work-in-progress project, we are attempting to make a constructive framework for developing concurrent programs formally. In this paper, we first demonstrate how one can...
Probabilistic techniques in computer programs are becoming more and more widely used. Therefore, there is a big interest in the formal specification, verification, and development of probabilistic programs. On the other hand, Martin-Löf's theory of types is an appropriate notation for formal program development since it allows us to express both specifications and programs within the same formalism...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.