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.
In this paper we present an approach for the automatic generation of simulation workflow diagrams used for system verifications. By using this approach, the system engineer can specify the verification components at the system development phases. The workflow description is generated with an algorithm that converts the system level specifications to XDSM diagrams. These diagrams help in the communication...
It can be seen that the vision of the future networking is more focused on the things, media and services, rather than people. With the increasing importance of the Internet of Things, as well as the diversity of the objects, it is crucial to achieve the highest possible level of interoperability. This means that information exchanged needs to have the same format; in addition, data needs to be processed...
Apply Integrated Logistics Support (ILS) to weapon equipment can efficiently improve equipment's automation and digital level. ILS needs support of various integrated support systems, which have demands for data editing. Nowadays, most of data editing software used in these systems are customized and provide a form-based editing approach, which becomes an obstacle to carry out ILS. This paper brings...
Mathematical word problems can be broadly divided into two categories as numerical word problems and algebraic word problems. These can be further categorised according to the domain, such as interest calculation and mensuration. Although most of the popular Mathematics examinations contain word problems, there are slight differences in the syllabi. The existing research has produced solutions for...
Complex systems design requires a time-consuming verification process in support of the safety and maintenance requirements. In this paper, we describe an integrated verification flow of system requirements as well as system fault behaviors and fault-tolerant properties. The process converts XML-based architectural descriptions into SystemC simulation modules tied to predefined libraries. Flexible...
AWS Lambda (Amazon Web Services) is the most popular serverless architecture provided by Amazon. It currently supports three platforms: JavaScript, Python, and Java Virtual Machine (JVM). The JVM could be the most complicate platform among the three as there are many languages that target the JVM platform besides Java. In addition, the complex hierarchy of dependencies, versioning, and the class loader...
In the education field, most developed systems aim to provide an adapted learning process according to the user's needs. Intelligent tutoring systems (ITSs) are defined as instructional software that use artificial intelligence techniques with knowledge based on cognitive psychology and education to provide personalized learning process. To ensure this goal, the system should respond to the learner's...
Over the previous years, many service-oriented (SO) solutions have been proposed by European research projects for the technological advancement of industrial systems. These projects typically include a software reference architecture (RA) based on the concepts of service-oriented architectures (SOA) and, often-times, an accompanying technology stack to guarantee system-wide interoperability. In this...
All organizations big or small need to manage their data effectively, both the structured data stored in operational databases and the unstructured data that is spread out across documents. As the data size grows, it becomes essential to move the data to a warehouse so that data is available for adhoc queries and analysis. This data repository of both useful data and documents along with meta data...
The efficient development of parallel applications is challenging despite the availability of various tools and libraries that help specify communication and synchronization among other tasks. In order to hide the complexity of this type of programming, we propose a Graphical Development Environment for the construction of Parallel MPI Applications (GD-MPI). GD-MPI allows the implementation of workflows...
The improved computational capabilities and lowcost facilities of smart phones and tablets makes these devices candidates for enterprise application platforms. Business alignment of organizational and inter-organizational systems is a matter for service-oriented solutions. The most common implementation of SOA service is SOAP web service, which support accepted standards of composition, security,...
Medical Reports are amongst the most intensive and diverse processes in a Hospital Management Information System. In this paper, we propose an efficient and end-to-end framework for generating investigation test reports. The framework involves a novel template designer for result entry, an structured format for storing result entry template and data into XML suitable for lab reports and Electronic...
Particle systems are widely used to create visual effects with a large number of elements (or particles). Earlier works were CPU based, while recent developments use the GPU to take advantage of the fact that, in most cases, particles are independent entities. In here, we propose a GPU-based library that focuses on extensibility and ease of use. The library allows for virtually any particle logic...
XML has been evolved from being used for data representation to a structured document format. It has also grown in size from several bytes of small number of files to giga-or terabytes of size with millions of files. XML databases have been developed to efficiently store XML documents with XQuery as querying language from XML documents. However, they have difficulties in dealing with huge number of...
With time and space partitioned architectures becoming increasingly appealing to the European space sector, the dependability of separation kernel technology is a key factor to its applicability in European Space Agency projects. This paper explores the potential of the data type fault model, which injects faults through the Application Program Interface, in separation kernel robustness testing. This...
Policy-based concept and service-oriented design are two promising techniques in network management. In this paper we show that integrating policy-based management with service-oriented design can significantly improve the autonomic and flexible capabilities for management. In particular, we propose an architecture that covers policy modeling, specification and enforcement in a service-oriented manner...
Venn & Euler diagrams are well-defined mathematical diagram types, which are the major representation methods of Set Theory. Although understanding of different diagram types such as charts and coordinate graphs has been addressed, no research has been done for Venn and Euler diagram interpretation from an image. Venn and Euler Diagrams exist in various media types such as printed format in books,...
PubMed mining is currently at the epicenter of intense interdisciplinary research. Text mining methodologies provide a way to retrieve and analyze emotionally charged words, punctuation, and syntax. Moreover, they can analyze scientific literature and process document collections. Moving beyond traditional document-term matrix representation, an architecture for content based retrieval from PubMed...
In this paper, optimum soft-output (SO) multiple-input multiple-output (MIMO) sphere detectors (SDs) are studied. Noting that ordering the channel matrix columns plays an important role in reducing the tree-search complexity of a SD, we propose an optimized layer-ordering scheme based on the minimum cumulative residual criterion. The proposed scheme is studied in the context of a 4 × 4 MIMO system,...
Web applications have grown very unexpectedly in these recent years but due to difference between web applications and software applications, their development methodologies differ in many ways. The distinction between these two different types of applications acquire for introduction of development methodologies dedicated to web applications. The thesis work represents various development approaches...
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.