中文
相关论文

相关论文: SWI-Prolog and the Web

200 篇论文

Given a closed-source program, such as most of proprietary software and viruses, binary code analysis is indispensable for many tasks, such as code plagiarism detection and malware analysis. Today, source code is very often compiled for…

密码学与安全 · 计算机科学 2018-12-27 Kimberly Redmond , Lannan Luo , Qiang Zeng

The SRv6 architecture (Segment Routing based on IPv6 data plane) is a promising solution to support services like Traffic Engineering, Service Function Chaining and Virtual Private Networks in IPv6 backbones and datacenters. The SRv6…

网络与互联网体系结构 · 计算机科学 2018-10-16 Pier Luigi Ventre , Mohammad Mahdi Tajiki , Stefano Salsano , Clarence Filsfils

In today's world, social networking is an important (power full) medium of mass communication. People of almost all classes have been interacting with each other and sharing their views, moments, and ideas by using enormous user-friendly…

软件工程 · 计算机科学 2020-06-25 Anjela Diana Corraya , Mousumi Akter Sumi , Sadia Islam Shachi , Ziaur Rahman

The Partially Ordered Workflow Language (POWL) has recently emerged as a process modeling notation, offering strong quality guarantees and high expressiveness. However, its adoption is hindered by the prevalence of standard notations like…

计算机科学中的逻辑 · 计算机科学 2025-09-22 Humam Kourani , Gyunam Park , Wil van der Aalst

In this paper a pipelined architecture of a high speed network security processor (NSP) for SSL,TLS protocol is implemented on a system on chip (SOC) where hardware information of all encryption, hashing and key exchange algorithms are…

硬件体系结构 · 计算机科学 2016-11-25 Rourab Paul , Amlan Chakrabarti , Ranjan Ghosh

A software architecture describes the structure of a computing system by specifying software components and their interactions. Mapping a software architecture to an implementation is a well known challenge. A key element of this mapping is…

编程语言 · 计算机科学 2011-06-22 Damien Cassou , Charles Consel , Emilie Balland , Julia Lawall

Multimodal interfaces are becoming increasingly important with the advent of mobile devices, accessibility considerations, and novel software technologies that combine diverse interaction media. This article investigates systems support for…

信息检索 · 计算机科学 2007-05-23 Atul Shenoy , Naren Ramakrishnan , Manuel A. Perez-Quinones , Srinidhi Varadarajan

An increasing number of scientific applications rely on stream processing for generating timely insights from data feeds of scientific instruments, simulations, and Internet-of-Thing (IoT) sensors. The development of streaming applications…

分布式、并行与集群计算 · 计算机科学 2018-11-13 Andre Luckow , George Chantzialexiou , Shantenu Jha

We present new system architecture, a distributed framework designed to support pervasive computing applications. We propose a new architecture consisting of a search engine and peripheral clients that addresses issues in scalability, data…

其他计算机科学 · 计算机科学 2011-08-12 Anis Ismail , Abd El Salam Al Hajjar , Ziad Ismail

Semantic Web of Things (SWoT) applications focus on providing a wide-scale interoperability that allows the sharing of IoT devices across domains and the reusing of available knowledge on the web. However, the application development is…

其他计算机科学 · 计算机科学 2016-09-29 Pankesh Patel , Amelie Gyrard , Dhavalkumar Thakker , Amit Sheth , Martin Serrano

We produce an increasing amount of data. This is positive as it allows us to make better informed decisions if we can base them on a lot of data. However, in many domains the `raw' data that is produced, is not usable for analysis due to…

数据库 · 计算机科学 2019-06-11 Hendrik Mölder

Prompt engineering is an increasingly important skill set needed to converse effectively with large language models (LLMs), such as ChatGPT. Prompts are instructions given to an LLM to enforce rules, automate processes, and ensure specific…

Existing decentralized storage protocols fall short of the service required by real-world applications. Their throughput, latency, cost-effectiveness, and availability are insufficient for demanding workloads such as video streaming,…

分布式、并行与集群计算 · 计算机科学 2025-06-25 Guy Goren , Andrew Hariri , Timothy D. R. Hartley , Ravi Kappiyoor , Alexander Spiegelman , David Zmick

In this work we present kiwiPy, a Python library designed to support robust message based communication for high-throughput, big-data, applications while being general enough to be useful wherever high-volumes of messages need to be…

分布式、并行与集群计算 · 计算机科学 2020-11-18 Martin Uhrin , Sebastiaan P. Huber

Web services are important in the processing of personal data in the World Wide Web. In light of recent data protection regulations, this processing raises a question about consent or other basis of legal processing. While a consent must be…

软件工程 · 计算机科学 2020-11-06 Kalle Hjerppe , Jukka Ruohonen , Ville Leppänen

Advances in natural language processing have resulted in large language models (LLMs) that are capable of generating understandable and sensible written text. Recent versions of these models, such as OpenAI Codex and GPT-3, can generate…

软件工程 · 计算机科学 2022-11-07 Stephen MacNeil , Andrew Tran , Arto Hellas , Joanne Kim , Sami Sarsa , Paul Denny , Seth Bernstein , Juho Leinonen

Much of the software we use in everyday life consists of distributed components (running on separate cores or even computers) that collaborate through communication (by exchanging messages). It is crucial to develop robust methods that can…

计算机科学中的逻辑 · 计算机科学 2024-03-04 Bas van den Heuvel

Large Language Models (LLMs) represent valuable intellectual property (IP), reflecting significant investments in training data, compute, and expertise. Deploying these models on partially trusted or insecure devices introduces substantial…

密码学与安全 · 计算机科学 2025-10-30 Racchit Jain , Satya Lokam , Yehonathan Refael , Adam Hakim , Lev Greenberg , Jay Tenenbaum

Web archives have grown to petabytes. In addition to providing invaluable background knowledge on many social and cultural developments over the last 30 years, they also provide vast amounts of training data for machine learning. To benefit…

数字图书馆 · 计算机科学 2022-09-27 Niklas Deckers , Martin Potthast

This proposal presents a graph computing framework intending to support both online and offline computing on large dynamic graphs efficiently. The framework proposes a new data model to support rich evolving vertex and edge data types. It…

分布式、并行与集群计算 · 计算机科学 2015-12-08 Zhao Yu Dong
‹ 上一页 1 8 9 10 下一页 ›