8337 search results - page 1389 / 1668 » Reasoning With Characteristic Models |
159
click to vote
PADS
2005
ACM
16 years 4 days ago
2005
ACM
A fundamental requirement for any network simulation environment is the realistic forwarding of packets from a source to a destination in the simulated topology. The routing decis...
162
click to vote
FM
2005
Springer
16 years 3 days ago
2005
Springer
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...
179
click to vote
ICCS
2005
Springer
16 years 3 days ago
2005
Springer
The paper presents the Multi Agent System (MAS) designed for the large scale parallel computations. The special kind of diffusionbased scheduling enables to decompose and allocate...
151
click to vote
IMC
2004
ACM
16 years 19 hour ago
2004
ACM
The Internet is teeming with high variability phenomena, from measured IP flow sizes to aspects of inferred router-level connectivity, but there still exists considerable debate ...
187
click to vote
MM
2004
ACM
16 years 18 hour ago
2004
ACM
With the increasing ubiquity of sensors and computational resources, it is becoming easier and increasingly common for people to electronically record, photographs, text, audio, a...