3199 search results - page 568 / 640 » Variability in Automation System Models |
RTSS
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract—We apply automata theory to specifying behavioral interfaces of objects and show how to check schedulability and compatibility of real time asynchronous objects. The beh...
DSN
2006
IEEE
14 years 4 months ago
2006
IEEE
The costs of data loss and unavailability can be large, so businesses use many data protection techniques, such as remote mirroring, snapshots and backups, to guard against failur...
RIDE
1999
IEEE
14 years 2 months ago
1999
IEEE
Workflow systems are an emerging technology which have become increasingly important in the drive for business to provide better services and increase productivity. Intuitively, w...
HPDC
2010
IEEE
13 years 11 months ago
2010
IEEE
Current projects that automate the collection of provenance information use a centralized architecture for managing the resulting metadata - that is, provenance is gathered at rem...
GIS
2008
ACM
14 years 11 months ago
2008
ACM
d Abstract] K. Buchin Dept. Computer Science Utrecht University The Netherlands buchin@cs.uu.nl M. Buchin Dept. Computer Science Utrecht University The Netherlands maike@cs.uu.nl ...