1320 search results - page 145 / 264 » Flexible Dataspace Management Through Model Management |
ECBS
2003
IEEE
14 years 3 months ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
HICSS
1999
IEEE
14 years 2 months ago
1999
IEEE
Time-critical logistics (TCL) refer to time-sensitive procurement, processing and distribution activities. A confounding factor is the transportation networks that contain these l...
ACSD
1998
IEEE
14 years 2 months ago
1998
IEEE
Today's corporations often must operate across organizational boundaries. Phenomena such as electronic commerce, extended enterprises, and the Internet stimulate cooperation ...
CSMR
2005
IEEE
14 years 4 months ago
2005
IEEE
Product software is constantly evolving through extensions, maintenance, changing requirements, changes in configuration settings, and changing licensing information. Managing ev...
ADC
2000
Springer
14 years 2 months ago
2000
Springer
Workflow technology has emerged as an appropriate platform for consolidating the distributed information resources of an enterprise, promoting interoperability across cross-platfo...