4460 search results - page 864 / 892 » Formal methods for interactive systems |
ICSE
1998
IEEE-ACM
13 years 11 months ago
1998
IEEE-ACM
We describe the design and implementation of system architecture to support object introspection in C++. In this system, information is collected by parsing class declarations, an...
IWEC
2004
13 years 9 months ago
2004
Autonomous synthetic actors must invent variations of known material in order to perform given only a limited script, and to assist the director with development of the performance...
ATAL
2010
Springer
13 years 7 months ago
2010
Springer
There is a number of recent research lines addressing complex negotiations in highly rugged utility spaces. However, most of them focus on overcoming the problems imposed by the c...
BMCBI
2007
13 years 7 months ago
2007
Background: The four heterogeneous childhood cancers, neuroblastoma, non-Hodgkin lymphoma, rhabdomyosarcoma, and Ewing sarcoma present a similar histology of small round blue cell...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
- Muscle fatigue is defined as the point at which the muscle is no longer able to sustain the required force or work output level. The overexertion of muscle force and muscle fatig...