2540 search results - page 299 / 508 » Abstract Logics as Dialgebras |
170
click to vote
ISMVL
2010
IEEE
16 years 20 days 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...
245
Voted
DEON
2010
Springer
16 years 12 days 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...
190
Voted
ECMDAFA
2010
Springer
16 years 12 days 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...
189
click to vote
HPCC
2009
Springer
16 years 6 days 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...
175
click to vote
ATAL
2001
Springer
16 years 3 days 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...