469 search results - page 17 / 94 » Process Algebras for Collective Dynamics |
105
click to vote
EUROMICRO
2000
IEEE
15 years 4 months ago
2000
IEEE
An important aspect in the design of hardware/software systems is design-for-test. Improving the testability of a hardware/software system typically implies improving the controll...
IEEECIT
2009
IEEE
15 years 6 months ago
2009
IEEE
— Knowledge about herbal medicine can be contributed from experts in several cultures. With the conventional techniques, it is hard to find the way which the experts can build a ...
112
click to vote
CORR
2010
Springer
14 years 9 months ago
2010
Springer
This paper motivates the need for a formalism for the modelling and analysis of dynamic reconfiguration of dependable real-time systems. We present requirements that the formalism ...
101
click to vote
BIRTHDAY
2008
Springer
15 years 1 months ago
2008
Springer
We illustrate two ways to address the specification, modelling and analysis of dynamic software architectures using: i) ordinary typed graph transformation techniques implemented i...
103
click to vote
SYNASC
2005
IEEE
15 years 5 months ago
2005
IEEE
Business process modeling is an important phase during requirements collection. Usually functional, dynamic and role models are needed. We propose to integrate Role Activity Diagr...