1912 search results - page 336 / 383 » GOAL as a Planning Formalism |
149
click to vote
SQJ
2010
15 years 10 days ago
2010
One of the main goals of design patterns is to design for change. Many design patterns leave some room for future changes and evolutions. The application of design patterns leads ...
141
click to vote
TSE
2010
15 years 10 days ago
2010
— Describing and managing activities, resources and constraints of software development processes is a challenging goal for many organizations. A first generation of Software Pro...
118
click to vote
ASIACRYPT
2010
Springer
15 years 11 hour ago
2010
Springer
We introduce and formally define polynomial commitment schemes, and provide two efficient constructions. A polynomial commitment scheme allows a committer to commit to a polynomial...
143
click to vote
ERSHOV
2009
Springer
14 years 11 months ago
2009
Springer
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...
109
click to vote
IJACTAICIT
2010
14 years 11 months ago
2010
As the size of communication networks keeps on growing, faster connections, cooperating technologies and the divergence of equipment and data communications, the management of the...