2540 search results - page 290 / 508 » Abstract Logics as Dialgebras |
95
Voted
ICDE
2005
IEEE
15 years 6 months ago
2005
IEEE
Abstract Although e-commerce is becoming popular, product rules, which describe various conditions such as prices, applicability, and discount conditions are still expressed in nat...
ICDE
2005
IEEE
15 years 6 months ago
2005
IEEE
Abstract— Detecting and unraveling incipient coordinated attacks on Internet resources requires a distributed network monitoring infrastructure. Such an infrastructure will have ...
138
click to vote
DALT
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This paper extends a programming language for implementing cognitive agents with the capability to explicitly represent beliefs and reason about them. In this programming...
96
Voted
FASE
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. The build architecture of legacy C/C++ software systems, groups program files in directories to represent logical components. The interfaces of these components are loos...
FOSSACS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We investigate a category theoretic model where both “variables” and “names”, usually viewed as separate notions, are particular cases of the more general notion ...