14331 search results - page 290 / 2867 » On the modeling and analysis of obligations |
141
click to vote
WSC
2004
15 years 8 months ago
2004
Simulation methods are extensively used in modeling complex scheduling problems. However, traditional layout of simulation models can become complicated when they are used to find...
130
click to vote
WSC
2000
15 years 8 months ago
2000
The United States Marine Corps (USMC) currently operates a fleet of KC130 aerial refueling tanker aircraft. This paper uses queuing and simulation models to examine the USMC KC130...
238
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: The two most common models for the evolution of metabolism are the patchwork evolution model, where enzymes are thought to diverge from broad to narrow substrate speci...
171
click to vote
ISOLA
2010
Springer
15 years 5 months ago
2010
Springer
We present a formal analysis of the Web Services Atomic Transaction (WS-AT) protocol. WS-AT is a part of the WS-Coordination framework and describes an algorithm for reaching agree...
203
click to vote
CVPR
2011
IEEE
14 years 10 months ago
2011
IEEE
Modeling data by multiple low-dimensional planes is an important problem in many applications such as computer vision and pattern recognition. In the most general setting where on...