738 search results - page 79 / 148 » cases 2001 |
UM
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. The generation of formal poetry involves both complex creativity usually exercised by a human poet - and strict algorithmic restrictions regarding the metrical structure ...
AICCSA
2001
IEEE
15 years 1 months ago
2001
IEEE
A trend in software development is to assemble a system from a number of components. These may be either available commercially off-the-shelf, or by the use of network-based resou...
APSEC
2001
IEEE
15 years 1 months ago
2001
IEEE
As a result of globalization, mergers, acquisitions, and scarce skills, software development is increasingly more distributed. Distribution, however, introduces major communicatio...
CCGRID
2001
IEEE
15 years 1 months ago
2001
IEEE
Resource management is an important infrastructure in the grid computing environment. Scalability and adaptability are two key challenges in the implementation of such complex sof...
CHARME
2001
Springer
15 years 1 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...