1356 search results - page 263 / 272 » The ideal of verified software |
ECMDAFA
2005
Springer
15 years 5 months ago
2005
Springer
This article presents a control flow analysis methodology based on UML 2.0 sequence diagrams (SD). In contrast to the conventional code-based control flow analysis techniques, thi...
ICESS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We consider broadcast protocols in wireless networks that have limited energy and computation resources. The well-known algorithm, DBIP (Directional Broadcast Incremental...
106
click to vote
ACMICEC
2004
ACM
15 years 5 months ago
2004
ACM
Electronic voting has become one of the most popular activities over the Internet. Security and privacy are always regarded as crucial factors in electronic voting system design. ...
DATE
2003
IEEE
15 years 5 months ago
2003
IEEE
The performance of a system, especially a multiprocessor system, heavily depends upon the efficiency of its bus architecture. This paper presents a methodology to generate a custo...
104
click to vote
MEMOCODE
2003
IEEE
15 years 5 months ago
2003
IEEE
In the design process of SoC (System on Chip), validation is one of the most critical and costly activity. The main problem for industrial companies like STMicroelectronics, stand...