ppxscal/embedding_network huggingface dataset:
Trust management for trusted computing platforms in web services
Authors: Aarthi Nagarajan, Vijay Varadharajan, Michael Hitchens
Venue: Proceedings of the 2007 ACM workshop on Scalable trusted computing (2007)

The concept of trusted platforms using trusted computing technology such as the Trusted Platform Module (TPM) is becoming significant in that such technologies are being increasingly available in PCs and mobile devices today. When such trusted platforms are used in applications, one of the key design issues is the ability to capture platform level requirements and to represent them as security policies for authorization decision making. This paper makes some contributions which we believe are an important first step in achieving policy based decision making with trusted platforms. It outlines a platform based trust management framework for specification of trust policies. In this context, we argue the need for a higher level abstraction that is able to capture the lower level state of the platform and use this in the evaluation of trust between the communicating entities. We extend the notion of trusted platform properties by introducing the concept of Component Property Certificates, which can be used in specifying and building trust relationships. We then illustrate how component property certificates can be used in the specification of trust policies of different granularities.
Control Data 480 Series Microprogrammable Computer Family
Authors: R. E. Pollmann
Venue: Computer (1977)

The Control Data 480 series microprogrammable computer family, designed to emulate a wide range of general-purpose computers, consists of a number of standard modules that are pluggable in a variety of configurations for emulating small, medium, or large computer systems. This building block approach permits the configuration of a specific computer system which is microprogrammed to emulate a specific computer architecture. The ACM Portal is published by the Association for Computing Machinery. Copyright © 2010 ACM, Inc. Terms of Usage Privacy Policy Code of Ethics Contact Us Useful downloads: Adobe Acrobat QuickTime Windows Media Player Real Player
Context recognition using internet as a knowledge base
Authors: Aviv Segev, Moshe Leshno, Moshe Zviran
Venue: Journal of Intelligent Information Systems (2007)

Context recognition is an important component of the common sense knowledge problem, which is one of the key research areas in the field of Artificial Intelligence. The paper develops a model of context recognition using the Internet as a knowledge base. The use of the Internet as a database for context recognition gives a context recognition model immediate access to a nearly infinite amount of data in a multiplicity of fields. Context is represented here as any textual description that is most commonly selected by a set of subjects to describe a given situation. The model input is based on any aspect of the situation that can be translated into text (such as: voice recognition, image recognition, facial expression interpretation, and smell identification). The research model is based on the streaming in text format of information that represents situations--Internet chats, e-mails, Shakespeare plays, or article abstracts. The comparison of the results of the algorithm with the results of human subjects yielded a very high agreement and correlation. The results showed there was no significant difference in the determination of context between the algorithm and the human subjects.
Specifying Software Requirements for Complex Systems: New Techniques and Their Application
Authors: K. L. Heninger
Venue: IEEE Transactions on Software Engineering (1980)

This paper concerns new techniques for making requirements specifications precise, concise, unambiguous, and easy to check for completeness and consistency. The techniques are well-suited for complex real-time software systems; they were developed to document the requirements of existing flight software for the Navy's A-7 aircraft. The paper outlines the information that belongs in a requirements document and discusses the objectives behind the techniques. Each technique is described and illustrated with examples from the A-7 document. The purpose of the paper is to introduce the A-7 document as a model of a disciplined approach to requirements specification; the document is available to anyone who wishes to see a fully worked-out example of the approach.
Hop-Distance Algorithm for Self-Localization of Wireless Sensor Networks
Authors: Dali Zhao, Yunhui Men, Linliang Zhao
Venue: Proceedings of the Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing - Volume 02 (2007)

In wireless sensor networks, it is difficult yet important to locate the sensor nodes. Self-localization algorithm of sensor nodes can be used in both military and civil applications. A low-cost and practical approach is proposed in this paper. The hop-distance algorithm is based on RSSI (Received Signal Strength Indicator), geometry and most likelihood estimation. Simulations show that average position error is about 20% of the radio range of the nodes in a scenario where the average ranging error is 10% and 10% of the nodes are anchor nodes.
Enhancing Testability of Large-Scale Integrated Circuits via Test Points and Additional Logic
Authors: M. J. Y. Williams
Venue: IEEE Transactions on Computers (1973)

With the increasing complexity of logic that can be fabricated on a single large-scale integrated (LSI) circuit chip, there is a growing problem of checking the logical behavior of the chips at manufacture. The problem is particularly acute for sequential circuits, where there are difficulties in setting and checking the state of the system.
Building structured web community portals: a top-down, compositional, and incremental approach
Authors: Pedro DeRose, Warren Shen, Fei Chen, AnHai Doan, Raghu Ramakrishnan
Venue: Proceedings of the 33rd international conference on Very large data bases (2007)

Structured community portals extract and integrate information from raw Web pages to present a unified view of entities and relationships in the community. In this paper we argue that to build such portals, a top-down, compositional, and incremental approach is a good way to proceed. Compared to current approaches that employ complex monolithic techniques, this approach is easier to develop, understand, debug, and optimize. In this approach, we first select a small set of important community sources. Next, we compose plans that extract and integrate data from these sources, using a set of extraction/integration operators. Executing these plans yields an initial structured portal. We then incrementally expand this portal by monitoring the evolution of current data sources, to detect and add new data sources. We describe our initial solutions to the above steps, and a case study of employing these solutions to build DBLife, a portal for the database community. We found that DBLife could be built quickly and achieve high accuracy using simple extraction/integration operators, and that it can be maintained and expanded with little human effort. The initial solutions together with the case study demonstrate the feasibility and potential of our approach.
Do students SQLify? improving learning outcomes with peer review and enhanced computer assisted assessment of querying skills
Authors: Michael de Raadt, Stijn Dekeyser, Tien Yu Lee
Venue: Proceedings of the 6th Baltic Sea conference on Computing education research: Koli Calling 2006 (2006)

In recent years a small number of web-based tools have been proposed to help students learn to write SQL query statements and also to assess students' SQL writing skills. SQLify is a new SQL teaching and assessment tool that extends the current state-of-the-art by incorporating peer review and enhanced automatic assessment based on database theory to produce more comprehensive feedback to students. SQLify is intended to yield a richer learning experience for students and reduce marking load for instructors. In this paper SQLify is compared with existing tools and important new features are demonstrated.
Building Trust in Storage Outsourcing: Secure Accounting of Utility Storage
Authors: Vishal Kher, Yongdae Kim
Venue: Proceedings of the 26th IEEE International Symposium on Reliable Distributed Systems (2007)

We are witnessing a revival of Storage Service Providers in the form of new vendors as well as traditional players. While storage outsourcing is cost-effective, many companies are hesitating to outsource their storage due to security concerns. The success of storage outsourcing is highly dependent on how well the providers can establish trust with their consumers. While significant work has been done to ensure confidentiality, integrity, and availability of data, a practical solution for accounting of outsourced storage is still at large missing. This paper presents Saksha, a secure accounting system that enables automated and verifiable metering of the resources utilized by the consumers. A provider that includes Saksha as a part of its storage service can prove to its customers the amount of resources utilized by them. As a result, Saksha will help to enhance trust by preventing any inflation or deflation of the service usage. Saksha is not restricted to any particular pricing model; it can be applied to the popular pay-per-use pricing model for utility storage as well as many of its variants. In addition, it can be used by the consumers to periodically evaluate their usage and reassess their outsourcing requirements. Saksha is developed such that it can be layered on the top of networked file systems. Our performance results demonstrate that Saksha is efficient and can be used in practice.
A Multi-agent Negotiation Protocol Based on Extended Case Based Reasoning
Authors: Wu-nan Wan, Jin-quan Zhang, Ming Wang
Venue: Proceedings of the Fourth International Conference on Fuzzy Systems and Knowledge Discovery - Volume 04 (2007)

This paper describes a new Multi-Agent architecture and a task allocation protocol proposed inter-agent cooperation in a multi-agent system. The negotiation protocol is Con- tract Net Protocol (CNP). The broadcast of the Task An- nouncement on CNP tends to consume much communica- tion load and its performance degrades drastically when the number of communicating agents and the number of tasks announced increase. In order to overcome this problem, the CNP based on extended Case Based Reasoning (ECBR) is presented, it can reduce the scope of competitors and com- munication load on task negotiation, make a distinct im- provement to the efficiency. To ensure a better cooperation between agents and adapt to higher flexibility of system, Several parameters such as forget coefficienttime coefficient and a special case are defined in extended CBR. Experimen- tal results show the performance of this negotiation protocol based on extended CBR improves significantly.
Anisotropic semi-pseudometrics
Authors: R. Lowen, W. Peeters
Venue: Journal of Intelligent Fuzzy Systems: Applications in Engineering and Technology (2000)

The purpose of this article is to describe a recognition system, used in the matching of patterns that are distorted by various kinds of noise. The proposed technique is more general than the one described in [12], but also makes fundamental use of the concept of semi-pseudometrics. It will be shown that in some cases, the chance of correctly recognizing an image increases when using these in a distance classifier.
Feature extraction and classification for bilingual script (Gurmukhi and Roman)
Authors: Renu Dhir
Venue: Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology (2007)

The capability of recognizing multilingual documents is both novel and useful. With such capability, many applications can be supported including multilingual access to patent, business and regulatory information, translation, and keyword finding in document images. The main purpose of our research will be development of the methodology of a single OCR system, which will process bilingual documents typed in both Gurmukhi (Punjabi) and Roman (English). The OCR will automatically recognize the script of each word of the document and invoke the appropriate recognition engine and recognize that word.
Cryanalysis on a Nonrepudiable Threshold Proxy Signature Scheme with Known Signers
Authors: Hongguang Xiao, Zuowen Tan, Wang Jian
Venue: Proceedings of the 2007 IFIP International Conference on Network and Parallel Computing Workshops (2007)

In the paper, we analyze the security of C.-L. Hsu et al.'s threshold proxy signature scheme. The scheme suffers from universally forgery and does not hold nonrepudiation. An adversary can forge (t, n) threshold proxy signature on any message m. We propose an improvement to remedy the weakness of C.-L. Hsu et al.'s scheme.
Usage-Oriented Performance Evaluation for Text Localization Algorithms
Authors: Y. Ma, C. Wang, B. Xiao, R. Dai
Venue: Proceedings of the Ninth International Conference on Document Analysis and Recognition - Volume 02 (2007)

The localization of texts in image/video is the first step in a text processing system. Its effect will do great impact on the following processing steps. Although many studies have been done on text localization algorithms, there is not a uni- versally accepted performance evaluation method. In this paper we propose two sets of metrics to evaluate the per- formance of text localization algorithms in different usage conditions. The metrics also consider the text distribution characteristics, and the difficulties of the underlying task. Some experiments on the proposed metrics are also given.
Software Life Cycle Management: Weapons Process Developer
Authors: R. C. McHenry
Venue: IEEE Transactions on Software Engineering (1978)

This paper describes weapon system software life cycle management from a contractor perspective. Four procurement strategies-each requiring two or more-contracts-are examined and their impact on the contractor and the software process are described.
Writer Identification Using Steered Hermite Features and SVM
Authors: A. Imdad, S. Bres, V. Eglin, C. Rivero-Moreno, H. Emptoz
Venue: Proceedings of the Ninth International Conference on Document Analysis and Recognition - Volume 02 (2007)

Writer recognition is considered as a difficult problem to solve due to variations found in the writing, even from the same writer. In this paper, Steered Hermite Features are used to identify writer from a written document. We will show that Steered Hermite Features are highly useful for text images because they extract lot of information, no- tably for data characterized by oriented features, curves and segments. The algorithm we propose here, first calcu- lates the Steered Hermite Features of the images which are then passed on to Support Vector Machine for training and testing. The base of tests consists of sample of some lines of writings (five at most) of primarily diversified writings of authors from IAM database. With the proposed algorithm based on Steered Hermite Features, we were able to achieve an accuracy of around 83% percent for a set of 30 authors with non overlapping images of written text.
Delay analysis and dynamic tuning of an acknowledged mode radio link control protocol
Authors: Junfeng Jiang, Zhigang Cao, Zihua Guo
Venue: Wireless Personal Communications: An International Journal (2007)

In this paper, in-sequence delivery delay of an acknowledged mode radio link control (AM-RLC) protocol in wideband code division multiple access (W-CDMA) networks is studied. Two special protocol phenomena, duplicated retransmission, and delayed acknowledgment, are reported. A two-step dependent Markov chain is adopted to model the AM-RLC protocol. The in-sequence delivery is evaluated by means of an analysis through tracking the transmission status of a specific packet data unit (PDU) and its blocking PDUs. Analysis results indicate that in-sequence delivery delay is approximately linear with frame error rate. Analysis results also exhibit that in-sequence delivery delay is highly related to status report interval. Based on this observation, a dynamic AM-RLC scheme is proposed. The proposed AM-RLC scheme dynamically changes status report interval according to channel status. Extensive simulations are carried out to verify the effectiveness of the proposed scheme. It is found that the proposed scheme can reduce status report without penalty to in-sequence delivery delay.
On to the Real World: Gender and Self-Efficacy in Excel
Authors: Laura Beckwith, Derek Inman, Kyle Rector, Margaret Burnett
Venue: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (2007)

Although there have been a number of studies of end-user software development tasks, few of them have considered gender issues for real end-user developers in real-world environments for end-user programming. In order to be trusted, the results of such laboratory studies must always be re-evaluated with fewer controls, more closely reflecting real-world conditions. Therefore, the research question in this paper is whether the results of a Gender HCI controlled study generalize -- to real-world end-user developers, in a real-world spreadsheet environment, using a realworld spreadsheet. Our findings are that the concepts revealed by the original laboratory study appear to be quite robust, being demonstrated in multiple ways in this real-world environment.
Silver Bullet Talks with Ross Anderson
Authors: Gary McGraw, Ross Anderson
Venue: IEEE Security and Privacy (2007)

Gary McGraw chats with Ross Anderson, professor of security engineering at the Computer Laboratory at Cambridge University and author of Security Engineering. Gary and Ross discuss the simple reasons why most systems fail, the economic imbalance between engineers/developers and a system's users, and why publicly describing attacks is essential to security engineering.
Using pen input features as indices of cognitive load
Authors: Natalie Ruiz, Ronnie Taib, Yu (David) Shi, Eric Choi, Fang Chen
Venue: Proceedings of the 9th international conference on Multimodal interfaces (2007)

Multimodal interfaces are known to be useful in map-based applications, and in complex, time-pressure based tasks. Cognitive load variations in such tasks have been found to impact multimodal behaviour. For example, users become more multimodal and tend towards semantic complementarity as cognitive load increases. The richness of multimodal data means that systems could monitor particular input features to detect experienced load variations. In this paper, we present our attempt to induce controlled levels of load and solicit natural speech and pen-gesture inputs. In particular, we analyse for these features in the pen gesture modality. Our experimental design relies on a map-based Wizard of Oz, using a tablet PC. This paper details analysis of pen-gesture interaction across subjects, and presents suggestive trends of increases in the degree of degeneration of pen-gestures in some subjects, and possible trends in gesture kinematics, when cognitive load increases.
A Fuzzy Extension of OWL for Vague Knowledge
Authors: Dexin Zhao, Zhiyong Feng, Qing Yu, Guangquan Xu
Venue: Proceedings of the Fourth International Conference on Fuzzy Systems and Knowledge Discovery - Volume 04 (2007)

OWL web ontology language is an official W3C recommendation in ontology language that has recently been developed by the W3C. Although OWL has a powerful expressive ability on knowledge, it has no capability to represent the uncertainty and imprecise information. In the context of Semantic Web and multimedia applications, concepts are rather vague than precise and there are increasing needs to deal with vague knowledge. This paper proposes an extension of OWL DL with fuzzy logic by giving the formal syntax and semantics. The feature of the extension is that it has the ability of capture the vague concepts with the defined modifying operators.
A strong consistency result for fuzzy relative frequencies interpreted as estimator for the fuzzy-valued probability
Authors: W. Trutschnig
Venue: Fuzzy Sets and Systems (2008)

The unavoidable imprecision of measurements of continuous physical quantities can be modelled by using the concept of fuzzy numbers and fuzzy vectors. Concerning a quantitative usage of such data the classical concept of relative frequencies for real data has to be extended to so-called fuzzy relative frequencies for fuzzy data, whereby the fuzzy relative frequency of a set is a fuzzy number. Analogous to A. Dempster's interval-valued probabilities induced by multi-valued mappings fuzzy-valued probabilities induced by fuzzy random vectors are considered and analyzed. It is proved that fuzzy relative frequencies can be interpreted as strongly consistent estimator for the corresponding fuzzy-valued probability.
Simultaneous Control of Subthreshold and Gate Leakage Current in Nanometer-Scale CMOS Circuits
Authors: Youngsoo Shin, Sewan Heo, Hyung-Ock Kim
Venue: Proceedings of the 2007 Asia and South Pacific Design Automation Conference (2007)

Power gating has been widely used to reduce subthreshold leakage. However, its efficiency degrades very fast with technology scaling due to the gate leakage of circuits specific to power gating, such as storage elements and output interface circuits with a data-retention capability. A new scheme called supply switching with ground collapse is proposed to control both gate and subthreshold leakage in nanometer-scale CMOS circuits. Compared to power gating, the leakage is cut by a factor of 6.3 with 65nm and 8.6 with 45nm technology. Various issues in implementing the proposed scheme using standard-cell elements are addressed, from RTL to layout. The proposed design flow is demonstrated on a commercial design with 90nm technology, and the leakage saving by a factor of 32 is observed with 3% and 6% of increase in area and wirelength, respectively.
An energy law preserving C0 finite element scheme for simulating the kinematic effects in liquid crystal dynamics
Authors: Ping Lin, Chun Liu, Hui Zhang
Venue: Journal of Computational Physics (2007)

In this paper, we use finite element methods to simulate the hydrodynamical systems governing the motions of nematic liquid crystals in a bounded domain @W. We reformulate the original model in the weak form which is consistent with the continuous dissipative energy law for the flow and director fields in W^1^,^2^+^@s(@W) (@s>0 is an arbitrarily small number). This enables us to use convenient conformal C^0 finite elements in solving the problem. Moreover, a discrete energy law is derived for a modified midpoint time discretization scheme. A fixed iterative method is used to solve the resulted nonlinear system so that a matrix free time evolution may be achieved and velocity and director variables may be solved separately. A number of hydrodynamical liquid crystal examples are computed to demonstrate the effects of the parameters and the performance of the method.