15840 search results - page 483 / 3168 » The Control of Synchronous Systems |
315
click to vote
JIPS
2010
15 years 2 months ago
2010
Classical warranty plans require crisp data obtained from strictly controlled reliability tests. However, in a real situation these requirements might not be fulfilled. In an extre...
186
click to vote
DFG
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Motivated by the wide acceptance of component based technologies in software development, a component concept for software engineering is applied to modeling in the field...
144
Voted
CORR
2010
Springer
15 years 7 months ago
2010
Springer
This paper presents a realization for the reliable and fast startup of distributed systems written in Erlang. The traditional startup provided by the Erlang/OTP library is sequenti...
207
click to vote
ICALP
2003
Springer
16 years 18 days ago
2003
Springer
Abstract. In this paper we consider the problem of routing packets in dynamically changing networks, using the anycast mode. In anycasting, a packet may have a set of destinations ...
232
click to vote
DATE
2003
IEEE
16 years 20 days ago
2003
IEEE
In this paper we present the results of a set of experiments we conducted in order to evaluate the viability of the behavioral synthesis, relying on the tools available at the mom...