1525 search results - page 205 / 305 » Formal Models for Communication-Based Design |
121
click to vote
AEI
2004
15 years 19 days ago
2004
Knowledge intensive engineering aims at flexible applications of a variety of product life cycle knowledge, such as design, manufacturing, operations, maintenance, and recycling. ...
109
click to vote
ICDE
2007
IEEE
15 years 7 months ago
2007
IEEE
Several current research efforts in business process modeling are investigating XML-based executable formal specification languages. The availability of the latter allows modeled...
110
click to vote
ECIS
2000
15 years 2 months ago
2000
Event-driven Process Chains (EPCs) have been helped to achieve an important role in business process modeling by the commercial success of SAP and ARIS. Both users and IT experts m...
ENTCS
2010
15 years 25 days ago
2010
We present a novel specification language called JDC to be used at design phase of distributed components. The extensive seek for asynchrony in distributed components demands new ...
93
Voted
ICRA
2003
IEEE
15 years 6 months ago
2003
IEEE
We introduce a new method of a biped walking pattern generation by using a preview control of the zeromoment point (ZMP). First, the dynamics of a biped robot is modeled as a runn...