Articles tagged with Software
A new method uses static code analysis to guide test case generation, detecting common types of concurrency errors. It outperforms existing methods by integrating dynamic analysis and minimizing false positives.
Researchers propose novel protocol structure model to analyze and verify service-oriented systems, incorporating dependencies for synchronous, asynchronous, and broadcast communications. The model combines features of partial orders and Petri nets to tackle complex software development challenges.
A Concordia librarian advocates for open source technology to make academic journals freely available, reducing subscription fees. The initiative aims to ensure institutional support for long-term sustainability and promotes the mission of libraries to support scholarly research.
Researchers developed a grammar-aware password cracker that can bypass security with 10% of dataset cracked exclusively by the team's algorithm. The study highlights the importance of using different parts of speech in passwords, as pronouns are far fewer in number than other words.
DARPA's Adaptive Vehicle Make (AVM) program aims to reduce costs and lead times in developing new military vehicles by transforming the design and manufacturing process. Vanderbilt University's Institute for Software Integrated Systems is leading the development of engineering software, including META-X tool CyPhy.
Researchers Ang Cui and Salvatore Stolfo found critical security breaches in Cisco VoIP phone technology, allowing hackers to eavesdrop on private conversations globally. They developed a new defense technology called Software Symbiotes to protect embedded systems from malicious code injection attacks.
Researchers at the University of Rochester developed a computer program that analyzes 12 features of speech to identify six emotions from sound recordings, achieving 81% accuracy. The system can be used to develop complex apps that adjust colors and music based on user emotions.
Researchers developed a new natural language processing tool to extract access control policies from customer requirements. The tool translates ACPs into machine-readable language, verifying and testing their adequacy in meeting security needs.
The ProteoWizard Toolkit allows scientists to easily analyze and share multi-platform mass spectrometry data, a major breakthrough for large-scale biological research. The software is expected to improve the understanding of complex diseases like cancer.
TransOS enables seamless interaction with files and applications from anywhere in the world, eliminating hardware and software dependencies. The researchers aim to extend TransOS beyond personal computers to other devices, including mobile phones and appliances.
A new digital tabletop system, PiVOT, allows users to view shared content while each individual receives a personalized view, with multiple views possible at the same location without interfering with others. The system supports various applications and has been implemented with a sample prototype evaluated for its effectiveness.
A home-based computer software, ClockMe System, allows adults to screen themselves for early signs of dementia. The system scores the participant's clock-drawing test and records the duration and timing of the test, providing valuable insight into thought processes.
Researchers at the University of Texas at Dallas have developed a technique called 'space travel' that allows one computer in a virtual network to monitor another for intrusions and malware. This technology bridges the gap between hardware and software systems, enabling more efficient threat detection.
A new algorithm developed by Georgia Tech can identify influencers as information changes within a network, making it more efficient than existing algorithms. The software can process streaming graphs up to 100 times faster and has wide-ranging applications in advertising, transportation, and other fields.
Researchers created digital organisms in Avida to study mate attraction, finding that even costless displays evolved as indicators of genetic quality. This challenges traditional theories on ornamental displays serving as signals for virility.
Researchers at UT Dallas have developed a new software system, dubbed Frankenstein, that can evade traditional antivirus scanning mechanisms. This innovative technology takes code from existing programs and repurposes it to create malicious software, providing a 'cloak of invisibility' for attackers.
A study will assess software engineering students' teamwork skills using objective and quantitative measures, developing software models that predict team success. The research aims to provide advice to teachers and industry leaders on managing teams, emphasizing the importance of 'soft skills',
Organisms build unnecessary structures during development to avoid disrupting later stages of growth. This approach allows newly evolved traits to emerge at the end of development with less risk of disruption.
Vega is a general-purpose modeling software that allows users to simulate and move complex objects in real-time. With over 50,000 lines of software code, it offers a wide range of materials and deformable simulation methods, making it a powerful tool for animation, game artists, and engineers.
Researchers face challenges in porting applications across different mobile devices and platforms due to screen size and input/output differences. A new device-independent mobile application model aims to reduce software development costs and maximize profits.
A group of computer graphics experts led by Harvard researcher Moritz Bächer create a software tool that translates video game characters into fully articulated action figures using 3D printing. The tool optimizes joint placement, size, and location for physical constraints, producing robust and realistic printed figures.
A new method developed by Tel Aviv University's Prof. Lev Eppelbaum successfully uncovered a previously unknown polymetallic reserve in the Caucasus mountainside, containing over 500,000 tons of copper, zinc, lead, aluminium, and gold-silver mixtures.
Researchers at MIT have developed a new remote-login program called Mosh, which solves many of SSH's problems and handles roaming better. The underlying communication scheme could also improve other mobile applications, such as Gmail or Google Chat.
BioImageXD is an open-source software that enables the analysis of cell and tissue functions by rendering microscopic images into three-dimensional models. The software allows scientists to study how molecules move on cell surfaces, bond together, and analyze cancer cells' behavior.
A computer-software program, LOGIC-Insulin, effectively controlled blood-sugar levels in critically ill patients compared to nurse-directed care. The study showed improved blood-glucose control and reduced risk of hypoglycemia in the LOGIC-Insulin group.
Researchers at the University of Saskatchewan have developed a powerful new tool for analyzing kinases, which are enzymes involved in various cellular processes. The software promises to improve data accuracy and understanding of biology, representing important treatment targets for diseases.
Researchers at Concordia University have developed 3D drawing tools for a software system called Sandde, which allows artists to work intuitively by drawing in thin air. The project aims to bring new dimensionality to visual art, facilitating the free movement of artists as they add 3D layers to their work.
Researchers have restructured their virus-tracking software to allow for modular development and integration with other applications. The new implementation enables public health scientists to update maps on the evolution and spread of pathogens, facilitating better deployment of resources to protect citizens and forces in the field.
AEMASE is a cognitive software application that updates its knowledge of experts' performance in real-time, automatically evaluating student performance and reducing overall training costs. The system will be used to train Navy personnel on various aircraft, including the H-60 helicopter and E-2C Hawkeye aircraft.
A study by UC Irvine and U.S. Army researchers found that cutting off work email significantly reduces stress and improves concentration among employees. Without email, participants experienced more natural heart rates and were able to multitask less and stay focused.
A new study shows that tablet-based conference mirroring enhances radiology residents' learning experience by allowing them to manipulate images, zoom in on subtle abnormalities, and participate remotely. More than 75% of residents who participated in this format strongly agreed that it improved their learning.
Luis von Ahn is being recognized for his pioneering work on crowdsourcing and human computation. His research has enabled humans and computers to solve complex problems together, with applications in image recognition and computer security.
A new flood simulation tool, combined with the Dams Sector Analysis Tool, enables rapid visualization and training for emergency responders. The software can model catastrophic flooding in under 24 minutes, improving disaster management and preparedness.
Researchers developed a novel system for 3D reconstruction and examination of tissues at microscopic resolution, enhancing the study of normal and disease processes. The new approach uses conventional histopathological methods and can be used by technical or medical staff without input from computing specialists.
The Multi-Mode Sensor Seeker (MMSS) sensor uses high-definition cameras, mid-wave infrared sensors, and laser-radar to autonomously identify small boats on the water, reducing workload for Sailors.
A smart home uses sensors and software to anticipate household needs, improving health and energy efficiency. Washington State University's Diane Cook envisions a future where homes can monitor elderly residents' activities and alert caregivers.
A Michigan State University study found that computer users with triple-threat protective software are 50% less likely to have their credit card information stolen. Computer-related deviance, such as downloading pirated content, increases the risk of identity theft.
A new study by University at Buffalo economist Gilad Sorek suggests that firms can stimulate demand for their products by giving up patent protection. This approach, known as free-licensing, increases the likelihood of further innovation and raises profits for the original innovator.
Visual HABIT software helps predict crystal properties in different chemical environments, reducing early-stage laboratory research and development costs. The technology enables companies to adopt a 'bottom-up' approach to product design in pharmaceutical, agrochemical, and fuel sectors.
UCL Engineering has been awarded £18 million by the EPSRC to tackle major ICT challenges. The funding will support three projects: developing high-capacity optical communication systems, advancing wireless technology using terahertz frequency band, and creating a radical new software engineering technique.
The EPSRC has awarded £18 million to three ICT projects at UCL Engineering, focusing on optical communication technologies, wireless technology, and adaptive software engineering. The projects aim to develop new generation of optical fibers, unlock more bandwidth, and improve software development efficiency.
A new software program can detect ICD problems earlier than traditional monitoring methods, potentially saving thousands of patients from health risks. The automated system analyzed large databases of ICD patients and found issues with recalled leads at least a year before recalls were issued.
Four UT Engineering faculty members received CAREER awards totaling nearly $1.4 million from the National Science Foundation to support their innovative research projects. The awards aim to foster outstanding research, education, and collaboration among junior faculty.
A new attack was discovered that can bypass security provided by OpenSSL, a widely used cryptography toolkit. The attack targets a specific version of the software and requires a specific set of options to work, but highlights the need for formal verification and correctness in open source software.
Researchers at Saarland University developed a software system that automatically tests web applications for malfunctions and security vulnerabilities. The system, called 'Webmate,' generates test scenarios based on the application's components and user interactions, helping developers identify and fix errors.
StopTheHacker, a UC Riverside graduate-led start-up, has received $1.1 million in funding to launch sales and marketing of its web site security product that uses artificial intelligence algorithms to detect malware. The company aims to help small and medium-sized businesses protect themselves against hacker attacks.
Researchers at the University of Nottingham have developed a revolutionary technique using X-ray Micro Computed Tomography (Micro-CT) to analyze plant roots with unprecedented accuracy. This breakthrough enables the identification of root architecture in three dimensions, paving the way for improved crop breeding and food security.
A new computational method has been developed to analyze RNA motifs, revealing new structural patterns that can help understand the role of RNA in cellular function. This breakthrough may lead to new treatments for certain diseases, according to researchers at the University of Central Florida.
A study by Universidad Carlos III de Madrid's Computer Science Department investigates emotions' importance in software engineering, focusing on requirements engineering. The researchers applied a social psychology tool, the affect grid, to discover that emotions impact requirements development and user experience.
Aurora Clark adapts Google's PageRank algorithm to create moleculaRnetworks, enabling researchers to determine molecular shapes and chemical reactions without the need for lab experiments. This technology focuses on hydrogen bonds in water and has applications in drug design, disease research, and environmental analysis.
A mobile device called iHeal combines sensors to detect physiological changes and software applications to intervene in real-time. The device aims to prevent drug use by identifying trigger points for risky health behaviors.
Researchers have created a biological computer that uses biomolecules to decipher images encrypted on DNA chips, showcasing the potential for a new type of computing system. The device, based on Alan Turing's design, can process vast amounts of information in parallel, making it faster than traditional electronic computers.
The ALMA project aims to simplify software development for embedded multi-core processors, reducing development time and costs. The new tool chain uses open-source Scilab software and focuses on close co-design of software and hardware.
The Urban Blast Tool uses pre-calculated pressure loads to predict damage patterns in surrounding areas, enabling first responders to prioritize their activities. The tool can calculate the initial blast loads in fine detail and store those results for later use.
The Department of Homeland Security's Science and Technology Directorate has published a series of guides to help buildings withstand extreme hazards, such as earthquakes, hurricanes, and terrorism. These resources provide architects, engineers, and building owners with the tools needed to design critical infrastructure that can absorb...
The University of Hawaii will develop a virtual reality software application to help jobseekers with disabilities navigate the world of job hunting and adapt to the workplace. The project aims to improve employment opportunities for people with disabilities, including veterans with traumatic brain injury.
Computer scientists at the University of Texas at Austin have created a detailed analysis of application power, performance, and energy on various hardware. The results show that different software types have varying levels of power usage, making optimization for energy efficiency crucial. This study has significant implications for co...
The Mission-Focused Autonomy (MFA) program utilizes collaborative tools to share information from government databases, supporting law enforcement efforts on foreign nationals intent on harming national security. MFA speeds up decision-making by providing timely and accurate information, enabling more effective allocation of assets.
Researchers at NIST developed a new software to quantify the friction of graphene, finding that the material becomes more slippery when stacked. The study provides new quantitative data and sheds light on the differences in graphene's friction compared to three-dimensional graphite-like materials.
A multidisciplinary team at Carnegie Mellon University will develop software to enable doctors to diagnose diseases using a patient's DNA sequence. The project aims to create a tool that can analyze the vast amount of information in the human genome and identify disease susceptibility and treatment responsiveness.