3828 search results - page 452 / 766 » Proof-Based System Engineering Using a Virtual System Model |
187
click to vote
CCECE
2006
IEEE
16 years 27 days ago
2006
IEEE
This work is focused on the motion control of an underactuated brachiation robot with 3 links. We present the modeling of the dynamics of the robot and introduce the application o...
182
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
The methodology of aspect-oriented software engineering has been proposed to factor out concerns that are orthogonal to the core functionality of a system. In particular, this is a...
218
click to vote
ECOOPW
2008
Springer
15 years 8 months ago
2008
Springer
EOOLT'2007 was the first edition of the ECOOP-EOOLT workshop. The workshop is intended to bring researchers associated with different equation-based object-oriented (EOO) mode...
209
click to vote
FDL
2007
IEEE
16 years 1 months ago
2007
IEEE
Transaction level models (TLMs) can be constructed at t levels of abstraction, denoted as untimed (UT), cycle-approximate (CX), and cycle accurate (CA) in this paper. The choice o...
191
click to vote
JUCS
2002
15 years 6 months ago
2002
: ATM virtual path (VP) contains bundles of virtual channels (VCs). A VP layer network can be used as a server layer network of VC layer networks and each VC layer network can be a...