5465 search results - page 237 / 1093 » Assigning Types to Processes |
117
click to vote
WEBNET
2000
15 years 5 months ago
2000
The Resource Description Framework [RDF] provides a basic model to describe relationships between objects. Ultimately, it is intended to permit the representation, combination and ...
128
click to vote
FMCO
2008
Springer
15 years 5 months ago
2008
Springer
This paper outlines a general picture of our ongoing work under EU Mobius and Sensoria projects on a type-based compilation and execution framework for a class of multicore CPUs. O...
129
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
The majority of speaker verification systems proposed in the NIST speaker recognition evaluation are conditioned on the type of data to be processed: telephone or microphone. In ...
146
click to vote
ENTCS
2000
15 years 3 months ago
2000
We lift Cardelli, Ghelli and Gordon's secrecy group creation operator [1] to a relative of the spicalculus that supports symmetric key cryptography, and show a natural extens...
142
click to vote
DATESO
2009
15 years 1 months ago
2009
In recent years, many approaches to XML twig pattern query (TPQ) processing have been developed. Some algorithms are supported by a stream abstract data type. s an abstract data ty...