10038 search results - page 1585 / 2008 » Model Checking for Managers |
178
click to vote
GCC
2005
Springer
16 years 7 days ago
2005
Springer
Meta modeling is an effective approach to implement interoperability among distributed and heterogeneous information sources on Web. MMFI (Framework for Metamodel Interoperability)...
152
click to vote
GEOS
2005
Springer
16 years 7 days ago
2005
Springer
Traditional spatial information systems hold only a single state of the ‘real world’. However, geographic phenomena have not only static but dynamic characteristics. The work d...
179
click to vote
ICCS
2005
Springer
16 years 7 days ago
2005
Springer
In crisis, decisions must be made in human perceptual timeframes under pressure to respond to dynamic uncertain conditions. To be effective management must have access to real time...
164
click to vote
INEX
2005
Springer
16 years 7 days ago
2005
Springer
This is the first year for the Centre for Interactive Systems Research participation of INEX. Based on a newly developed XML indexing and retrieval system on Okapi, we extend Robe...
193
click to vote
INEX
2005
Springer
16 years 7 days ago
2005
Springer
Retrieving information from heterogeneous data sources in a flexible manner and within a single (database) framework is still a challenge. In this paper we present several extensi...