9842 search results - page 281 / 1969 » Compositional timing analysis |
154
click to vote
ERLANG
2003
ACM
15 years 9 months ago
2003
ACM
In this paper, some experiences of using the concurrent functional language Erlang to implement a classical vertical application, a risk management information system, are present...
122
click to vote
TPPP
1994
15 years 8 months ago
1994
We introduce a method for the specification of reactive asynchronous components with a concurrent access interface and outline its mathematical foundation. The method supports the...
142
click to vote
CBSE
2006
Springer
15 years 8 months ago
2006
Springer
Ideally in the deployment phase, components should be composable, and their composition checked. Current component models fall short of this ideal. Most models do not allow composi...
120
Voted
DSN
2004
IEEE
15 years 8 months ago
2004
IEEE
Designing storage systems to provide business continuity in the face of failures requires the use of various data protection techniques, such as backup, remote mirroring, point-in-...
148
click to vote
EDO
2006
Springer
15 years 8 months ago
2006
Springer
Businesses increasingly provide and use services, applying formal (Web) services technology for the description, composition, and management of software as services. At the same t...