1501 search results - page 78 / 301 » Towards Integration of Modeling Methods for Cyber-Physical S... |
137
click to vote
FM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
148
click to vote
DAC
1989
ACM
15 years 7 months ago
1989
ACM
We present an accurate and efficient method for extraction of parasitic capacitances in submicron integrated circuits. The method uses a 3-D finite element model in which the cond...
131
click to vote
ENTCS
2006
15 years 4 months ago
2006
Klaim is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
136
Voted
ISWC
2006
IEEE
15 years 10 months ago
2006
IEEE
Activity Recognition has gained a lot of interest in recent years due to its potential and usefulness for context-aware wearable computing. However, most approaches for activity r...
120
click to vote
FASE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present a systematic method of analysing the scalability of large-scale systems. We construct a high-level model using the SRMC process calculus and generate variants ...