650 search results - page 85 / 130 » Analysis and design of sequencing rules for car sequencing |
HPCC
2005
Springer
15 years 3 months ago
2005
Springer
In this paper, by exploiting the log of call detail records, we present a solution procedure of mining user moving patterns in a mobile computing system. Specifically, we propose ...
DOCENG
2003
ACM
15 years 3 months ago
2003
ACM
To support the rapid growth of the web and e-commerce, W3C developed DOM as an application programming interface that the abstract, logical tree structure of an XML document. In t...
FMCAD
2008
Springer
14 years 11 months ago
2008
Springer
A message flow is a sequence of messages sent among processors during the execution of a protocol, usually illustrated with something like a message sequence chart. Protocol design...
ACSD
2010
IEEE
14 years 7 months ago
2010
IEEE
Digital components play a central role in the design of complex embedded systems. These components are interconnected with other, possibly analog, devices and the physical environm...
190
click to vote
SPIN
2012
Springer
13 years 7 days ago
2012
Springer
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...