24 search results - page 3 / 5 » cas 2004 |
INEX
2004
Springer
13 years 10 months ago
2004
Springer
NEXI was introduced in INEX 2004 as a query language for specifying structured and unstructured queries on XML documents. A language expressive enough for INEX yet simple enough f...
SAM
2004
13 years 6 months ago
2004
We propose a partial order reduction for model checking security protocols for the secrecy property. Based on this reduction we develop an automatic tool that can check security pr...
SPAA
2004
ACM
13 years 10 months ago
2004
ACM
Despite years of research, the design of efficient nonblocking algorithms remains difficult. A key reason is that current shared-memory multiprocessor architectures support only s...
EUSAI
2004
Springer
13 years 10 months ago
2004
Springer
Ambient intelligent applications require applications to recognise user activity calmly in the background, typically by instrumentation of environments. In contrast, we propose the...
CAS
2004
13 years 4 months ago
2004
? Network analysis, an area of mathematical sociology and anthropology crucial to the linking of theory and observation, developed dramatically in recent decades. These development...