Open Access. Powered by Scholars. Published by Universities.®
- Institution
-
- China Simulation Federation (3880)
- TÜBİTAK (3106)
- Wright State University (1814)
- University of Nebraska - Lincoln (1069)
- University of Texas at El Paso (858)
-
- Washington University in St. Louis (733)
- Technological University Dublin (731)
- California Polytechnic State University, San Luis Obispo (722)
- Brigham Young University (641)
- Old Dominion University (579)
- Embry-Riddle Aeronautical University (563)
- Singapore Management University (546)
- Universitas Indonesia (444)
- San Jose State University (439)
- Santa Clara University (422)
- Air Force Institute of Technology (414)
- Marquette University (412)
- University of South Carolina (320)
- California State University, San Bernardino (288)
- University of Central Florida (271)
- Portland State University (266)
- Chulalongkorn University (243)
- Al Iraqia University (235)
- Purdue University (218)
- University of South Florida (218)
- University of Arkansas, Fayetteville (209)
- University of Nevada, Las Vegas (191)
- New Jersey Institute of Technology (185)
- Nova Southeastern University (183)
- University of Dayton (166)
- Keyword
-
- Machine learning (439)
- Computer Science (385)
- Deep learning (347)
- Department of Computer Science and Engineering (319)
- Machine Learning (288)
-
- Engineering (274)
- Simulation (237)
- Robotics (233)
- Security (183)
- Artificial intelligence (174)
- Deep Learning (172)
- Optimization (170)
- Computer Engineering (168)
- Classification (163)
- College of Engineering and Computer Science (157)
- Newsletters (157)
- Science news (157)
- Technical writing (157)
- Cybersecurity (154)
- Artificial Intelligence (148)
- Computer vision (141)
- Computer Science and Engineering (137)
- Genetic algorithm (119)
- Blockchain (99)
- Internet (97)
- Virtual reality (97)
- Path planning (94)
- Data mining (93)
- Clustering (91)
- Privacy (91)
- Publication Year
- Publication
-
- Journal of System Simulation (3880)
- Turkish Journal of Electrical Engineering and Computer Sciences (3106)
- Computer Science & Engineering Syllabi (1312)
- Departmental Technical Reports (CS) (760)
- Theses and Dissertations (730)
-
- All Computer Science and Engineering Research (683)
- International Congress on Environmental Modelling and Software (629)
- Research Collection School Of Computing and Information Systems (511)
- Department of Electrical and Computer Engineering: Faculty Publications (496)
- Makara Journal of Technology (436)
- Electrical and Computer Engineering Faculty Research and Publications (389)
- Browse all Theses and Dissertations (342)
- Electronic Theses and Dissertations (341)
- Dissertations (340)
- Faculty Publications (321)
- Journal of Digital Forensics, Security and Law (299)
- Computer Science and Engineering Senior Theses (298)
- Master's Theses (289)
- Computer Engineering (282)
- Chulalongkorn University Theses and Dissertations (Chula ETD) (242)
- Iraqi Journal for Computer Science and Mathematics (235)
- Master's Projects (220)
- School of Computing: Dissertations, Theses, and Student Research (206)
- Electrical and Computer Engineering Faculty Publications (204)
- Electrical & Computer Engineering Theses & Dissertations (193)
- Conference papers (178)
- Publications (169)
- BITs and PCs Newsletter (157)
- USF Tampa Graduate Theses and Dissertations (157)
- Journal of International Technology and Information Management (153)
- Publication Type
- File Type
Articles 23221 - 23250 of 25650
Full-Text Articles in Engineering
Dipole Magnetization Effect To Kerosene Characteristics, Mochamad Chalid, Nelson Saksono, Adiwar Adiwar, Nono Darsono
Dipole Magnetization Effect To Kerosene Characteristics, Mochamad Chalid, Nelson Saksono, Adiwar Adiwar, Nono Darsono
Makara Journal of Technology
Dipole Magnetization Effect to Kerosene Characteristics. Investigation of kerosene characteristics has been done by ex-situ dipole magnetization. The results show that magnetization technique can be able to influence kerosene characteristics. Polarity and viscosity of the kerosene are observed by measuring refractive index and viscosity. An hour of 4330 Gauss flux magnetic will increase refractive index from 1.447 to 1.449 and decrease the viscosity from 1.278 to 1.256. Those changing support de-clustering occurrence and polarity increment of kerosene molecule. Gas chromatography and infrared result show that those changing do not alter kerosene structure and composition.
Study Of 2d And 3d Optical Beam Induced Voltage Imaging Using Photoresistor Sensor, Warsito Warsito, Sri Wahyu Suciyati, Susi Harnani, Akhmad Dzakwan
Study Of 2d And 3d Optical Beam Induced Voltage Imaging Using Photoresistor Sensor, Warsito Warsito, Sri Wahyu Suciyati, Susi Harnani, Akhmad Dzakwan
Makara Journal of Technology
Study of 2D and 3D Optical Beam Induced Voltage Imaging Using Photoresistor Sensor. This article shows a method to study OBIV (optical beam induced voltage) imagerie system, that usually employ a laser scanning microscopy system. The OBIV imagerie system developed use a photoresistor sensor as a sample and simultaneously it can be used for analyzing its inhomogeneity response. Resolution of the system is still low, about 350μm due to high value of incident light diameter. The results inform that photoresistor sensors gave an optimum response if the incident light hits the center of sensible zone.
Flexi Radio Base Station (Rbs) Performance Analysis Of Voice And Trafic On Kota 2 Jakarta Barat Base Station Control (Bsc), Mushfar Ferdian, Fitri Yuli Zulkifli
Flexi Radio Base Station (Rbs) Performance Analysis Of Voice And Trafic On Kota 2 Jakarta Barat Base Station Control (Bsc), Mushfar Ferdian, Fitri Yuli Zulkifli
Makara Journal of Technology
Flexi Radio Base Station (RBS) Performance Analysis of Voice and Trafic on Kota 2 Jakarta Barat Base Station Control (BSC). The CDMA 2000 technology uses circuit switch method to handle voice traffic and packet switch method to handle data traffic between the user and RBS (Radio Base Station). These two parameters can be used to measure performance of the network generally, so it is necessary to optimize them. This paper analyze the performance of RBS by measuring its parameters such as set up failure ratio, drop ratio, and occupancy. Furthermore, the traffic increment is calculated too in order to provide …
Water Quality Of Rivers And Ponds On Dki Jakarta, Diana Hendrawan
Water Quality Of Rivers And Ponds On Dki Jakarta, Diana Hendrawan
Makara Journal of Technology
Water Quality of Rivers and Ponds on DKI Jakarta. Thirteen big rivers, some small rivers, and 40 ponds spread over districts at Jakarta city are potential to support human being life. As the population is growing and the usage of stream water is increasing, the condition and quality of rivers and ponds are changing. Crowd housing can affect rivers and ponds pollution, as the people awareness about clean and healthy environment is less. Stream water pollution assessment can be done by counting the effect of pollutant to life of stream water organisms. This assessment unit could be classified into physics, …
Time Domain Characterization Of 1-2 Ghz Circular-Ended Bowtie Antenna Using Normalizad Impulse Response, Joko Suryana, Andriyan B. Suksmono, Tati R. Mengko
Time Domain Characterization Of 1-2 Ghz Circular-Ended Bowtie Antenna Using Normalizad Impulse Response, Joko Suryana, Andriyan B. Suksmono, Tati R. Mengko
Makara Journal of Technology
Time Domain Characterization of 1-2 GHz Circular-ended Bowtie Antenna Using Normalizad Impulse Response. Frequency domain analysis is a powerful and compact tool for characterizing the antenna parameters such as gain, radiation pattern and the impedance as a function of frequency. However, if time or space is a major concern, such as in the GPR appication, the time domain analysis would be a very important tool due to their unique capability for determining the echo delay and range profile of target image. In this paper, we will describe the classical theory of system characterization in time domain, and then also propose …
A Systems Methodology For Measuring Operational Organization Effectiveness: A Study Of The Original Equipment Computer Manufacturing Industry, 1948 To 2001, Teddy Steven Cotter
A Systems Methodology For Measuring Operational Organization Effectiveness: A Study Of The Original Equipment Computer Manufacturing Industry, 1948 To 2001, Teddy Steven Cotter
Engineering Management & Systems Engineering Theses & Dissertations
Optimizing operational organizational effectiveness is the central, although often unstated, goal of engineering management and systems engineering research and applications. Two fundamental problems remain to be addressed in pursuit of this goal. First, despite over fifty years of research in various disciplines, there is still no universally accepted definition of organizational effectiveness. Second, no methodology exists to identify the domains, dimensions, and determinants of operational organizational effectiveness and dynamically model operational organizational effectiveness within a given population.
This research synthesizes a systems engineering methodology for identifying the domains, dimensions, and determinants of and dynamically modeling operational organizational effectiveness for an …
Clustering And Hybrid Routing In Mobile Ad Hoc Networks, Lan Wang
Clustering And Hybrid Routing In Mobile Ad Hoc Networks, Lan Wang
Computer Science Theses & Dissertations
This dissertation focuses on clustering and hybrid routing in Mobile Ad Hoc Networks (MANET). Specifically, we study two different network-layer virtual infrastructures proposed for MANET: the explicit cluster infrastructure and the implicit zone infrastructure. In the first part of the dissertation, we propose a novel clustering scheme based on a number of properties of diameter-2 graphs to provide a general-purpose virtual infrastructure for MANET. Compared to virtual infrastructures with central nodes, our virtual infrastructure is more symmetric and stable, but still light-weight. In our clustering scheme, cluster initialization naturally blends into cluster maintenance, showing the unity between these two operations. …
Lightweight Federation Of Non-Cooperating Digital Libraries, Rong Shi
Lightweight Federation Of Non-Cooperating Digital Libraries, Rong Shi
Computer Science Theses & Dissertations
This dissertation studies the challenges and issues faced in federating heterogeneous digital libraries (DLs). The objective of this research is to demonstrate the feasibility of interoperability among non-cooperating DLs by presenting a lightweight, data driven approach, or Data Centered Interoperability (DCI). We build a Lightweight Federated Digital Library (LFDL) system to provide federated search service for existing digital libraries with no prior coordination.
We describe the motivation, architecture, design and implementation of the LFDL. We develop, deploy, and evaluate key services of the federation. The major difference to existing DL interoperability approaches is one where we do not insist on …
Programmable Process Flow Networks, Filip D. Cuckov
Programmable Process Flow Networks, Filip D. Cuckov
Electrical & Computer Engineering Theses & Dissertations
A model that introduces programmability to processes occurring in a cargo terminal simulation through the use of a process language is presented in this thesis. The model provides a means for a straight-forward definition, and redefinition of changing processes, their incorporation in the simulation architecture and efficient execution. The model was built to investigate a solution for transforming the cargo terminal simulation CPortS into a process-oriented simulation without hard-coded processes. The approach taken separates the system into an architecture and a set of processes which utilize and interact with the architecture's resources and infrastructure. The processes that take place within …
Creating Software [Sic] Environments On An M-Node Beowulf Cluster To Execute Discrete-Event Simulations, Jermaine Fitz-Gerald Headley
Creating Software [Sic] Environments On An M-Node Beowulf Cluster To Execute Discrete-Event Simulations, Jermaine Fitz-Gerald Headley
Electrical & Computer Engineering Theses & Dissertations
This thesis describes the development of a software tool that facilitates the creation of software environments that make a simulation tool execute k replications of an application program on several nodes of an M-node Beowulf cluster. It is assumed that each cluster-node consists of p processors. The p processors that are contained in the master cluster-node are termed master processors, and the p processors that are contained in a slave cluster-node are termed slave processors. The slave processors are used to execute the replications, while the master processors are dedicated to schedule the replications and process other housekeeping chores. For …
Generalization Issues In Pattern Classification Applied To Speaker Identification, Mame C. Sall
Generalization Issues In Pattern Classification Applied To Speaker Identification, Mame C. Sall
Electrical & Computer Engineering Theses & Dissertations
This thesis is an extension of previous work on speaker identification, but with a primary focus on the generalization performance of patterns classifiers for speaker identification. The goal for all pattern classifiers is to generalize to new data, not just perform well on the training data set. The error on the training data is typically a biased estimate of the generalization error. The training set error tends to be smaller than the generalization error if the model is selected such that it minimizes the training error. Therefore, the training error alone should not be used as a good predictor of …
Image Compression By Vector Quantization Of Dct Coefficients Using A Self-Organizing Neural Network, Kirankumar Boyapati
Image Compression By Vector Quantization Of Dct Coefficients Using A Self-Organizing Neural Network, Kirankumar Boyapati
Electrical & Computer Engineering Theses & Dissertations
Image compression is used to remove different types of redundancies and irrelevant information in an image so that the space required for storing the image is minimized. Conventional transform based techniques remove the redundancies between adjacent pixels and irrelevant information in the image but fail to remove the redundancies between different parts of the image. There are techniques like vector quantization, which take care of the redundant information in different parts of the image, but fail to remove the irrelevant information in the image. In this thesis a new technique for lossy digital image compression is proposed which is a …
Applying A Simulation-Based Real-Time Decision Making Method To Mass Casualty Scenarios In Hospital Emergency Departments, Fatemah Al-Douli
Applying A Simulation-Based Real-Time Decision Making Method To Mass Casualty Scenarios In Hospital Emergency Departments, Fatemah Al-Douli
Electrical & Computer Engineering Theses & Dissertations
The high possibility of having a mass casualty incident compels hospitals to plan ahead in order to sufficiently provide the healthcare needed to as many casualty victims as possible. The Emergency Rooms (ER) are usually hospitals' main entrance for many casualties. Therefore, the ER in the Children's Hospital of the King's Daughters (CHKD) was selected as the system to be examined. The ER in CHKD, the only specialized pediatric ER in the region, already struggles to handle very high patient arrival rates. Consequently, it is expected that treating a large number of patients surviving within a very short period of …
Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 21, Number 6, March 2005, College Of Engineering And Computer Science, Wright State University
Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 21, Number 6, March 2005, College Of Engineering And Computer Science, Wright State University
BITs and PCs Newsletter
An eight page newsletter created by the Wright State University College of Engineering and Computer Science that addresses the current affairs of the college.
A Dynamic Pruning And Feature Selection Strategy For Real-Time Tracking, D. Frank Hsu, Damian M. Lyons
A Dynamic Pruning And Feature Selection Strategy For Real-Time Tracking, D. Frank Hsu, Damian M. Lyons
Faculty Publications
Automated video tracking is useful in a number of applications such as surveillance, multisensor networks, robotics and virtual reality. In this paper we investigate an approach to tracking based on fusing the output of a collection of video trackers, each attending to a different feature or cue on the target. We show both theoretically and experimentally that the method used to prune the growth of target hypotheses can have a great impact on the trackers performance, and indirectly, change the benefit of using linear score combination as opposed to a non-linear rank combination for fusion. We also show that the …
Nsf Advance: Institutional Transformation For Faculty Diversity - Faculty Worklife Survey Results, Manuela Romero, Ann Q. Gates
Nsf Advance: Institutional Transformation For Faculty Diversity - Faculty Worklife Survey Results, Manuela Romero, Ann Q. Gates
Departmental Technical Reports (CS)
The The University of Texas at El Paso (UTEP) received an NSF ADVANCE grant in October 2003 to create an initiative for institutional change with the goal of serving as a model for other institutions that desire to increase the representation and advancement of women, including underrepresented minorities, in academic science and engineering careers. In the first year of the grant, co-PI's Ann Gates and Patricia Witherspoon worked with the ADVANCE Program Evaluator, Manuela Romero, to create an instrument to survey faculty work life at UTEP. The instrument is based on the "Study of Faculty Work Life" survey instrument that …
Supporting Documentation For The 2003 Sps-Prospec Experiment, Oscar Mondragon, Salamah Salamah
Supporting Documentation For The 2003 Sps-Prospec Experiment, Oscar Mondragon, Salamah Salamah
Departmental Technical Reports (CS)
In spring of 2003 an empirical study was conducted to compare the effectiveness of the Prospec tool with the Specification Pattern System (SPS). The objective of the experiment was to determine the effect that Prospec and SPS have over the completeness and correctness of the generated software property specifications. The purpose of this document is to present the material that was used during the experiment, and to document how the classification of the patterns and scopes of each trial was validated.
A Contextual Interpretation Of Undefinedness For Runtime Assertion Checking, Yoonsik Cheon, Gary T. Leavens
A Contextual Interpretation Of Undefinedness For Runtime Assertion Checking, Yoonsik Cheon, Gary T. Leavens
Departmental Technical Reports (CS)
Runtime assertion checkers and static checking and verification tools must all cope with the well-known undefinedness problem of logic. This problem is particularly severe for runtime assertion checkers, since, in addition to the possibility of exceptions and errors, runtime assertion checkers must cope with non-executable expressions (such as certain quantified expressions). This paper describes how the runtime assertion checker of the Java Modeling Language (JML) copes with undefinedness. JML is interesting because it attempts to satisfy the needs of a wide range of tools; besides runtime assertion checking, these include static checking tools (like ESC/Java) and static verification tools. These …
Fast Algorithm For Computing The Upper Endpoint Of Sample Variance For Interval Data: Case Of Sufficiently Accurate Measurements, Gang Xiang
Departmental Technical Reports (CS)
When we have n results x1,...,xn of repeated measurement of the same quantity, the traditional statistical approach usually starts with computing their sample average E and their sample variance V. Often, due to the inevitable measurement uncertainty, we do not know the exact values of the quantities, we only know the intervals [xi] of possible values of xi. In such situations, for different possible values xi from [xi], we get different values of the variance. We must therefore find the range [V] of possible values of V. It is known that in general, this problem is NP-hard. For the case …
Simple Public Key Infrastructure Analysis Protocol Analysis And Design, Alexander G. Vidergar
Simple Public Key Infrastructure Analysis Protocol Analysis And Design, Alexander G. Vidergar
Theses and Dissertations
Secure electronic communication is based on secrecy, authentication and authorization. One means of assuring a communication has these properties is to use Public Key Cryptography (PKC). The framework consisting of standards, protocols and instructions that make PKC usable in communication applications is called a Public Key Infrastructure (PKI). This thesis aims at proving the applicability of the Simple Public Key Infrastructure (SPKI) as a means of PKC. The strand space approach of Guttman and Thayer is used to provide an appropriate model for analysis. A Diffie-Hellman strand space model is combined with mixed strand space proof methods for proving the …
A Line-Of-Slight Sensor Network For Wide Area Video Surveillance: Simulation And Evaluation, Jamie R. Morrison
A Line-Of-Slight Sensor Network For Wide Area Video Surveillance: Simulation And Evaluation, Jamie R. Morrison
Theses and Dissertations
Substantial performance improvement of a wide area video surveillance network can be obtained with the addition of a Line-of-Sight sensor. The research described in this thesis shows that while the Line-of-Sight sensor cannot monitor areas with the ubiquity of video cameras alone, the combined network produces substantially fewer false alarms and superior location precision for numerous moving people than video. Recent progress in the fabrication of inexpensive, robust CMOS-based video cameras have triggered a new approach to wide area surveillance of busy areas such as modeling an airport corridor as a distributed sensor network problem. Wireless communication between these cameras …
Geolocation Of A Node On A Local Area Network, John R. Clarson
Geolocation Of A Node On A Local Area Network, John R. Clarson
Theses and Dissertations
Geolocation is the process of identifying a node using only its Internet Protocol (IP) address. Locating a node on a LAN poses particular challenges due to the small scale of the problem and the increased significance of queuing delay. This study builds upon existing research in the area of geolocation and develops a heuristic tailored to the difficulties inherent in LANs called the LAN Time to Location Heuristic (LTTLH). LTTLH uses several polling nodes to measure latencies to end nodes, known locations within the LAN. The Euclidean distance algorithm is used to compare the results with the latency of a …
Weapon Release Scheduling From Multiple-Bay Aircraft Using Multi-Objective Evolutionary Algorithms, Francis R. Lyons Iv
Weapon Release Scheduling From Multiple-Bay Aircraft Using Multi-Objective Evolutionary Algorithms, Francis R. Lyons Iv
Theses and Dissertations
The United States Air Force has put an increased emphasis on the timely delivery of precision weapons. Part of this effort has been to us multiple bay aircraft such the B-1B Lancer and B-52 Stratofortress to provide Close Air Support and responsive strikes using 1760 weapons. In order to provide greater flexibility, the aircraft carry heterogeneous payloads which can require deconfliction in order to drop multiple different types of weapons. Current methods of deconfliction and weapon selection are highly crew dependent and work intensive. This research effort investigates the optimization of an algorithm for weapon release which allows the aircraft …
Accelerating Missile Threat Engagement Simulations Using Personal Computer Graphics Cards, Sean E. Jeffers
Accelerating Missile Threat Engagement Simulations Using Personal Computer Graphics Cards, Sean E. Jeffers
Theses and Dissertations
The 453rd Electronic Warfare Squadron supports on-going military operations by providing battlefield commanders with aircraft ingress and egress routes that minimize the risk of shoulder or ground-fired missile attacks on our aircraft. To determine these routes, the 453rd simulates engagements between ground-to-air missiles and allied aircraft to determine the probability of a successful attack. The simulations are computationally expensive, often requiring two-hours for a single 10-second missile engagement. Hundreds of simulations are needed to perform a complete risk assessment which includes evaluating the effectiveness of countermeasures such as flares, chaff, jammers, and missile warning systems. Thus, the need for faster …
Effect Of Training Datasets On Support Vector Machine Prediction Of Protein-Protein Interactions, Siaw Ling Lo, Cong Zhong Cai, Maxey Chung, Yu Zong Chen
Effect Of Training Datasets On Support Vector Machine Prediction Of Protein-Protein Interactions, Siaw Ling Lo, Cong Zhong Cai, Maxey Chung, Yu Zong Chen
Research Collection School Of Computing and Information Systems
Knowledge of protein-protein interaction is useful for elucidating protein function via the concept of 'guilt-by-association'. A statistical learning method, Support Vector Machine (SVM), has recently been explored for the prediction of protein-protein interactions using artificial shuffled sequences as hypothetical noninteracting proteins and it has shown promising results (Bock, J. R., Gough, D. A., Bioinformatics 2001, 17, 455-460). It remains unclear however, how the prediction accuracy is affected if real protein sequences are used to represent noninteracting proteins. In this work, this effect is assessed by comparison of the results derived from the use of real protein sequences with that derived …
Enabling Intrusion Detection In Ipsec Protected Ipv6 Networks Through Secret-Key Sharing, Patrick J. Sweeney
Enabling Intrusion Detection In Ipsec Protected Ipv6 Networks Through Secret-Key Sharing, Patrick J. Sweeney
Theses and Dissertations
As the Internet Protocol version 6 (IPv6) implementation becomes more widespread, the IP Security (IPSec) features embedded into the next-generation protocol will become more accessible than ever. Though the network-layer encryption provided by IPSec is a boon to data security, its use renders standard network intrusion detection systems (NIDS) useless. The problem of performing intrusion detection on encrypted traffic has been addressed by differing means with each technique requiring one or more static secret keys to be shared with the NIDS beforehand. The problem with this approach is static keying is much less secure than dynamic key generation through the …
Multi-Aoi-System For Easy Changing Angles Of Incidence In Ellipsometer, Polarimeter And Reflectometer Systems, Blaine D. Johs, Ping He, Martin M. Liphardt, Christopher A. Goeden, John A. Woollam, James D. Welch
Multi-Aoi-System For Easy Changing Angles Of Incidence In Ellipsometer, Polarimeter And Reflectometer Systems, Blaine D. Johs, Ping He, Martin M. Liphardt, Christopher A. Goeden, John A. Woollam, James D. Welch
Department of Electrical and Computer Engineering: Faculty Publications
Disclosed is a system for enabling easy sequential setting of different Angles-of-Incidence of a beam of electromagnetic radiation to a surface of a sample system, and to regression based methodology for evaluating and compensating the effects of the presence of electromagnetic beam intercepting angle-of-incidence changing systems, including where desired, parameterization of calibration parameters.
Generalized Phase Space Projection For Nonlinear Noise Reduction, Michael T. Johnson, Richard J. Povinelli
Generalized Phase Space Projection For Nonlinear Noise Reduction, Michael T. Johnson, Richard J. Povinelli
Electrical and Computer Engineering Faculty Research and Publications
Improved phase space projection methods, adapted from related work in the linear signal processing field based on subspace decomposition, are presented for application to the problem of additive noise reduction in the context of phase space analysis. These methods improve upon existing methods such as Broomhead–King singular spectrum analysis projection by minimizing overall signal distortion subject to constraints on the residual error, rather than using a direct least-squares fit. This results in a range of weighted projections which estimate and compensate for the portion of the principal component's singular values corresponding to noise rather than signal energy, and which include …
Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 21, Number 5, February 2005, College Of Engineering And Computer Science, Wright State University
Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 21, Number 5, February 2005, College Of Engineering And Computer Science, Wright State University
BITs and PCs Newsletter
A six page newsletter created by the Wright State University College of Engineering and Computer Science that addresses the current affairs of the college.
Specifying And Checking Method Call Sequences In Jml, Yoonsik Cheon, Ashaveena Perumandla
Specifying And Checking Method Call Sequences In Jml, Yoonsik Cheon, Ashaveena Perumandla
Departmental Technical Reports (CS)
In a pre- and post-conditions style specification, it is difficult to specify allowed sequences of method calls, often called protocols. However, the protocols are essential properties of reusable object-oriented classes and application frameworks, and the approaches based on the pre- and post-conditions, such as design by contracts (DBC) and formal behavioral interface specification languages (BISL), are being accepted as a practical and effective way of describing precise interfaces of (reusable) program modules. We propose a simple extension to JML, a BISL for Java, to specify protocol properties in an intuitive and concise manner. We also define a formal semantics of …