Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Engineering (185)
- Databases and Information Systems (128)
- Computer Engineering (118)
- Software Engineering (61)
- Business (39)
-
- Social and Behavioral Sciences (38)
- Electrical and Computer Engineering (35)
- OS and Networks (32)
- Life Sciences (30)
- Numerical Analysis and Scientific Computing (30)
- Information Security (29)
- Operations Research, Systems Engineering and Industrial Engineering (26)
- Theory and Algorithms (24)
- Mathematics (23)
- Science and Technology Studies (23)
- Bioinformatics (22)
- Communication (22)
- Communication Technology and New Media (22)
- Graphics and Human Computer Interfaces (22)
- Artificial Intelligence and Robotics (21)
- Management Information Systems (17)
- Statistics and Probability (14)
- Systems Architecture (13)
- Other Computer Sciences (10)
- Programming Languages and Compilers (10)
- Environmental Sciences (8)
- Logic and Foundations (8)
- Education (7)
- Institution
-
- Singapore Management University (121)
- Wright State University (91)
- Dartmouth College (55)
- California State University, San Bernardino (40)
- Brigham Young University (38)
-
- University of Nebraska - Lincoln (38)
- Purdue University (30)
- Air Force Institute of Technology (26)
- California Polytechnic State University, San Luis Obispo (26)
- Old Dominion University (24)
- Missouri University of Science and Technology (23)
- New Jersey Institute of Technology (23)
- City University of New York (CUNY) (20)
- Washington University in St. Louis (18)
- Portland State University (15)
- Syracuse University (15)
- University of Central Florida (15)
- TÜBİTAK (14)
- Technological University Dublin (11)
- Smith College (10)
- Florida Institute of Technology (9)
- Nova Southeastern University (9)
- Edith Cowan University (8)
- University of Nebraska at Omaha (8)
- University of Nevada, Las Vegas (7)
- Bryn Mawr College (6)
- Louisiana State University (5)
- Munster Technological University (5)
- University of North Florida (5)
- University of Richmond (5)
- Keyword
-
- Data mining (16)
- Java (Computer program language) (14)
- Computer Science (11)
- Reconstructability Analysis (10)
- Information Theory (9)
-
- Mobile computing (9)
- Multivariate analysis discrete multivariate modeling (9)
- Probabilistic graphical modeling (9)
- College of Engineering and Computer Science (8)
- Computer science (8)
- Engineering (8)
- Machine learning (8)
- Newsletters (8)
- Science news (8)
- Technical writing (8)
- Network (7)
- Computer networks (6)
- Computer programming (6)
- Digital libraries (6)
- Ontology (6)
- Web site development (6)
- Academic -- UNF -- Computer science (5)
- Application software -- Development (5)
- Computer (5)
- Database design (5)
- Security (5)
- Wireless (5)
- Algorithms (4)
- Artificial intelligence (4)
- Classification (4)
- Publication
-
- Research Collection School Of Computing and Information Systems (121)
- Theses and Dissertations (54)
- Computer Science & Engineering Syllabi (53)
- Computer Science Technical Reports (44)
- Theses Digitization Project (40)
-
- Department of Computer Science Technical Reports (30)
- Faculty Publications (22)
- Kno.e.sis Publications (20)
- All Computer Science and Engineering Research (18)
- School of Computing: Conference and Workshop Papers (18)
- Computer Science Faculty Publications (17)
- School of Computing: Technical Reports (17)
- Theses (17)
- Electronic Theses and Dissertations (16)
- Computer Science and Software Engineering (15)
- Electrical Engineering and Computer Science - All Scholarship (15)
- Turkish Journal of Electrical Engineering and Computer Sciences (14)
- Complex Systems Faculty Publications and Presentations (12)
- Dartmouth Scholarship (11)
- Dissertations (11)
- Electrical and Computer Engineering Faculty Research & Creative Works (11)
- Collaborative Agent Design (CAD) Research Center (10)
- Computer Science Faculty Research & Creative Works (10)
- Computer Science and Engineering Faculty Publications (10)
- Dartmouth College Undergraduate Theses (10)
- Computer Science: Faculty Publications (9)
- Electrical & Computer Engineering Theses & Dissertations (9)
- BITs and PCs Newsletter (8)
- CCAC Theses and Dissertations (8)
- Conference papers (7)
- Publication Type
Articles 151 - 180 of 797
Full-Text Articles in Computer Sciences
Distributed Uniform Sampling In Real- World Networks, Asad Awan, Ronaldo A. Ferreira, Suresh Jagannathan, Ananth Y. Grama
Distributed Uniform Sampling In Real- World Networks, Asad Awan, Ronaldo A. Ferreira, Suresh Jagannathan, Ananth Y. Grama
Department of Computer Science Technical Reports
No abstract provided.
Deformable Object Model Matching By Topological And Geometric Similarity, Kwok-Leung Tan, Rynson W. H. Lau, Chong-Wah Ngo
Deformable Object Model Matching By Topological And Geometric Similarity, Kwok-Leung Tan, Rynson W. H. Lau, Chong-Wah Ngo
Research Collection School Of Computing and Information Systems
In this paper, we present a novel method for efficient 3D model comparison. The method is designed to match highly deformed models through capturing two types of information. First, we propose a feature point extraction algorithm, which is based on “Level Set Diagram”, to reliably capture the topological points of a general 3D model. These topological points represent the skeletal structure of the model. Second, we also capture both spatial and curvature information, which describes the global surface of a 3D model. This is different from traditional topological 3D matching methods that use only low-dimension local features. Our method can …
Indexing And Matching Of Polyphonic Songs For Query-By-Singing System, Tat-Wan Leung, Chong-Wah Ngo
Indexing And Matching Of Polyphonic Songs For Query-By-Singing System, Tat-Wan Leung, Chong-Wah Ngo
Research Collection School Of Computing and Information Systems
This paper investigates the issues in polyphonic popular song retrieval. The problems that we consider include singing voice extraction, melodic curve representation, and database indexing. Initially, polyphonic songs are decomposed into singing voices and instruments sounds in both time and frequency domains based on SVM and ICA. The extracted singing voices are represented as two melodic curves that model the statistical mean and neighborhood similarity of notes. To speed up the matching between songs and query, we further adopt proportional transportation distance to index the songs as vantage point trees. Encouraging results have been obtained through experiments.
Are Use Case And Class Diagrams Complementary In Requirements Analysis? An Experimental Study On Use Case And Class Diagrams In Uml, Keng Siau, Lihyunn Lee
Are Use Case And Class Diagrams Complementary In Requirements Analysis? An Experimental Study On Use Case And Class Diagrams In Uml, Keng Siau, Lihyunn Lee
Research Collection School Of Computing and Information Systems
Despite the status of united modeling language (UML) as the de facto standard for object oriented modeling, it has received controversial reviews. The most controversial diagram in UML is the use case diagram. Some practitioners claim that use case diagrams are not valuable in requirements analysis and some have even argued that use case diagrams should not be part of UML. This research examined the values of use case diagram in interpreting requirements when use case diagrams are used in conjunction with class diagrams. In other words, the study investigated the possible synergetic values and relationships between the use case …
A Novel Log-Based Relevance Feedback Technique In Content-Based Image Retrieval, Steven C. H. Hoi, Michael R. Lyu
A Novel Log-Based Relevance Feedback Technique In Content-Based Image Retrieval, Steven C. H. Hoi, Michael R. Lyu
Research Collection School Of Computing and Information Systems
Relevance feedback has been proposed as an important technique to boost the retrieval performance in content-based image retrieval (CBIR). However, since there exists a semantic gap between low-level features and high-level semantic concepts in CBIR, typical relevance feedback techniques need to perform a lot of rounds of feedback for achieving satisfactory results. These procedures are time-consuming and may make the users bored in the retrieval tasks. For a long-term study purpose in CBIR, we notice that the users' feedback logs can be available and employed for helping the retrieval tasks in CBIR systems. In this paper, we propose a novel …
Blocking Reduction Strategies In Hierarchical Text Classification, Ee Peng Lim, Aixin Sun, Wee-Keong Ng, Jaideep Srivastava
Blocking Reduction Strategies In Hierarchical Text Classification, Ee Peng Lim, Aixin Sun, Wee-Keong Ng, Jaideep Srivastava
Research Collection School Of Computing and Information Systems
One common approach in hierarchical text classification involves associating classifiers with nodes in the category tree and classifying text documents in a top-down manner. Classification methods using this top-down approach can scale well and cope with changes to the category trees. However, all these methods suffer from blocking which refers to documents wrongly rejected by the classifiers at higher-levels and cannot be passed to the classifiers at lower-levels. We propose a classifier-centric performance measure known as blocking factor to determine the extent of the blocking. Three methods are proposed to address the blocking problem, namely, threshold reduction, restricted voting, and …
Compliant Encryption Of Jpeg2000 Codestreams, Yongdong Wu, Robert H. Deng
Compliant Encryption Of Jpeg2000 Codestreams, Yongdong Wu, Robert H. Deng
Research Collection School Of Computing and Information Systems
This paper presents a compliant encryption method for JPEG 2000 codestreams such that the encryption process does not introduce superfluous JPEG2000 markers in the protected codestream, i.e., the protected codestream preserves the syntax of the original codestream. The proposed encryption method works with any standard ciphers, incurs no storage overhead, introduces negligible computational cost and maintains all the desirable properties of the original JPEG 2000 codestream such as error resilience and scalability.
Dynamic Access Control For Multi-Privileged Group Communications, Di Ma, Robert H. Deng, Yongdong Wu, Tieyan Li
Dynamic Access Control For Multi-Privileged Group Communications, Di Ma, Robert H. Deng, Yongdong Wu, Tieyan Li
Research Collection School Of Computing and Information Systems
Recently, there is an increase in the number of group communication applications which support multiple service groups of different access privileges. Traditional access control schemes for group applications assume that all the group members have the same access privilege and mostly focus on how to reduce rekeying messages upon user joining and leaving. Relatively little research effort has been spent to address security issues for group communications supporting multiple access privileges. In this paper, we propose a dynamic access control scheme for group communications which support multiple service groups with different access privileges. Our scheme allows dynamic formation of service …
Trust Establishment In Large Scale Grid Settings, Bo Zhu, Tieyan Li, Huafei Zhu, Mohan S . Kankanhalli, Feng Bao, Robert H. Deng
Trust Establishment In Large Scale Grid Settings, Bo Zhu, Tieyan Li, Huafei Zhu, Mohan S . Kankanhalli, Feng Bao, Robert H. Deng
Research Collection School Of Computing and Information Systems
Trust establishment is hard in grid architecture by the ad hoc nature. To set up trust in large scale of network is more difficult. In this paper, we propose an automatic key management (AKM) model and corresponding key construction schemes. The hierarchical structure is formed automatically and scale seamlessly in arbitrary network sized. Regions are configured differently according to various levels of risks faced. The novel model provides an integrated solution for self-organized trust establishment, upon which rich appliances are securely supported. It is automatic, flexible, and scalable. Furthermore, simulation results show that computation costs due to the variations are …
Clip-Based Similarity Measure For Hierarchical Video Retrieval, Yuxin Peng, Chong-Wah Ngo
Clip-Based Similarity Measure For Hierarchical Video Retrieval, Yuxin Peng, Chong-Wah Ngo
Research Collection School Of Computing and Information Systems
This paper proposes a new approach and algorithm for the similarity measure of video clips. The similarity is mainly based on two bipartite graph matching algorithms: maximum matching (MM) and optimal matching (OM). MM is able to rapidly filter irrelevant video clips, while OM is capable of ranking the similarity of clips according to the visual and granularity factors. Based on MM and OM, a hierarchical video retrieval framework is constructed for the approximate matching of video clips. To allow the matching between a query and a long video, an online clip segmentation algorithm is also proposed to rapidly locate …
Improving Transliteration With Precise Alignment Of Phoneme Chunks And Using Contextual Features, Wei Gao, Kam-Fai Wong, Wai Lam
Improving Transliteration With Precise Alignment Of Phoneme Chunks And Using Contextual Features, Wei Gao, Kam-Fai Wong, Wai Lam
Research Collection School Of Computing and Information Systems
Automatic transliteration of foreign names is basically regarded as a diminutive clone of the machine translation (MT) problem. It thus follows IBM’s conventional MT models under the sourcechannel framework. Nonetheless, some parameters of this model dealing with zero-fertility words in the target sequences, can negatively impact transliteration effectiveness because of the inevitable inverted conditional probability estimation. Instead of source-channel, this paper presents a direct probabilistic transliteration model using contextual features of phonemes with a tailored alignment scheme for phoneme chunks. Experiments demonstrate superior performance over the source-channel for the task of English-Chinese transliteration.
Design And Analysis Of A Cooperative Medium Access Scheme For Wireless Mesh Networks, Arup Acharya, Archan Misra, Sorav Bansal
Design And Analysis Of A Cooperative Medium Access Scheme For Wireless Mesh Networks, Arup Acharya, Archan Misra, Sorav Bansal
Research Collection School Of Computing and Information Systems
This paper presents the detailed design and performance analysis of MACA-P, a RTS/CTS based MAC protocol, that enables simultaneous transmissions in wireless mesh networks. The IEEE 802.11 DCF MAC prohibits any parallel transmission in the neighborhood of either a sender or a receiver (of an ongoing transmission). MACA-P is a set of enhancements to the 802.11 MAC that allows parallel transmissions in situations when two neighboring nodes are either both receivers or transmitters, but a receiver and a transmitter are not neighbors. The performance of MACA-P in terms of system throughput is obtained through a simulation of the protocol using …
Airconn: A Framework For Tiered Services In Public Wireless Lan Hot Spots, A. Acharya, C. Bisdikian, Archan Misra, Y. Ko
Airconn: A Framework For Tiered Services In Public Wireless Lan Hot Spots, A. Acharya, C. Bisdikian, Archan Misra, Y. Ko
Research Collection School Of Computing and Information Systems
Access to the data services via wireless LANs at private and public hot spot sites is becoming commonplace. The goal of the airConn project is to define an architecture and a prototype implementation that enable the provision of premium and non-premium service tiers for both transient and nontransient users of wireless hot spots. airConn provides for dynamic renegotiation of service tiers and facilitates various billing modes. Thus, it enables service providers to increase their revenue opportunities via multiple flexibility manageable service offerings.
Informal Animation Sketching: Requirements And Design, Richard C. Davis, James A. Landay
Informal Animation Sketching: Requirements And Design, Richard C. Davis, James A. Landay
Research Collection School Of Computing and Information Systems
We present an interface design for creating informal animations from sketches. Current tools for creating animation are extremely complex. This makes it difficult for designers to prototype animations and nearly impossible for novices to create them at all. Simple animation systems exist but severely restrict the types of motion that can be represented. To guide our design of an animation sketching interface, we conducted field studies into the needs of professional and novice animators. These studies show the wide variety of motions that users desire in informal animations and indicate how to prioritize these types of otion. The interface described …
An Algorithm For Locating Fundamental Frequency (F0) Markers In Speech, Princy Dikshit
An Algorithm For Locating Fundamental Frequency (F0) Markers In Speech, Princy Dikshit
Electrical & Computer Engineering Theses & Dissertations
Speech has been the principal form of human communication since it began to evolve at least one hundred thousand years ago. Speech is produced by vibrations of the vocal cords. The rate of vibration of the cords is called fundamental frequency (F0) or pitch. The objective of this thesis is to locate pitch period cycles on a cycle-by-cycle basis. The complexity in identifying pitch cycles stems from the highly irregular nature of human speech. Dynamic programming is used to combine two sources of information for pitch period marking. One source of information is the "local" information corresponding to the location …
Network-Layer Selective Security, Casey T. Deccio
Network-Layer Selective Security, Casey T. Deccio
Theses and Dissertations
The Internet and other large computer networks have become an integral part of numerous daily processes. Security at the network layer is necessary to maintain infrastructure survivability in the case of cyber attacks aimed at routing protocols. In order to minimize undesired overhead associated with added security at this level, the notion of selective security is proposed. This thesis identifies elements in network topologies that are most important to the survivability of the network. The results show that the strategic placement of network security at critical elements will improve overall network survivability without the necessity of universal deployment.
Development Of A Systems Engineering Model Of The Chemical Separations Process: Final Report, Yitung Chen, Sean Hsieh
Development Of A Systems Engineering Model Of The Chemical Separations Process: Final Report, Yitung Chen, Sean Hsieh
Separations Campaign (TRP)
The whole chemical separation process is complex to the point that definitely requires certain level of systematic coordination. To perform smoothly and meet the target extraction rates among those processes, this research proposed a general-purpose systems engineering model.
A general purposed systems engineering model, Transmutation Research Program System Engineering Model Project (TRPSEMPro), was developed based on the above design concept. The system model includes four main parts: System Manager, Model Integration, Study Plan, and Solution Viewer. TRPSEMPro can apply not only to chemical separation process, but also a general system model.
Software engineering and Object Oriented Analysis and Design (OOA&D) …
Development Of A Systems Engineering Model Of The Chemical Separations Process, Yitung Chen, Sean Hsieh
Development Of A Systems Engineering Model Of The Chemical Separations Process, Yitung Chen, Sean Hsieh
Separations Campaign (TRP)
The whole chemical separation process is complex to the point that definitely requires certain level of systematic coordination. To perform smoothly and meet the target extraction rates among those processes, this research proposed a general-purpose systems engineering model.
A general purposed systems engineering model, Transmutation Research Program System Engineering Model Project (TRPSEMPro), was developed based on the above design concept. The system model includes four main parts: System Manager, Model Integration, Study Plan, and Solution Viewer. System Manager supervises all the case (problem) creation, and functionality definition. Model Integration identifies chemical extraction processes and their execution sequence. Study Plan is …
The Role Of Reactivity In Multiagent Learning, Bikramjit Banerjee, Jing Peng
The Role Of Reactivity In Multiagent Learning, Bikramjit Banerjee, Jing Peng
Department of Computer Science Faculty Scholarship and Creative Works
In this paper we take a closer look at a recently proposed classification scheme for multiagent learning algorithms. Based on this scheme an exploitation mechanism (we call it the Exploiter) was developed that could beat various Policy Hill Climbers (PHC) and other fair opponents in some repeated matrix games. We show on the contrary that some fair opponents may actually beat the Exploiter in repeated games. This clearly indicates a deficiency in the original classification scheme which we address. Specifically, we introduce a new measure called Reactivity that measures how fast a learner can adapt to an unexpected hypothetical change …
Techniques And Patterns For Safe And Efficient Real-Time Middleware, Angelo Corsaro
Techniques And Patterns For Safe And Efficient Real-Time Middleware, Angelo Corsaro
All Computer Science and Engineering Research
Over 90 percent of all microprocessors are now used for real-time and embedded applications. The behavior of these applications is often constrained by the physical world. It is therefore important to devise higher-level languages and middleware that meet conventional functional requirements, as well as dependably and productively enforce real-time constraints. Real-Time Java is emerging as a safe, real-time environment. In this thesis we use it as our experimentation platform; however, our findings are easily adapted to other similar platforms. This thesis provides the following contributions to the study of safe and efficient real-time middleware. First, it identifies potential bottlenecks and …
Tcp Processor: Design, Implementation, Operation, And Usage, David V. Schuehler
Tcp Processor: Design, Implementation, Operation, And Usage, David V. Schuehler
All Computer Science and Engineering Research
There is a critical need to perform advanced data processing on network traffic. In order to accom-plish this, protocol processing must first be performed to reassemble individual network packets into consistent data streams representing the exact dataset being transferred between end systems. This task is currently performed by protocol stacks running on end systems. Similar protocol processing opera-tions are needed to process the data on the interior of the network. Given millions of network connections operating on multi-gigabit per second network links, this task is extremely difficult. The TCP-Processor addresses this challenge. It is a hardware circuit designed to perform …
Applications Of Decision And Utility Theory In Multi-Agent Systems, Xin Li, Leen-Kiat Soh
Applications Of Decision And Utility Theory In Multi-Agent Systems, Xin Li, Leen-Kiat Soh
School of Computing: Technical Reports
This report reviews the applications of decision-related theories (decision theory, utility theory, probability theory, and game theory) in various aspects of multi-agent systems. In recent years, multi-agent systems (MASs) have become a highly active research area as multi-agent systems have a wide range of applications. However, most of real-world environments are very complex and of uncertainty. An agent’s knowledge about the world is rather incomplete and uncertain. The actions of the agent are non-deterministic with a range of possible outcomes. The agent may have many desires that conflict each other. The agent also needs to know about other agents and …
Interoperability And The Need For Intelligent Software: A Historical Perspective, Jens G. Pohl
Interoperability And The Need For Intelligent Software: A Historical Perspective, Jens G. Pohl
Collaborative Agent Design (CAD) Research Center
With the objective of defining the interoperability theme of this year’s conference it is the purpose of this paper1 to trace the evolution of intelligent software from data-centric applications that essentially encapsulate their data environment to ontology-based applications with automated reasoning capabilities. The author draws a distinction between human intelligence and component capabilities within a more general definition of intelligence; - a kind of intelligence that can be embedded in computer software. The primary vehicle in the quest for intelligent software has been the gradual recognition of the central role played by data and information, rather than the logic …
Proceedings Of The 2004 Onr Decision-Support Workshop Series: Interoperability, Collaborative Agent Design Research Center
Proceedings Of The 2004 Onr Decision-Support Workshop Series: Interoperability, Collaborative Agent Design Research Center
Collaborative Agent Design (CAD) Research Center
In August of 1998 the Collaborative Agent Design Research Center (CADRC) of the California Polytechnic State University in San Luis Obispo (Cal Poly), approached Dr. Phillip Abraham of the Office of Naval Research (ONR) with the proposal for an annual workshop focusing on emerging concepts in decision-support systems for military applications. The proposal was considered timely by the ONR Logistics Program Office for at least two reasons. First, rapid advances in information systems technology over the past decade had produced distributed collaborative computer-assistance capabilities with profound potential for providing meaningful support to military decision makers. Indeed, some systems based on …
Databases For Interval Probabilities, Wenzhong Zhao, Alex Dekhtyar, Judy Goldsmith
Databases For Interval Probabilities, Wenzhong Zhao, Alex Dekhtyar, Judy Goldsmith
Computer Science and Software Engineering
We present a database framework for the efficient storage and manipulation of interval probability distributions and their associated information. Although work on interval probabilities and on probabilistic databases has appeared before, ours is the first to combine these into a coherent and mathematically sound framework including both standard relational queries and queries based on probability theory. In particular, our query algebra allows users not only to query existing interval probability distributions, but also to construct new ones by means of conditionalization and marginalization, as well as other more common database operations.
Utilizing Learning Styles For Interactive Tutorials, Magnus Aase, Franz J. Kurfess
Utilizing Learning Styles For Interactive Tutorials, Magnus Aase, Franz J. Kurfess
Computer Science and Software Engineering
Developing successful Web-based learning environments has shown to be a challenging and difficult endeavor [7][11] that requires knowledge from multiple domains like pedagogy, psychology, knowledge engineering, software engineering, and Web technologies. Their lack of individual preferred ways of instruction is a challenge we address in this paper. We introduce a Web-based learning environment that teaches concepts from Artificial Intelligence to college students. This environment is intended to be used as a complementary tool for the standard lectures. By adapting the instruction and learning material to the individual student’s learning style the tutorial gives the student a personal learning experience and …
Logic Programs, Iterated Function Systems, And Recurrent Radial Basis Function Networks, Sebastian Bader, Pascal Hitzler
Logic Programs, Iterated Function Systems, And Recurrent Radial Basis Function Networks, Sebastian Bader, Pascal Hitzler
Computer Science and Engineering Faculty Publications
Graphs of the single-step operator for first-order logic programs—displayed in the real plane—exhibit self-similar structures known from topological dynamics, i.e., they appear to be fractals, or more precisely, attractors of iterated function systems. We show that this observation can be made mathematically precise. In particular, we give conditions which ensure that those graphs coincide with attractors of suitably chosen iterated function systems, and conditions which allow the approximation of such graphs by iterated function systems or by fractal interpolation. Since iterated function systems can easily be encoded using recurrent radial basis function networks, we eventually obtain connectionist systems which …
Possible Worlds Semantics For Probabilistic Logic Programs, Alex Dekhtyar, Michael I. Dekhtyar
Possible Worlds Semantics For Probabilistic Logic Programs, Alex Dekhtyar, Michael I. Dekhtyar
Computer Science and Software Engineering
In this paper we consider a logic programming framework for rea-soning about imprecise probabilities. In particular, we propose a new semantics, for the Probabilistic Logic Programs (p-programs) of Ng and Subrahmanian. P-programs represent imprecision using probability intervals. Our semantics, based on the possible worlds semantics, considers all point probability distributions that satisfy a given p-program. In the paper, we provide the exact characterization of such models of a p-program. We show that the set of models of a p-program can-not, in general case, be described by single intervals associated with atoms of the program. We provide algorithms for efficient construction …
Helping Analysts Trace Requirements: An Objective Look, Jane Huffman Hayes, Alex Dekhtyar, Senthil Karthikeyan Sundaram, Sarah Howard
Helping Analysts Trace Requirements: An Objective Look, Jane Huffman Hayes, Alex Dekhtyar, Senthil Karthikeyan Sundaram, Sarah Howard
Computer Science and Software Engineering
This paper addresses the issues related to improving the overall quality of the requirements tracing process for Independent Verification and Validation analysts. The contribution of the paper is three-fold: we define requirements for a tracing tool based on analyst responsibilities in the tracing process; we introduce several new measures for validating that the requirements have been satisfied; and we present a prototype tool that we built, RETRO (REquirements TRacing On-target), to address these requirements. We also present the results of a study used to assess RETRO’s support of requirements and requirement elements that can be measured objectively.
Policies, Rules And Their Engines: What Do They Mean For Slas?, Mark Perry, Michael Bauer
Policies, Rules And Their Engines: What Do They Mean For Slas?, Mark Perry, Michael Bauer
Computer Science Publications
In our model for autonomic management of service level agreements (SLA), the roles played by policy and rules must be clearly differentiated. Although policy is typically an ideal we wish to achieve through the implementation of rules, the use of the terms policy and rule are often treated similarly and that consequently policy-engine and rule-engine are often used synonymously. It is our position that in the management of SLAs these terms have specific meanings. The definitions and models embodied are illustrated.