10159 search results - page 1627 / 2032 » System Design Validation Using Formal Models |
148
click to vote
IROS
2006
IEEE
16 years 26 days ago
2006
IEEE
— A motion planner of emergency stop must make an operating humanoid robot to a stationary state under the emergency signal. It plays an important role in prevention of falling o...
144
click to vote
SIGMETRICS
2006
ACM
16 years 24 days ago
2006
ACM
The Java Messaging Service (JMS) facilitates communication among distributed software components according to the publish/subscribe principle. If the subscribers install filter r...
160
click to vote
GCB
2005
Springer
16 years 11 days ago
2005
Springer
Motivation: With the increasing availability of protein structures, the generation of biologically meaningful 3D patterns from the simultaneous alignment of several protein struct...
186
click to vote
MMB
2004
Springer
16 years 6 days ago
2004
Springer
In this paper, we characterize the user behavior in a peer-to-peer (P2P) file sharing network. Our characterization is based on the results of an extensive passive measurement stu...
169
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
This work implements and analyses a highway traffic flow simulation based on continuum modeling of traffic dynamics. A traffic-flow simulation was developed and mapped onto a para...