784 search results - page 103 / 157 » An underlying model for defeat mechanisms |
CALCO
2007
Springer
14 years 2 months ago
2007
Springer
Besides functional correctness, specifications must describe other properties of permissible implementations. We want to use simple algebraic techniques to specify resource usage ...
ANSS
2006
IEEE
14 years 2 months ago
2006
IEEE
The explosive growth of multimedia and other bandwidth intensive applications has resulted a rapid increase in the size of the traffic loads that needs to be supported by modern n...
ITNG
2006
IEEE
14 years 2 months ago
2006
IEEE
Network distance, measured as round-trip latency between hosts, is important for the performance of many Internet applications. For example, nearest server selection and proximity...
ACISICIS
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper presents the feasibility of using an ad-hoc network as an infrastructure for a small group of inter-vehicle communication network. Mobile ad-hoc networking with wireles...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
a growing need to study abstract problems in distributed multi-agent systems in a systematic way, as well as to provide a qualitative mathematical framework in which to compare po...