2540 search results - page 299 / 508 » Abstract Logics as Dialgebras |
83
Voted
ISMVL
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—The paper studies graded properties of MTL valued binary connectives, focusing on conjunctive connectives such as t-norms, uninorms, aggregation operators, or quasicopul...
124
Voted
DEON
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We show that a recently developed theory of positive permission based on the notion of derogation is hampered by a triviality result that indicates a problem with the und...
95
Voted
ECMDAFA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In domain-specific development model-driven development environments play an important role. Most of these environments only provide support for language engineering, bu...
103
Voted
HPCC
2009
Springer
15 years 5 months ago
2009
Springer
Abstract—In this paper, a novel architecture for a streaming intrusion detection system for Grid computing environments is presented. Detection mechanisms based on traditional lo...
91
Voted
ATAL
2001
Springer
15 years 5 months ago
2001
Springer
One source of trust for physical trading systems is their physical assets and simply their presence. A similar baseline does not exist for electronic trading systems, but one way i...