10038 search results - page 1591 / 2008 » Model Checking for Managers |
197
click to vote
CONTEXT
2003
Springer
15 years 12 months ago
2003
Springer
The development of more and more complex distributed applications over large networks of computers has raised the problem of semantic interoperability across applications based on ...
192
click to vote
DBISP2P
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Interest-based communities are a natural arrangement of distributed systems that prune the search space and allow for better dissemination of information to participating...
159
click to vote
DBPL
2003
Springer
15 years 12 months ago
2003
Springer
Over the last fifteen years, database management systems (DBMSs) have been enhanced by the addition of rule-based programming to obtain active DBMSs. One of the greatest challeng...
176
click to vote
ESOP
2003
Springer
15 years 12 months ago
2003
Springer
In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular individual constraints, and there are also log...
118
click to vote
GCC
2003
Springer
15 years 12 months ago
2003
Springer
Web service based data exchange has been the trend of EAI. We can create Proxies to expose existing systems as web services. There have been some tools that can help users to const...