Software Applications
No mentions found
This entity hasn't been tracked yet, or Iris is still building its knowledge base.
Related Articles from SNS
Poking Around in the Dark: Why a Shared Understanding of Components Matters
arXiv:2606.02442v1 Announce Type: new Abstract: By listing the components included in an application, Software Bills of Materials (SBOMs) are intended to support the timely identification of vulnerable components and ensure the security of the software supply chain. However, we question the underlying assumption that there is agreement on the components to be listed in an SBOM and that current technology is sufficient to secure the software supply chain. First, we propose a ground-up...
Passive Learning of Symbolic Automata over Monotonic Algebras
arXiv:2606.06050v1 Announce Type: new Abstract: Symbolic automata extend classical finite-state automata to handle large or infinite alphabets by labeling transitions by predicates coming from a boolean algebra. Many results from automata theory have been lifted to this model, and it has proved its usefulness for example in multiple software verification applications. Here, we tackle the passive learning problem of identification in the limit, i.e. learning a model from a sample without...
Usability Analysis of Configurator User Interfaces with Multimodal Large Language Models
Announce Type: replace Abstract: Configuration is a key technology for tailoring complex software systems, services, and products. A successful application of configurators not only depends on technical correctness, performance, and domain modeling but also on their usability. While general usability heuristics are widely used, configurator-specific criteria and tool support for systematic user interface (UI) analysis are limited.
Jas: AI-Paired Engineering as a Revival of N-Version Programming
new Abstract: I report a case study in AI-paired software engineering: five working ports of a vector illustration application across Rust, Swift, OCaml, Python, and browser-based platforms, built by a single developer in approximately 120 evening hours. The methodology pairs AI-assisted implementation with two safeguards -- a precise executable YAML specification serving as the single source of truth, and parallel implementations functioning as a built-in differential-testing layer. The...
CLI-Anything: Towards Agent-Native Computer Use
Announce Type: new Abstract: As large language models advance in reasoning and tool use capabilities, researchers increasingly seek to leverage them for computer use agents that can interact with existing software. The dominant approach develops GUI agents that control applications through visual interfaces: interpreting screenshots, locating UI elements, and executing mouse clicks to mimic human interaction. This GUI-centric paradigm fundamentally misaligns with agent capabilities.
ESP32-S31
Comprehensive Connectivity ESP32-S31 integrates both wireless and wired connectivity for versatile networking. It supports 2.4 GHz Wi-Fi 6 (802.11ax) for enhanced transmission efficiency and reduced power consumption, making it ideal for battery-powered and always-connected devices. IEEE 802.15.4 enables Thread and Zigbee protocols, and Bluetooth® 5.4 (LE) supports LE Audio for high-quality, low-power audio streaming, Direction Finding, and Bluetooth Mesh 1.1 for scalable many-to-many device...
Ahoy, DECmate II the little PDP-8 that could
Now, that's a lot of word processing. But under the hood it's still at least PDP-8 adjacent, even considering its oddities and incompatibilities, and you can make it do many of the things a full-size Eight can. We'll take this basic unit, convert the floppy drives to solid state, tap the video output, and put it through its paces.
Exploring the connection between coding habits and cognitive styles in malware developers
Announce Type: new Abstract: Malware research primarily studies the results, the methods, and the impact. Even from an offensive security perspective, what is examined is the method, not the development strategy of the offender. This study investigates the behavioral signatures and coding patterns embedded in the malware source code.
MedCUA-Bench: A Screenshot-Only Benchmark for Clinical Computer-Use Agents
arXiv:2606.03203v1 Announce Type: new Abstract: Computer-use agents could automate repetitive screen-based clinical work, but their reliability in medical graphical user interfaces remains largely unvalidated. Existing benchmarks focus on general web or desktop tasks and underrepresent medical software, which requires domain knowledge, exhibits markedly different UI design from mainstream applications, lacks public testing environments, and demands safety validation beyond task completion....
Official checklist to follow to avoid passport renewal refusal
Official checklist to follow to avoid passport renewal refusal HM Passport Office has issued an official checklist Brits have been warned that simple mistakes could delay family holidays. His Majesty’s Passport Office has issued an official checklist for digital passport photos amid the annual rush for renewals ahead of the peak holiday season. Officials warned applications can be delayed if images fail to meet strict rules.