1912 search results - page 373 / 383 » GOAL as a Planning Formalism |
137
click to vote
FMCO
2003
Springer
15 years 7 months ago
2003
Springer
Web services security specifications are typically expressed as a mixture of XML schemas, example messages, and narrative explanations. We propose a new specification language fo...
118
Voted
FSTTCS
2003
Springer
15 years 7 months ago
2003
Springer
Tagging schemes have been used in security protocols to ensure that the analysis of such protocols can work with messages of bounded length. When the set of nonces is bounded, this...
129
click to vote
SIGMOD
2010
ACM
15 years 6 months ago
2010
ACM
To take full advantage of the parallelism offered by a multicore machine, one must write parallel code. Writing parallel code is difficult. Even when one writes correct code, the...
124
click to vote
IBPRIA
2009
Springer
15 years 6 months ago
2009
Springer
ent abstract presents OASIS, an Online Algorithm for Scalable Image Similarity learning that learns a bilinear similarity measure over sparse representations. OASIS is an online du...
100
click to vote
SIGUCCS
2000
ACM
15 years 6 months ago
2000
ACM
The quality of student consultants and their development through training and education are major factors in determining long-term effectiveness of university Help Desk. To hire a...