Sciweavers

12774 search results - page 262 / 2555
» A Framework for Proof Systems
Sort
View
CSUR
2000
71views more  CSUR 2000»
15 years 6 months ago
An open system framework for component-based CNC machines
John Michaloski, Sushil Birla, C. Jerry Yen, Richa...
DSS
2000
75views more  DSS 2000»
15 years 6 months ago
A Cost-Benefit framework for online management of a metacomputing system
Yair Amir, Baruch Awerbuch, R. Sean Borgstrom
DT
2002
90views more  DT 2002»
15 years 6 months ago
A Hardware-Software Real-Time Operating System Framework for SoCs
Vincent John Mooney III, Douglas M. Blough
AAI
1999
107views more  AAI 1999»
15 years 6 months ago
The Open Agent Architecture: A Framework for Building Distributed Software Systems
David L. Martin, Adam Cheyer, Douglas B. Moran