10916 search results - page 1839 / 2184 » On Constructive Connectives and Systems |
197
click to vote
IJET
2007
15 years 6 months ago
2007
Remarkable advances in instructional communication technology (ICT) have now made is possible to provide high levels of enrichment and the kinds of curricular differentiation that...
201
click to vote
JCS
2002
15 years 6 months ago
2002
STATL is an extensible state/transition-based attack description language designed to support intrusion detection. The language allows one to describe computer penetrations as seq...
351
click to vote
NA
2011
15 years 1 months ago
2011
Grid adaptation in two-point boundary value problems is usually based on mapping a uniform auxiliary grid to the desired nonuniform grid. Here we combine this approach with a new ...
213
click to vote
TISSEC
2010
15 years 1 months ago
2010
Several credential systems have been proposed in which users can authenticate to service providers anonymously. Since anonymity can give users the license to misbehave, some varia...
191
click to vote
CIKM
2011
Springer
14 years 6 months ago
2011
Springer
We consider data exchange for XML documents: given source and target schemas, a mapping between them, and a document conforming to the source schema, construct a target document a...