4595 search results - page 701 / 919 » Reasoning about Plans |
DATE
2007
IEEE
14 years 4 months ago
2007
IEEE
Solid frameworks and toolkits for design and analysis of embedded systems are of high importance, since they enable early reasoning about critical properties of a system. This pap...
ICDM
2007
IEEE
14 years 4 months ago
2007
IEEE
The convergence of embedded sensor systems and stream query processing suggests an important role for database techniques, in managing data that only partially – and often inacc...
ICNS
2007
IEEE
14 years 4 months ago
2007
IEEE
Market-based compute grids encompass service providers offering limited resources to potential users with varying demands and willingness to pay. Providers face difficult decisions...
ICSM
2007
IEEE
14 years 4 months ago
2007
IEEE
Maintainability is a key quality attribute of successful software systems. However, its management in practice is still problematic. Currently, there is no comprehensive basis for...
IEEESCC
2007
IEEE
14 years 4 months ago
2007
IEEE
Web Services have experienced great interest during the last years as they were expected to play a key role as enablers of seamless application-to-application integration both wit...