3384 search results - page 303 / 677 » More Testable Properties |
137
click to vote
UIST
2005
ACM
16 years 7 days ago
2005
ACM
When involved in the visual design of graphical user interfaces, graphic designers can do more than providing static graphics for programmers to incorporate into applications. We ...
166
click to vote
ACNS
2005
Springer
16 years 7 days ago
2005
Springer
Recently, several public key exchange protocols based on symbolic computation in non-commutative (semi)groups were proposed as a more efficient alternative to well established prot...
164
click to vote
APN
2005
Springer
16 years 7 days ago
2005
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models allowing more...
160
click to vote
CRYPTO
2005
Springer
16 years 6 days ago
2005
Springer
In many important applications, a collection of mutually distrustful parties must perform private computation over multisets. Each party’s input to the function is his private i...
172
Voted
ICLP
2005
Springer
16 years 6 days ago
2005
Springer
Any finite tree automaton (or regular type) can be used to construct act interpretation of a logic program, by first determinising and completing the automaton to get a pre-inter...