973 search results - page 64 / 195 » Arguing Using Opponent Models |
HOTOS
2003
IEEE
14 years 29 days ago
2003
IEEE
Understanding the performance of distributed systems requires correlation of thousands of interactions between numerous components — a task best left to a computer. Today’s sy...
ICRA
1998
IEEE
13 years 12 months ago
1998
IEEE
Simulation of dynamic systems possessing unilateral frictional contacts is important to many industrial applications. While rigid body models are often employed, it is well establ...
FM
2008
Springer
13 years 9 months ago
2008
Springer
TLM (Transaction-Level Modeling) was introduced to cope with the increasing complexity of Systems-on-Chip designs by raising the modeling level. Currently, TLM is primarily used fo...
CLEIEJ
2006
13 years 7 months ago
2006
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
SAFECOMP
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains. However, si...