1380 search results - page 135 / 276 » Reasoning about Input-Output Modeling of Dynamical Systems |
SIGSOFT
2001
ACM
14 years 11 months ago
2001
ACM
For several different reasons, such as changes in the business or technological environment, the configuration of a system may need to evolve during execution. Support for such ev...
WACV
2007
IEEE
14 years 4 months ago
2007
IEEE
Dynamic wettability of a nanostructured surface is an important property for many liquid-related applications of nanostructures. The dynamic wettability analysis is performed by m...
COORDINATION
2004
Springer
14 years 3 months ago
2004
Springer
There has been significant recent interest in exploring the role of coordination languages as middleware for distributed systems. These languages provide operations that allow pro...
AAAI
2010
13 years 11 months ago
2010
Modern complex games and simulations pose many challenges for an intelligent agent, including partial observability, continuous time and effects, hostile opponents, and exogenous ...
ACMMSP
2006
ACM
14 years 4 months ago
2006
ACM
Open nesting provides a loophole in the strict model of atomic transactions. Moss and Hosking suggested adapting open nesting for transactional memory, and Moss and a group at Sta...