3765 search results - page 277 / 753 » Formal Methods for Systems Engineering Behavior Models |
165
click to vote
JAIR
2008
15 years 6 months ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...
171
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Object-oriented analysis suggests semiformal usecase driven techniques for problem domain modeling from a computation independent viewpoint. The proposed approach called Topologic...
159
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
The ForSyDe methodology has been developed for system level design. Starting with a formal specification model, that captures the functionality of the system at a high abstractio...
187
click to vote
EDOC
2005
IEEE
16 years 8 days ago
2005
IEEE
— The paper proposes a more formalized definition of UML 2.0 Activity Diagram semantics. A subset of activity diagram constructs relevant for business process modeling is conside...
183
click to vote
IROS
2006
IEEE
16 years 21 days ago
2006
IEEE
Abstract— In this paper, the coupling between Jacobian learning and task sequencing through the redundancy approach is studied. It is well known that visual servoing is robust to...