827 search results - page 55 / 166 » Patterns for Timed Property Specifications |
115
click to vote
FM
2008
Springer
15 years 4 months ago
2008
Springer
We focus on synthesis techniques for transforming existing fault-intolerant real-time programs to fault-tolerant programs that provide phased recovery. A fault-tolerant program is ...
127
click to vote
COMPLEX
2009
Springer
15 years 9 months ago
2009
Springer
We introduce transformations from time series data to the domain of complex networks which allow us to characterise the dynamics underlying the time series in terms of topological ...
150
click to vote
WWW
2008
ACM
16 years 3 months ago
2008
ACM
The World Wide Web Consortium's RDF standard primarily consists of (subject,property,object) triples that specify the value that a given subject has for a given property. How...
119
click to vote
LREC
2008
15 years 4 months ago
2008
We present the main findings and preliminary results of an ongoing project aimed at developing a system for collocation extraction based on contextual morpho-syntactic properties....
125
click to vote
WWW
2005
ACM
16 years 3 months ago
2005
ACM
Security is one of the major concerns when developing missioncritical business applications, and this concern motivated the Web Services Security specifications. However, the exis...