2306 search results - page 193 / 462 » Modeling issues in a shipping system |
151
click to vote
RE
2001
Springer
15 years 10 months ago
2001
Springer
at different levels of abstraction. There are two very different ways of using such languages. One approach is based on the manifestation of a single model, with construction of di...
170
click to vote
ICRA
2008
IEEE
16 years 19 days ago
2008
IEEE
— Legged robots represent great promise for transport in unstructured environments. However, it has been difficult to devise motion planning strategies that achieve a combinatio...
122
click to vote
DATE
2007
IEEE
16 years 16 days ago
2007
IEEE
Formal verification is an important issue in circuit and system design. In this context, Bounded Model Checking (BMC) is one of the most successful techniques. But even if all sp...
166
click to vote
SEC
2008
15 years 7 months ago
2008
The Session Initiation Protocol (SIP) has been used widely for Voice over IP (VoIP) service because of its potential advantages, economical efficiency and call setup simplicity. Ho...
148
click to vote
MR
2002
15 years 5 months ago
2002
In the flip-chip assembly process, no-flow underfill materials have a particular advantage over traditional underfill: the application and curing of the former can be undertaken b...