285 search results - page 19 / 57 » Formalization of Network Quality-of-Service Requirements |
132
click to vote
EMSOFT
2003
Springer
15 years 7 months ago
2003
Springer
We present a formalism for specifying component interfaces that expose component requirements on limited resources. The formalism permits an algorithmic check if two or more compon...
108
click to vote
COORDINATION
2010
Springer
15 years 5 months ago
2010
Springer
Increasing sizes of present-day distributed software systems call for coordination models which are both modular and scalable. Precise modelling of real-life applications further r...
ESORICS
2010
Springer
15 years 3 months ago
2010
Springer
The security risk of a network against unknown zero day attacks has been considered as something unmeasurable since software flaws are less predictable than hardware faults and the...
111
click to vote
IPPS
2003
IEEE
15 years 7 months ago
2003
IEEE
Kahn defined a formal model for networks of processes that communicate through channels carrying streams of data tokens. His mathematical results show the necessary conditions fo...
121
click to vote
IJWIN
2006
15 years 1 months ago
2006
Abstract-- We consider a wireless sensor network consisting of a set of sensors deployed randomly. A point in the monitored area is covered if it is within the sensing range of a s...