A Health Care Establishment (HCE) is an establishment where medical services are rendered. The above services are provided by the health care personnel. The infrastructure of a HCE may include Information Technology (...
详细信息
distributed multimedia information systems (DMIS) are concerned with multimedia information processing, multimedia information models, and multimedia information delivery in distributed computing environments. Today t...
详细信息
Authentication is a key requirement in the establishment of secure interactions between network entities. Several authentication and key establishment protocols have been proposed in recent years. Most of these protoc...
详细信息
作者：
Benz, HDepartment of Computer Science
Institute of Parallel and Distributed High Performance Systems University of Stuttgart Breitwiesenstr. 20-22 Stuttgart D-70565 Germany
Most of today's business requirements can only be accomplished through integration of various autonomous systems which were initially designed to serve the needs of particular applications. In the literature workf...
详细信息
ISBN:
(纸本)9783540617846
Most of today's business requirements can only be accomplished through integration of various autonomous systems which were initially designed to serve the needs of particular applications. In the literature workfiows are proposed to design these kinds of applications. The key tool for designing such applications is a powerful conceptual specification language. Such a language should be capable of capturing interactions and cooperation between component tasks of workflows among others. These include sequential execution, iteration, choice, parallelism and synchronisation. The central focus of this paper is the verification of such process control aspects in conceptual workflow specifications. As it is generally agreed upon that the later in the software development process an error is detected, the more it will cost to correct it, it is of vital importance to detect errors as early as possible in the systems development process. In this paper some typical verification problems in worldlow specifications are identified and their complexity is addressed. It will be proven that some fundamental problems are not tractable and we will show what restriction is needed to allow termination problems to be recognized in polynomial time.
Object-oriented development is a structuring paradigm. It does not provide substantial support for the specification of ‘end to end’ control and data flow. This has implications for hard real-time system development...
详细信息
Traditional configurable operating systems typically provide a fixed and limited set of functionality. We propose a metalevel architecture, where application-defined objects can choose from a rich selection of possibl...
详细信息
Traditional configurable operating systems typically provide a fixed and limited set of functionality. We propose a metalevel architecture, where application-defined objects can choose from a rich selection of possible configurations and are therefore able to dynamically change the way in which they are executed to the configuration that suits best. This allows applications to adapt operating system behaviour to even unanticipated requirements during run-time. A distributed application which processes multimedia data serves as an example to illustrate the concepts described.
The practical contribution of this research is to remove the UI behavioural conflicts existing in a compound software environment. From the user point of view, editing text in a spreadsheet cell should not be any diff...
详细信息
The practical contribution of this research is to remove the UI behavioural conflicts existing in a compound software environment. From the user point of view, editing text in a spreadsheet cell should not be any different from editing text in a text editor or any other integrated software package. However this is not always the case since different UI applications may inherit different UI techniques and behaviours. In this paper, an extended object-oriented model and Documentary Petri Net (DPN) are used to model an 'adaptable user interface' system. In doing so, rule-bases can be added to the DPN model allowing automatic reasoning about the user interface behaviours. Furthermore, formal properties of UI behaviours such as 'liveness' and 'boundedness' can be analyzed by using algorithms based on the formal properties of Petri Nets.
This paper proposes a graphical UI, a CASE tool, for the purpose of specifying and representing trade information, common in electronic commerce. The semantic and structural information associated with trade instances...
详细信息
This paper proposes a graphical UI, a CASE tool, for the purpose of specifying and representing trade information, common in electronic commerce. The semantic and structural information associated with trade instances can be extremely complex. Far example, the formal property of Petri nets can be used to represent the different traders' roles or to identify the various trade procedures that will lead to deadlock situations. A simple and intuitive graphical user interface that can represent and characterize the organization of the trade documents is therefore considered useful in facilitating electronic commerce.
作者：
Chris McDonaldProgramming
Languages and Systems Group Department of Computer Science The University of Western Australia Crawley Western Australia
One of the greatest benefits provided by computer networks, in particular local area networks, is the ability to access files served by other computers in a network. Whereas file system concepts are first introduced i...
ISBN:
(纸本)9780897917575
One of the greatest benefits provided by computer networks, in particular local area networks, is the ability to access files served by other computers in a network. Whereas file system concepts are first introduced in Operating systems units, many file system concepts need to be readdressed and generalized in later computer Networks units. Moreover, as students become increasingly familiar with internetworking and programs such as ftp, many of the strong links between the Operating systems and computer Networks units may be reinforced. This paper discusses the successes experienced with two strongly related projects offered in our third year computer Networks unit. Each project requires students to support a minimal distributed file system by implementing user-level libraries which redefine a handful of operating system system calls supporting remote file access.
暂无评论