285 search results - page 34 / 57 » Formalization of Network Quality-of-Service Requirements |
173
click to vote
FROCOS
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
168
click to vote
IEEEAMS
2003
IEEE
15 years 11 months ago
2003
IEEE
Large classes of autonomic (self-managing, selfhealing) systems can be created by logically integrating simpler autonomic systems. The configuration method is widely used for such...
157
click to vote
WETICE
2003
IEEE
15 years 11 months ago
2003
IEEE
Recent advances in networking technology have increased the potential for dynamic enterprise collaborations between an open set of entities on a global scale. The security of thes...
200
click to vote
ICDCSW
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we focus on the design of high performance peer-to-peer content sharing systems. In particular, our goal is to achieve global load balancing and short user-request r...
156
click to vote
ICECCS
2000
IEEE
15 years 10 months ago
2000
IEEE
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...