3931 search results - page 534 / 787 » Separation logic and abstraction |
163
click to vote
ISMVL
2010
IEEE
16 years 9 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...
242
click to vote
DEON
2010
Springer
16 years 1 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...
183
click to vote
ECMDAFA
2010
Springer
16 years 1 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...
184
click to vote
HPCC
2009
Springer
15 years 12 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...
171
click to vote
ATAL
2001
Springer
15 years 11 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...