Complex service-oriented networked applications can be built in a flexible way by appropriate composition of individual services. Services are self-contained pieces of functionality that reside in remote nodes in the ...
详细信息
The Internet of Vehicles (IoVs) is widely used to obtain information about vehicles and road conditions, which is transmitted in public channels. Hence, the most important requirement is the data security, which needs...
详细信息
Enterprise Service Bus (ESB) is an SOA-based software architecture for business application integration in distributed and heterogeneous environments. The proposed solutions so commercial as open source offer the same...
详细信息
Enterprise Service Bus (ESB) is an SOA-based software architecture for business application integration in distributed and heterogeneous environments. The proposed solutions so commercial as open source offer the same set of basic services such as message transformation, message routing, security. However, none of them take advantage of the multicore/multiprocessor technologies which make plausible the massively parallel processing. In this paper, we describe a new ESB architecture denoted Massively parallel Application Bus (MPAB) which meets this challenge.
We present a new coordination model and a small set of programming notations for distributed programming that can be integrated into very different programming languages (imperative, declarative or object oriented). B...
详细信息
We present a new coordination model and a small set of programming notations for distributed programming that can be integrated into very different programming languages (imperative, declarative or object oriented). Both together, allow distributed programs to be developed in a compositional way, by assembling different independent pieces of (possibly preexisting and heterogeneous) code. This approach is in the spirit of many other similar proposals, such as Linda, supporting multiparadigm and multilingual integration. In addition, the Tuple Channel coordination model provides a powerful set of concurrent programming techniques, inherited from concurrent logic languages (CLLs), but trying to overcome the efficiency drawbacks of logic variables in distributed implementations of CLLs. We introduce this coordination model, giving some illustrative examples to show its suitability and expressiveness; some implementation issues are also commented on.
Recent trend in high-performance computing focuses on networks of workstations (NOWs) as a way of realizing cost-effective parallel machines. This has been due to the availability of powerful wide-issue processors, hi...
详细信息
The proceedings contain 61 papers. The special focus in this conference is on Leveraging Applications of Formal Methods, Verification and Validation. The topics include: Architecture based specification and verificati...
ISBN:
(纸本)3540884785
The proceedings contain 61 papers. The special focus in this conference is on Leveraging Applications of Formal Methods, Verification and Validation. The topics include: Architecture based specification and verification of embedded softwaresystems;information system engineering supporting observation, orientation, decision, and compliant action;modelling coordination and compensation;animating event B models by formal data models;automated formal testing of C API using T2C framework;tailoring and optimising software for automotive multicore system;timing validation of automotive software;towards using reo for compliance-aware business process modeling;a use-case driven approach to formal service-oriented modelling;safety and response-time analysis of an automotive accident assistance service;a framework for analyzing and testing the performance of software services;assuring the satisfiability of sequential extended regular expressions;computing must and may alias to detect null pointer dereference;program verification by reduction to semi-algebraic systems solving;debugging statecharts via model-code traceability;formal use of design patterns and refactoring;a component-based access control monitor;navigating the requirements jungle;non-functional avionics requirements;measurement-based timing analysis;weaving a formal methods education with problem-based learning;encouraging the uptake of formal methods training in an industrial context;computer-supported collaborative learning with mind-maps;thinking in user-centric models;specialization and instantiation aspects of a standard process for developing educational modules;contexts and context awareness in view of the diagram predicate framework;the use of adaptive semantic hypermedia for ubiquitous collaboration systems;the use of formal ontology to specify context in ubiquitous computing;high service availability in MaTRICS for the OCS;the ASK system and the challenge of distributed knowledge discovery;requirements
To augment the information retrieval process, a model is proposed to facilitate simple contextual indexing for a large scale of standard text corpora. An Edge Index Graph model is presented, which clusters documents b...
详细信息
ISBN:
(纸本)9780889867307
To augment the information retrieval process, a model is proposed to facilitate simple contextual indexing for a large scale of standard text corpora. An Edge Index Graph model is presented, which clusters documents based on a root index and an edge index created. Intelligent information retrieval is possible with the projected system where the process of querying provides proactive help to users through a knowledge base. The query is provided with automatic phrase completion and word suggestions. A thesaurus is used to provide meaningful search of the query. This model can be utilized for document retrieval, clustering, and phrase browsing.
Workflow enactment systems are becoming an effective solution to ease programming, deployment and execution of distributed applications in several domains such as telecommunication, manufacturing, e-business, e-govern...
详细信息
ISBN:
(纸本)9781424400546
Workflow enactment systems are becoming an effective solution to ease programming, deployment and execution of distributed applications in several domains such as telecommunication, manufacturing, e-business, e-government and grid computing. In some of these fields, efficiency and traffic optimization represent key aspects for a wide diffusion of workflow engines and modeling tools. This paper focuses on a technique that enables fine-grained concurrency in compute and data-intensive workflows and reduces the traffic on the network by limiting the number of interactions to the ones strictly needed to bring the data where they are really necessary for continuing the flow of computations. We implemented this technique by using the concepts of wait by necessity and automatic continuation and we integrated it in a flexible, Java workflow engine that through the new mechanisms is able to navigate a workflow anticipating the enactment of sequential activities
The UXP/V HPF compiler, that has been developed for the VPP series vector-parallel supercomputers, extracts the highest performance from the hardware. However, it is getting difficult for developers to concentrate on ...
详细信息
NASA's Information Power Grid (IPG) is an infrastructure designed to harness the power of geographically distributed computers, databases and human expertise, in order to solve large-scale realistic computational ...
详细信息
ISBN:
(纸本)0769509908
NASA's Information Power Grid (IPG) is an infrastructure designed to harness the power of geographically distributed computers, databases and human expertise, in order to solve large-scale realistic computational problems. This type of a metacomputing environment is necessary to present a unified virtual machine to application developers that hides the intricacies of a highly heterogeneous environment and yet maintains adequate security. In this paper, we present a novel partitioning scheme, called MinEX, that dynamically balances processor workloads while minimizing data movement and runtime communication, for applications that are executed in a paralleldistributed fashion on the IPG. Experimental results show that MinEX is an effective load balancer in a distributed IPG environment.
暂无评论