2624 search results - page 214 / 525 » The 2LIP model and its implementations |
174
click to vote
ICDE
2010
IEEE
16 years 1 months ago
2010
IEEE
Abstract— Social networking is increasingly becoming a popular means of communication for online users. The trend is also true for offline scenarios where people use their mobil...
222
click to vote
MEMOCODE
2003
IEEE
16 years 2 days ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
152
click to vote
FATES
2003
Springer
16 years 20 hour ago
2003
Springer
Abstract. We adapt and extend the theories used in the general framework of automated software testing in such a way that they become suitable for black-box conformance testing of ...
198
click to vote
NSDI
2007
15 years 9 months ago
2007
Networked systems are often evaluated on overlay testbeds such as PlanetLab and emulation testbeds such as Emulab. Emulation testbeds give users great control over the host and ne...
157
click to vote
PEWASUN
2005
ACM
16 years 11 days ago
2005
ACM
An experimental study of MANET using 802.11b has shown that there exist several configurations where this standard does not guarantee fairness for the channel access. In this pap...