3909 search results - page 360 / 782 » Extreme Model Checking |
136
click to vote
ICDCN
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The current paper considers the routing problem in dynamic trees under the fixed-port model, in which an adversary chooses the port numbers assigned to each node. We pre...
138
click to vote
COLCOM
2008
IEEE
15 years 10 months ago
2008
IEEE
The adoption of electronically formatted medical records, so called Electronic Health Records (EHRs), has become extremely important in healthcare systems to enable the exchange of...
139
click to vote
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
— In the field of mobile robotics, trajectory details are seldom taken into account to qualify robot performance. Most metrics rely mainly on global results such as the total ti...
177
click to vote
INFOCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— Recent outbreaks of virus and worm attacks targeted at cell phones have have bought to the forefront the seriousness of the security threat to this increasingly popular...
148
click to vote
MMM
2006
Springer
15 years 10 months ago
2006
Springer
We present a method for real-time simulation of 3dimensional fire inspired by an old mechanical trick known as the “silk torch”. Motivated by the proven illusive effect of si...