32 search results - page 3 / 7 » acsc 2006 |
ACSC
2006
IEEE
13 years 11 months ago
2006
IEEE
Real-time Collaborative Software Engineering (CSE) tools have many perceived benefits including increased programmer communication and faster resolution of development conflicts...
ACSC
2006
IEEE
13 years 11 months ago
2006
IEEE
This paper presents a method of estimating the availability of fault-tolerant computer systems with several recovery procedures. A segregated failures model has been proposed rece...
ACSC
2006
IEEE
13 years 9 months ago
2006
IEEE
Communications devices intended for use in securitycritical applications must be rigorously evaluated to ensure they preserve data confidentiality. This process includes tracing t...
ACSC
2006
IEEE
13 years 11 months ago
2006
IEEE
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...
ACSC
2006
IEEE
13 years 11 months ago
2006
IEEE
The performance of an interconnection network is measured by two metrics: average latency and peak network throughput. Network throughput is the total number of packets delivered ...