16218 search results - page 338 / 3244 » Standards |
190
click to vote
GLVLSI
2002
IEEE
15 years 12 months ago
2002
IEEE
As an efficient representation of Extended Finite State Machines, Multiway Decision Graphs (MDG) are suitable for automatic hardware verification of Register Transfer Level (RTL) ...
197
click to vote
EUROCRYPT
2010
Springer
15 years 11 months ago
2010
Springer
A seminal result of Cleve (STOC ’86) is that, in general, complete fairness is impossible to achieve in two-party computation. In light of this, various techniques for obtaining...
200
click to vote
ITS
2010
Springer
15 years 11 months ago
2010
Springer
Tutorial Dialog has been shown to be effective in supporting both individual as well as group learners. However, unlike the case with individual learners, teams of learners often i...
184
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
Description Logics (DLs) are knowledge representation formalisms that provide, for example, the logical underpinning of the W3C OWL standards. Conjunctive queries (CQs), the stand...
168
click to vote
GPCE
2009
Springer
15 years 11 months ago
2009
Springer
Dynamic aspect-oriented programming (AOP) enables runtime adaptation of aspects, which is important for building sophisticated, aspect-based software engineering tools, such as ad...