83 search results - page 2 / 17 » Searching for dependencies at multiple abstraction levels |
MODELS
2009
Springer
13 years 11 months ago
2009
Springer
UML state machines are widely used for modeling software behavior. However state-crosscutting behaviors, such as synchronization or execution history dependence, are hard to model...
WABI
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Genomic instabilities, amplifications, deletions and translocations are often observed in tumor cells. In the process of cancer pathogenesis cells acquire multiple genom...
ISCI
2007
13 years 5 months ago
2007
Fusion of sensor and communication data currently can only be performed at a late processing stage after sensor and information are formulated as logical statements at appropriate...
ROBOCUP
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. This paper describes a two-tiered approach to the self-localization problem for soccer playing robots using generic off-the-shelf color cameras. The solution consists of...
DATE
2008
IEEE
13 years 11 months ago
2008
IEEE
Simulation of transaction level models (TLMs) is an established embedded systems design technique. Its use cases include virtual prototyping for early software development, platfo...