974 search results - page 97 / 195 » Formal Modeling of Communication Traces |
INFOCOM
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— Realistic mobility models are important to understand the performance of routing protocols in wireless ad hoc networks, especially when mobility-assisted routing scheme...
116
click to vote
FMCO
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
PEWASUN
2006
ACM
15 years 5 months ago
2006
ACM
Mobility, in its various forms, is one of the sources of several technical challenges being addressed in the last years to achieve a more flexible computing and communication inf...
IRI
2006
IEEE
15 years 5 months ago
2006
IEEE
Hurricanes are one of the deadliest and perilous natural calamities on the face of earth having a severe impact both on the lives of the people and economy of a nation. Attempts h...
110
click to vote
TOOLS
2000
IEEE
15 years 4 months ago
2000
IEEE
UML is widely used today for modelling complex systems. However, the tools support capabilities for UML is limited, partially due to its lack of precise semantics. There are some ...