430 search results - page 65 / 86 » Design by Contract for Python |
ARTQOS
2003
Springer
13 years 11 months ago
2003
Springer
We study what kind of differentiation can be achieved using DiffServ without admission control and using a relative services approach, i.e. the rate of the flow should be in propor...
ASM
2008
ASM
13 years 9 months ago
2008
ASM
Abstract. We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and busin...
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
We present a prototype of agent-based intrusion detection system designed for deployment on high-speed backbone networks. The main contribution of the system is the integration of...
CONEXT
2008
ACM
13 years 9 months ago
2008
ACM
Today's Internet's routing paths are inefficient with respect to both connectivity and the market for interconnection. The former manifests itself via needlessly long pa...
UAI
1998
13 years 8 months ago
1998
The monitoring and control of any dynamic system depends crucially on the ability to reason about its current status and its future trajectory. In the case of a stochastic system,...