1320 search results - page 145 / 264 » Flexible Dataspace Management Through Model Management |
124
Voted
ECBS
2003
IEEE
15 years 8 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...
147
Voted
HICSS
1999
IEEE
15 years 7 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...
138
click to vote
ACSD
1998
IEEE
15 years 7 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 ...
115
click to vote
CSMR
2005
IEEE
15 years 9 months ago
2005
IEEE
Product software is constantly evolving through extensions, maintenance, changing requirements, changes in configuration settings, and changing licensing information. Managing ev...
148
Voted
ADC
2000
Springer
15 years 8 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...