the Java JDK 1.2 Security Architecture includes a dynamic mechanism for enforcing accesscontrol checks, so-called stack inspection. this paper studies type systems which can statically guarantee the success of these ...
详细信息
ISBN:
(数字)9783540453093
ISBN:
(纸本)3540418628
the Java JDK 1.2 Security Architecture includes a dynamic mechanism for enforcing accesscontrol checks, so-called stack inspection. this paper studies type systems which can statically guarantee the success of these checks. We develop these systems using a new, systematic methodology: we show that the security-passing style translation, proposed by Wallach and Felten as a dynamic implementation technique, also gives rise to static security-aware type. systems, by composition with conventional type systems. To define the latter, we use the general HM(X) framework, and easily construct several constraint- and unification-based type systems. they offer significant improvements on a previous type system for JDK accesscontrol, both in terms of expressiveness and in terms of readability of inferred type specifications.
the growth of the Internet and the advent of the computational "Grid" have made it possible to develop and deploy advanced computational collaboratories. these systems build on high-end computational resourc...
详细信息
the growth of the Internet and the advent of the computational "Grid" have made it possible to develop and deploy advanced computational collaboratories. these systems build on high-end computational resources and communication technologies underlying the Grid, and provide seamless and collaborative access to particular resources, services or applications. Integrating these "focused" collaboratories presents significant challenges. Key among these is the design and development of robust middleware support that addresses scalability, service discovery, security and accesscontrol, and interaction and collaboration management for consistent access. the authors first investigate the architecture of such a middleware that enables global (Web-based) access to collaboratories. they then present the design and implementation of a middleware substrate that enables a peer-to-peer integration of and global (collaborative) access to geographically distributed instances of the DISCOVER computational collaboratory for interaction and steering.
this paper shows the shortcomings of the current, generic notation for fault models and extends it to allow the description of fault models for DRAMs. the advantage is that the extended fault models can easily be tran...
详细信息
ISBN:
(纸本)0769513786
this paper shows the shortcomings of the current, generic notation for fault models and extends it to allow the description of fault models for DRAMs. the advantage is that the extended fault models can easily be translated into operation sequences and tests that detect the described fault. Examples are given to show that the new notation results in optimized, memory specific, tests that have a shorter run time for a given fault coverage.
Abstract: the growth of the Internet and the advent of the computational "Grid" have made it possible to develop and deploy advanced computational collaboratories . these systems build on high-end computatio...
Abstract: the growth of the Internet and the advent of the computational "Grid" have made it possible to develop and deploy advanced computational collaboratories . these systems build on high-end computational resources and communication technologies underlying the Grid, and provide seamless and collaborative access to particular resources, services or applications. Integrating these "focused" collaboratories presents significant challenges. Key among these is the design and development of robust middleware support that addresses scalability, service discovery, security and accesscontrol, and interaction and collaboration management for consistent access. In this paper we first investigate the architecture of such a middleware that enables global (web-based) access to collaboratories. We then present the design and implementation of a middleware substrate that enables a peer-to-peer integration of and global (collaborative) access to geographically distributed instances of the DISCOVER computational collaboratory for interaction and steering.
Within the third Generation Partnership Project (3GPP) [1] which was founded to harmonise the third generation technologies by different standardisation authorities [2], the UMTS Terrestrial Radio access (UTRA) [3][4]...
详细信息
ISBN:
(纸本)0780364635
Within the third Generation Partnership Project (3GPP) [1] which was founded to harmonise the third generation technologies by different standardisation authorities [2], the UMTS Terrestrial Radio access (UTRA) [3][4][5] was created to form a global standard. UTRA FDD is based on WCDMA [6][7][8], UTRA TDD [9][10][12][13] is based on TD-CDMA. Using the results of the physical layer harmonisation between both modes a set of specifications representing the Layer 2 and Layer 3 covering both TDD and FDD was created in 3GPP [3]. the Medium accesscontrol (MAC), the Radio Link control (RLC), the Broadcast/Multicast control (BMC) and the Packet Data Convergence Protocol (PDCP) belong to the Layer 2 of the UTRA Network, UTRAN. the Radio Resource control (RRC) represents the Layer 3 protocol which belongs to access Stratum. All these protocols are basically common for TDD and FDD. Based on an harmonised design FDD/TDD dual mode operation is facilitated, which provides a basis for the development of low cost terminals. Also, harmonisation of UTRA with GSM is ensured. the paper provides an overview of UTRA TDD operation in Layer 2 and Layer 3. It describes the protocol architecture, and shows some specific solutions for resource assignments during packet transmission in TDD.
this paper examines the related issues of capacity, coverage and power control in a multi-cell WCDMA network. the network capacity in this case is based on required link quality thresholds. If all users achieve the re...
详细信息
ISBN:
(纸本)0780364635
this paper examines the related issues of capacity, coverage and power control in a multi-cell WCDMA network. the network capacity in this case is based on required link quality thresholds. If all users achieve the required link SIR targets for a given percentage of all power control time slots, the network is deemed not to have exceeded its capacity. When this is 50%, the analysis reverts to the conventional mean SIR target performance. For network operators however a substantially higher link quality requirement is likely. In this case, 95% is considered. this means all users must achieve a SIR of greater than or equal to the target value for 95% of the time. the analysis is based on extended models used for IS-95 systems which relies on Gaussian assumptions of interference. this approach gives an insight into the effects of varying traffic types, different allowances for SIR targets and mixed traffic. this paper presents analysis which allows the mimum required power control to be determined based on network load and traffic mix. It also presents analysis which allows the impact of mobile by mobile power control to be examined.
this paper evaluates the effect of angle spread on system capacity for DS/CDMA system using;a delay profile measurement based adaptive array antenna combined with beam pattern selection diversity and carrier-to-interf...
详细信息
ISBN:
(纸本)0780364635
this paper evaluates the effect of angle spread on system capacity for DS/CDMA system using;a delay profile measurement based adaptive array antenna combined with beam pattern selection diversity and carrier-to-interference plus noise (CINR) based transmit power control (TPC) techniques. In the proposed system, beam directivity is controlled by the delay profiles for each terminal measured in each antenna element. Moreover, to reduce the number of computation for the beam directivity control, the proposed system calculates the optimum beam directivity for only a limited number of terminals that locates far from the base station, and signals from the rest of the terminals are demodulated by selecting one of the most reliable adaptive array combined signals. this technique will be called beam pattern selection diversity. For the evaluation of impact of the angle spread of the multipath components on the capacity of DS/CDMA systems withthe adaptive array antenna, computer simulation is conducted. the results show that the proposed scheme gives better performance than the sector antenna systems under practical angle spread conditions;i.e., less than 10 degree, with relatively a small number of computation.
Computer head controls provide an alternative means of computer access for people with disabilities. However, a person's ability to use head controls may be reduced if his or her disability involves neck movement ...
详细信息
ISBN:
(纸本)9781581133134
Computer head controls provide an alternative means of computer access for people with disabilities. However, a person's ability to use head controls may be reduced if his or her disability involves neck movement limitations. In this study, 15 subjects without disabilities and 10 subjects with disabilities received neck range of motion evaluations and performed computer exercises using head controls. Regression analysis was used to determine the relationship between neck range of motion and performance on computer exercises. Reduced neck range of motion was found to be correlated with reduced functional range for moving the cursor across the screen, and reduced accuracy and speed in icon selection. Fitts' Law-type models were fit to the data, indicating higher Fitts' law slopes for subjects with disabilities compared to subjects without disabilities. Results also indicate that vertical cursor movements are faster than horizontal or diagonal movements.
Research in the concurrency control of real-time data access over mobile networks is receiving growing attention. With possibly lengthy transmission delay and frequent disconnection, traditional concurrency control me...
详细信息
the orthogonal extensions of the World Wide Web (WWW) user interface support user control of intelligent services. the extensions are orthogonal to provide an interface to a service, which compliments the Web browsing...
详细信息
ISBN:
(纸本)9780897918817
the orthogonal extensions of the World Wide Web (WWW) user interface support user control of intelligent services. the extensions are orthogonal to provide an interface to a service, which compliments the Web browsing but is independent of the content of any particular site. the service keeps a separate `preferences profile' for each user to allow each user to vary the aggressiveness of lossy compression, selectively turn off the service for certain pages, and select the type of interface provided for refinement of degraded content. three technologies for implementing the WWW TranSend interface are described: Hypertext Markup Language (HTML) decoration, Java, and JavaScript.
暂无评论