3564 search results - page 433 / 713 » Evaluating a Formal Modelling Language |
264
click to vote
ICDE
2009
IEEE
16 years 5 months ago
2009
IEEE
Mediator-based data integration systems resolve exploratory queries by joining data elements across sources. In the presence of uncertainties, such multiple expansions can quickly ...
118
click to vote
ARGMAS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This paper presents a coherentist approach to argumentation that extends previous proposals on cognitive coherence based agent communication pragmatics (inspired from soc...
127
Voted
COMMA
2006
15 years 5 months ago
2006
Abstract. This paper presents a coherentist approach to argumentation that extends previous proposals on cognitive coherence based agent communication pragmatics (inspired from soc...
123
click to vote
ENTCS
2007
15 years 3 months ago
2007
In this paper we propose a formalization of access control policies based on term rewriting. The state of the system to which policies are enforced is represented as an algebraic ...
112
Voted
ICDCS
2009
IEEE
16 years 1 months ago
2009
IEEE
We identify a new type of stateful IDS evasion, named signature evasion. We formalize the signature evasion on those Stateful IDSs whose state can be modeled using Deterministic F...