2681 search results - page 383 / 537 » Problem F |
173
click to vote
TAMC
2007
Springer
16 years 16 days ago
2007
Springer
Pass observed that universal composable zero-knowledge (UCZK) protocols in the common reference string (CRS) model, where a common reference string is selected trustily by a truste...
158
click to vote
WEA
2007
Springer
16 years 16 days ago
2007
Springer
We study the real algorithm for the point-to-point shortest path problem. It combines A∗ search search, landmark-based lower bounds, and reach-based pruning. We suggest several ...
170
click to vote
ACSC
2006
IEEE
16 years 15 days ago
2006
IEEE
Manipulating semistructured data, such as XML, does not t well within conventional programming languages. A typical manipulation requires nding all occurrences of a structure matc...
186
click to vote
ACSD
2006
IEEE
16 years 15 days ago
2006
IEEE
Recently, the formal approach of I–Systems has been newly hed through an abstract axiomatic system where events in system components are solely derived and defined from their b...
167
click to vote
EDOC
2006
IEEE
16 years 15 days ago
2006
IEEE
The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process m...