24554 search results - page 174 / 4911 » Dependable distributed systems |
169
click to vote
CADE
2007
Springer
16 years 5 months ago
2007
Springer
Abstract. A method based on dependency pairs for showing termination of functional programs on data structures generated by constructors with relations is proposed. A functional pr...
177
click to vote
APCCM
2008
15 years 6 months ago
2008
The work presented in this paper targets the software integration on the level of business process models. The goal is to create the behavioural description of an integrated syste...
270
click to vote
ICFP
2009
ACM
16 years 5 months ago
2009
ACM
Functional Reactive Programming (FRP) is an approach to reactive programming where systems are structured as networks of functions operating on signals. FRP is based on the synchr...
156
click to vote
EDCC
2010
Springer
15 years 10 months ago
2010
Springer
Abstract—A dependable software system contains two important components, namely, error detection mechanisms and error recovery mechanisms. An error detection mechanism attempts t...
121
click to vote
BIOSYSTEMS
2007
15 years 5 months ago
2007
The structural organization of biological systems is one of nature’s most fascinating aspects, but its origin and functional role is not yet fully understood. For instance, basi...