4211 search results - page 467 / 843 » A formal approach to MASQ |
176
click to vote
SIGPLAN
2008
15 years 6 months ago
2008
Many organizations specify information release policies to describe the terms under which sensitive information may be released to other organizations. This paper presents a new a...
159
click to vote
JNCA
2007
15 years 6 months ago
2007
An approach for detecting feature interactions in IETF’s Call Processing Language (CPL) scripts is presented. The approach is logic based in the sense that it uses a logic repre...
156
click to vote
KAIS
2007
15 years 6 months ago
2007
Eliciting requirements for a proposed system inevitably involves the problem of handling undesirable information about customer’s needs, including inconsistency, vagueness, redun...
175
click to vote
CSCW
2004
ACM
15 years 6 months ago
2004
ACM
We describe a new collaborative technology that bridges the gap between ad hoc collaboration in email and more formal collaboration in structured shared workspaces. Our approach is...
233
click to vote
SIAMAM
2000
15 years 6 months ago
2000
Effects of small perturbations from a liquid-gas coexistence equilibrium (the Maxwell states) is studied for an isothermal (or isentropic) gas-liquid phase transition in a sealed o...