4346 search results - page 327 / 870 » Models of Complex Physical Systems Using Cell-DEVS |
181
click to vote
ISSRE
2003
IEEE
15 years 12 months ago
2003
IEEE
Many architecture–based software reliability models were proposed in the past. Regardless of the accuracy of these models, if a considerable uncertainty exists in the estimates ...
183
click to vote
CONCUR
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We apply the theory of asynchronous automata to the synthesis problem of closed distributed systems. We use safe asynchronous automata as implementation model, and charac...
179
click to vote
HOTOS
2009
IEEE
15 years 10 months ago
2009
IEEE
Distributed systems are difficult to design and develop. The difficulties arise both in basic safety correctness properties, and in achieving high performance. As a result of this...
219
click to vote
IEEECIT
2006
IEEE
16 years 21 days ago
2006
IEEE
Pervasive computing devices are gradually becoming increasingly prevalent in our everyday life, enabling the users in the physical world to interact with the digital world. Grid c...
271
click to vote
TAOSD
2010
15 years 1 months ago
2010
The idea behind Aspect-Oriented Modeling (AOM) is to apply aspect-oriented techniques to (software) models with the aim of modularizing crosscutting concerns. This can be done with...