5634 search results - page 1122 / 1127 » About Abstract Classes |
CORR
2009
Springer
13 years 4 months ago
2009
Springer
We equip choreography-level session descriptions with a simple abstraction of a security infrastructure. Message components may be enclosed within (possibly nested) "boxes&quo...
DLOG
2009
13 years 4 months ago
2009
Abstract. GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests locally, in a single computer, or in a comput...
DLOG
2009
13 years 4 months ago
2009
Abstract. In this paper, we describe an approach for ontology comprehension support called model exploration in which models for ontologies are generated and presented interactivel...
GI
2009
Springer
13 years 4 months ago
2009
Springer
: Statistics and estimation theory is enriched with techniques derived from differential geometry. This establishes the increasing topic of information geometry. This allows new in...
ICC
2009
IEEE
13 years 4 months ago
2009
IEEE
Abstract--We present experimental results for the performance of selected voice codecs using the Datagram Congestion Control Protocol (DCCP) with TCP-Friendly Rate Control (TFRC) c...