4209 search results - page 59 / 842 » Abstract Dialectical Frameworks |
119
click to vote
FOIS
2010
15 years 4 months ago
2010
Abstract. The paper examines the semantics of the terms `environment' and `habitat' and presents a semi-formalised ontological framework in which these concepts are relat...
123
click to vote
PDPTA
2004
15 years 4 months ago
2004
Abstract-- Service descriptions based on type hiernd abstract service states ruling the availability of operations permit more secure service combinations in distributed systems de...
105
click to vote
TVLSI
2008
15 years 2 months ago
2008
Abstract--We present a refinement-based compositional framework for showing that pipelined machines satisfy the same safety and liveness properties as their non-pipelined specifica...
117
click to vote
DAIS
2006
15 years 4 months ago
2006
To maintain availability and responsiveness, mobile applications sharing data often work on their own copy and transmit local changes to other participants. Existing systems for re...
139
click to vote
ESORICS
2011
Springer
14 years 2 months ago
2011
Springer
While most research on XSS defense has focused on techniques for securing existing applications and re-architecting browser mechanisms, sanitization remains the industry-standard d...