10038 search results - page 1589 / 2008 » Model Checking for Managers |
159
click to vote
COOPIS
2003
IEEE
16 years 19 hour ago
2003
IEEE
Emerging Web standards promise a network of heterogeneous yet interoperable Web Services. Web Services would greatly simplify the development of many kinds of information agents a...
172
click to vote
EDOC
2003
IEEE
16 years 16 hour ago
2003
IEEE
Today’s autonomous and heterogeneous information systems have an increasing necessity of exchanging data. As widely known, middleware systems have been successfully adopted as i...
153
click to vote
ICDCSW
2003
IEEE
16 years 12 hour ago
2003
IEEE
A self-organized approach to manage a distributed proxy system called Adaptive Distributed Caching (ADC) has been proposed previously. We model each proxy as an autonomous agent th...
196
click to vote
ICTAI
2003
IEEE
16 years 7 hour ago
2003
IEEE
The interpretation of medical evidence is normally presented in terms of a controlled, but diversely expressed specialist vocabulary and natural language phrases. Such informally ...
164
click to vote
IDEAS
2003
IEEE
16 years 7 hour ago
2003
IEEE
As the popularity of XML keeps growing rapidly, XML compliant structured document management becomes an interesting and compelling research area. Query optimization for structured...