Results for:
"
John+Stevens+Cabot+Abbott
" in Documents
- Network Working Group John Linn BBNCC
- this memo is unlimited
-
Rating:
Views: (1018)
Pages: ()
Uploaded: 13-05-09
- Reconfigurable Machine Controllers Using the OMAC API
- With enterprises facing tremendous time-to-market pressures, manufacturing systems must be implemented quickly and modified easily. The ability of the open architecture approach to reconfigure or exte...
-
Rating:
Views: (1007)
Pages: ()
Uploaded: 15-05-09
- Reconfigurable Machine Controllers Using the OMAC API
- With enterprises facing tremendous time-to-market pressures, manufacturing systems must be implemented quickly and modified easily. The ability of the open architecture approach to reconfigure or exte...
-
Rating:
Views: (1010)
Pages: ()
Uploaded: 13-05-09
- Formal methods for verification and validation of partial specificatio...
- This paper describes our work exploring the suitability of formal specification methods for independent verification and validation (IV&V) of software specifications for large, safety critical systems...
-
Rating:
Views: (1028)
Pages: ()
Uploaded: 22-01-08
- Virtual Environments for Data Sharing and Visualisation - Populated In...
- The Concept of Populated Information Terrains (PITS) aims to extend database technology with key ideas from the new fields of Virtual Reality (VR) and Computer Supported Cooperative Work (CSCW). PITS ...
-
Rating:
Views: (1009)
Pages: ()
Uploaded: 15-05-09
- Virtual Environments for Data Sharing and Visualisation - Populated In...
- The Concept of Populated Information Terrains (PITS) aims to extend database technology with key ideas from the new fields of Virtual Reality (VR) and Computer Supported Cooperative Work (CSCW). PITS ...
-
Rating:
Views: (1007)
Pages: ()
Uploaded: 13-05-09
- Validating Requirements for Fault Tolerant Systems using Model Checkin...
- Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here shows that by judiciously abstracting away ...
-
Rating:
Views: (1006)
Pages: ()
Uploaded: 13-05-09
- Validating Requirements for Fault Tolerant Systems using Model Checkin...
- Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here shows that by judiciously abstracting away ...
-
Rating:
Views: (1007)
Pages: ()
Uploaded: 13-05-09