4737 search results - page 599 / 948 » The LOGIC negotiation model |
224
click to vote
FUZZIEEE
2007
IEEE
15 years 11 months ago
2007
IEEE
One of the most important features of fuzzy set theory is its potential for the modeling of natural language expressions. Most works done on this topic focus on some parts of natur...
208
click to vote
HOTOS
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper, we propose FLUXO, a system that separates an Internet service's logical functionality from the architectural decisions made to support performance, scalability...
195
click to vote
APLAS
2004
ACM
15 years 11 months ago
2004
ACM
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher-order programs. The ...
210
click to vote
DIAGRAMS
2004
Springer
15 years 11 months ago
2004
Springer
Constraint diagrams are a diagrammatic notation which may be used to express logical constraints. They were designed to complement the Unified Modeling Language in the development ...
211
click to vote
FSKD
2006
Springer
15 years 11 months ago
2006
Springer
This paper argues about the deployment positions of Network-based Intrusion Detection System and suggests the "Distributed Network Security Sensors" distributed among the...