827 search results - page 69 / 166 » Patterns for Timed Property Specifications |
117
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
We outline initial concepts for an immune inspired algorithm to evaluate and predict oil price time series data. The proposed solution evolves a short term pool of trackers dynami...
163
click to vote
BMCBI
2010
14 years 10 months ago
2010
Background: Circadian rhythms are 24 hour oscillations in many behavioural, physiological, cellular and molecular processes that are controlled by an endogenous clock which is ent...
109
click to vote
INFOCOM
2003
IEEE
15 years 8 months ago
2003
IEEE
Abstract— We perform spectral analysis of the Internet topology at the AS level, by adapting the standard spectral filtering method of examining the eigenvectors corresponding t...
168
click to vote
FORTE
2009
15 years 1 months ago
2009
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...
135
click to vote
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
Functional verification is widely acknowledged as a major bottleneck in microprocessor design. While early work on specification driven functional test program generation has prop...