10 search results - page 1 / 2 » sefm 2008 |
87
Voted
SEFM
2008
IEEE
15 years 7 months ago
2008
IEEE
99
Voted
SEFM
2008
IEEE
15 years 7 months ago
2008
IEEE
81
Voted
SEFM
2008
IEEE
15 years 7 months ago
2008
IEEE
105
Voted
SEFM
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract. Algebraic laws have been proposed to support program transformation in several paradigms. In general, and for object-orientation in particular, these laws tend to ignore ...
134
Voted
SEFM
2008
IEEE
15 years 7 months ago
2008
IEEE
We present a process algebra for modeling and reasoning about Mobile Ad hoc Networks (MANETs) and their protocols. In our algebra we model the essential modeling concepts of ad ho...