Sciweavers

8658 search results - page 303 / 1732
» Models of Command and Control
Sort
View
162
Voted
MANSCI
2008
100views more  MANSCI 2008»
15 years 6 months ago
Financing the Entrepreneurial Venture
This paper is about ...nancial contracting choices for the entrepreneur. In an incomplete contracts model, the entrepreneur can design contracts contingent on three possible contr...
Jean-Etienne de Bettignies
FTCS
1998
79views more  FTCS 1998»
15 years 8 months ago
Proving Correctness of a Controller Algorithm for the RAID Level 5 System
Most RAID controllers implemented in industry are complicated and di cult to reason about. This complexity has led to software and hardware systems that are di cult to debug and h...
Mandana Vaziri, Nancy A. Lynch, Jeannette M. Wing
131
Voted
CIMCA
2006
IEEE
16 years 22 days ago
Computational Nanomechatronics: A Pathway for Control and Manufacturing Nanorobots
This paper describes an innovative work for nanorobot design and manufacturing, using a computer simulation and system on chip prototyping approach. The use of CMOS as integrated ...
Adriano Cavalcanti, Warren W. Wood, Luiz C. Kretly...
EUSFLAT
2003
108views Fuzzy Logic» more  EUSFLAT 2003»
15 years 8 months ago
Soft computing and control of district heating system
The article deals with the possible methodology of processing of data and information for the search of prediction of heat supply daily diagram (HSDD). The methodology includes te...
Petr Dostál, Bronislav Chramcov, Jaroslav B...
TCS
2008
15 years 6 months ago
Spatial-behavioral types for concurrency and resource control in distributed systems
We develop a notion of spatial-behavioral typing suitable to discipline concurrent interactions and resource usage in distributed object systems. Our type structure reflects a res...
Luís Caires