8838 search results - page 201 / 1768 » Generalizing Domain Theory |
155
click to vote
DSN
2007
IEEE
15 years 8 months ago
2007
IEEE
Increasing interest is being paid to quantitative evaluation based on measurements of dependability attributes and metrics of computer systems and infrastructures. Despite measura...
146
click to vote
ASIAN
2006
Springer
15 years 8 months ago
2006
Springer
Given an arbitrary intruder deduction capability, modeled as an inference system S and a protocol, we show how to compute an inference system bS such that the security problem for ...
122
click to vote
CCCG
2008
15 years 6 months ago
2008
This paper builds a general mathematical and algorithmic theory for balloon-twisting structures, from balloon animals to balloon polyhedra, by modeling their underlying graphs (ed...
137
Voted
ACL
1993
15 years 6 months ago
1993
Various feature descriptions are being employed in constrained-based grammar formalisms. The common notational primitive of these descriptions are functional attributes called fea...
154
click to vote
JOT
2010
15 years 3 months ago
2010
The concept of a learning object (LO) has spread quickly without a very specific universal definition, and though born originally from the idea of object oriented design, with a ...