1495 search results - page 195 / 299 » Modeling and controllability for a class of hybrid mechanica... |
COOPIS
2002
IEEE
14 years 1 months ago
2002
IEEE
The proportion of complex distributed real-time embedded (DRE) systems made up of commercial-off-the-shelf (COTS) hardware and software is increasing significantly in response to...
INFOCOM
2005
IEEE
14 years 2 months ago
2005
IEEE
— Current computing systems depend on adaptation mechanisms to ensure that they remain in quiescent operating regions. These regions are often defined using efficiency, fairnes...
CSFW
2010
IEEE
14 years 27 days ago
2010
IEEE
—We propose a formal model of web security based straction of the web platform and use this model to analyze the security of several sample web mechanisms and applications. We id...
WSC
2007
13 years 11 months ago
2007
Semiconductor wafer fabrication facilities (wafer fabs) are among the most complex production facilities. A large product variety, hundreds of processing steps per product, hundre...
AAAI
2004
13 years 10 months ago
2004
A growing number of applications seek to incorporate automatically generated narrative structure into interactive virtual environments. In this paper, we evaluate a representation...