43 search results - page 2 / 9 » Using symbolic evaluation to understand behavior in configur... |
WSC
2000
13 years 8 months ago
2000
Simulation models are useful to predict and understand the impact of changes to a manufacturing system. Typical factory simulation models include the parts being manufactured in t...
UML
2005
Springer
14 years 27 days ago
2005
Springer
UML statechart diagrams have become an important technique for describing the dynamic behavior of a software system. They are also a significant element of OO design, especially in...
TACAS
1998
Springer
13 years 11 months ago
1998
Springer
This paper enables symbolic ternary simulation of systems with large embedded memories. Each memory array is replaced with a behavioral model, where the number of symbolic variable...
SOUPS
2010
ACM
13 years 7 months ago
2010
ACM
Social navigation is a promising approach to help users make better privacy and security decisions using community knowledge and expertise. Social navigation has recently been app...
CISIS
2010
IEEE
13 years 11 months ago
2010
IEEE
— Production automation systems consist of many entities (like robots and shuttles) that interact in complex ways to provide the overall system functionality like product assembl...