7380 search results - page 1084 / 1476 » Engineering Software Intensive Systems |
135
click to vote
ARCS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract: File sharing systems cause a huge portion of traffic in the Internet. With respect to the peer-to-peer approach, unicast delivery of content is the common case. Unfortun...
119
click to vote
FOSSACS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...
126
Voted
ICFEM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper we present a technique for the Spin tool, inspired by practical experiences with Spin and a FireWire protocol. We show how to guide simulations with Spin, b...
183
click to vote
EUROMICRO
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper we propose a method for predicting the consequences of adding new components to an existing product line in the real-time systems domain. We refer to such a predicti...
136
Voted
EGICE
2006
15 years 8 months ago
2006
Structural monitoring and control have been subjects of interests in structural engineering for quite some time. Structural sensing and control technologies can benefit in terms of...