4348 search results - page 389 / 870 » Using UML for Modeling Complex Real-Time Systems |
181
click to vote
IRI
2005
IEEE
16 years 12 days ago
2005
IEEE
The development of applications for monitoring, control, simulation and diagnosis in the petroleum industry involves a multitude of complex software tools. These tools have their ...
187
click to vote
VL
2010
IEEE
15 years 5 months ago
2010
IEEE
Visual representations are widely used to describe modern-day software systems, but, in most cases, they lack rigour. This paper addresses the problems of formality, rigour and co...
149
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— For many applications, the control of a complex nonlinear system can be made easier by modeling the system as a collection of simplified hybrid modes, each representing a part...
160
click to vote
EUROMICRO
1998
IEEE
15 years 11 months ago
1998
IEEE
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
184
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: Empirical binding models have previously been investigated for the energetics of protein complexation (G models) and for the influence of mutations on complexation (i....