3573 search results - page 460 / 715 » Reasoning about Codata |
159
click to vote
CEC
2007
IEEE
16 years 27 days ago
2007
IEEE
—Emergent behavior is an essential feature in multi-agent systems and plays a significant role in the applications of agent technology. Because of the huge gap between individual...
218
click to vote
DATE
2007
IEEE
16 years 27 days 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...
187
click to vote
DEXAW
2007
IEEE
16 years 26 days ago
2007
IEEE
The prerequisites of success and reasons for failure for enterprise integration projects are still not wellunderstood as evidenced by large failure rates, including cost or schedu...
173
click to vote
ICDM
2007
IEEE
16 years 26 days 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...
172
click to vote
ICNS
2007
IEEE
16 years 26 days 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...