3765 search results - page 460 / 753 » Formal Methods for Systems Engineering Behavior Models |
188
click to vote
ESEM
2007
ACM
15 years 8 months ago
2007
ACM
An important number of studies have addressed the importance of models in software engineering, mainly in the design of robust software systems. Although models have been proven t...
188
click to vote
MODELS
2007
Springer
16 years 25 days ago
2007
Springer
The specification of business processes is becoming a more and more critical aspect for organizations. Such processes are specified as workflow models expressing the logical preced...
197
click to vote
ICRA
2006
IEEE
16 years 22 days ago
2006
IEEE
– In this paper, we present a general mathematical foundation of hormone-inspired control for the selfreconfigurable robotic system. Problem considered here is the lack of a math...
167
Voted
ISCAS
2006
IEEE
16 years 22 days ago
2006
IEEE
Abstract— This paper proposes a novel threshold control approach for creating multi-scroll chaotic attractors. The general jerk circuit is used as an example to show the working ...
197
Voted
QSIC
2005
IEEE
16 years 8 days ago
2005
IEEE
Design notations play an important role in designing software. Agent UML (AUML), which extends the widelyused UML notation, has proposed a number of notations for modelling agent ...