3765 search results - page 349 / 753 » Formal Methods for Systems Engineering Behavior Models |
200
click to vote
COMPSAC
2007
IEEE
15 years 7 months ago
2007
IEEE
Lose sight of the existence of system crosscutting concerns, e.g. safety and quality etc, often causes the system hard to maintain and evolve according to the changing environment...
155
click to vote
ICRA
2006
IEEE
16 years 24 days ago
2006
IEEE
Abstract— We describe how a graph grammar program for robotic self-assembly, together with measurements of kinetic rate data yield a Markov Process model of the dynamics of progr...
137
click to vote
DATE
2005
IEEE
16 years 12 days ago
2005
IEEE
The idea of design domain specific Mother Model of IP block family as a base of modeling of system integration is presented here. A common reconfigurable Mother Model for ten diff...
192
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
UML and MSC are widely used by software practitioners. SDL is an ITU standard language for telecommunications software specification. It has a formal semantics, and is supported b...
176
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Form mapping is the key problem that needs to be solved in order to get access to the hidden web. Currently available solutions for fully automatic mapping are not ready for comme...