677 search results - page 79 / 136 » Rigorous Object-Oriented Analysis |
119
click to vote
ER
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Neglecting traceability—i.e., the ability to describe and follow the life of a requirement—is known to entail misunderstanding and miscommunication, leading to the en...
131
click to vote
FCT
2007
Springer
15 years 11 months ago
2007
Springer
We propose and study a new information transmission problem motivated by today’s internet. A real number, perhaps representing control information in a network, is encoded using...
133
click to vote
INFOCOM
2005
IEEE
15 years 11 months ago
2005
IEEE
— This paper unifies two independently developed formalisms for path-vector routing protocols such as the Border Gateway Protocol (BGP), the standard inter-domain routing protoc...
145
click to vote
NCA
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper, fundamental conditions which bound the network processing unit (NPU) worst-case performance are established. In particular, these conditions formalize and integrate...
134
click to vote
PPSN
2004
Springer
15 years 10 months ago
2004
Springer
The investigation of evolutionary algorithms as adaptation schemes has a long history starting with Holland (1975). The Ising model from physics leads to a variety of different pr...