447 search results - page 40 / 90 » Similarity for reuse of specifications in communication soft... |
103
Voted
ETFA
2008
IEEE
15 years 2 months ago
2008
IEEE
Distributed real-time applications implement distributed applications with timeliness requirements. Such systems require a deterministic communication medium with bounded communic...
119
Voted
SECON
2007
IEEE
15 years 6 months ago
2007
IEEE
—Programming Wireless Sensor Network (WSN) applications is known to be a difficult task. Part of the problem is that the resource limitations of typical WSN nodes force programm...
116
Voted
CAV
2000
Springer
15 years 4 months ago
2000
Springer
Hierarchical state machines is a popular visual formalism for software specifications. To apply automated analysis to such specifications, the traditional approach is to compile th...
123
click to vote
FUIN
2006
15 years 17 days ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
93
Voted
COMSWARE
2006
IEEE
15 years 6 months ago
2006
IEEE
Given the fast growing technological progress in microelectronics and wireless communication devices, in the near future, it is foreseeable that Wireless Sensor Networks (WSN) wil...