2661 search results - page 223 / 533 » Model Checking Performability Properties |
113
click to vote
TEC
2002
15 years 2 months ago
2002
Abstract--This paper considers the discovery of trading decision models from high-frequency foreign exchange (FX) markets data using genetic programming (GP). It presents a domain-...
166
click to vote
RV
2010
Springer
15 years 28 days ago
2010
Springer
The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring O...
ISVLSI
2005
IEEE
15 years 8 months ago
2005
IEEE
Mesh interconnect can be efficiently utilized while tree networks encourage the short routing distances. In this paper, we present the property analysis of a cluster-based interc...
112
click to vote
IFIP
2004
Springer
15 years 8 months ago
2004
Springer
The most studied property, secrecy, is not always sufficient to prove the security of a protocol. Other properties such as anonymity, privacy or opacity could be useful. Here, we u...
123
click to vote
IMAGING
2004
15 years 4 months ago
2004
A computer simulation was performed to investigate the optimum combinations of three- and four-chromatic inks in order to maximize the color gamut for halftone printing. A virtual...