8627 search results - page 1551 / 1726 » Software Engineering Using RATionale |
182
click to vote
COMSWARE
2006
IEEE
16 years 17 days ago
2006
IEEE
In this paper we propose a method for selecting an appropriate subset of sensors with a view to minimize estimation error while tracking a target with sensors spread across in a 2...
158
click to vote
ICAS
2006
IEEE
16 years 17 days ago
2006
IEEE
Autonomic systems are typically distributed, complex and concurrent systems, comprised of multiple interacting autonomic elements that often exhibit emergent behavior. Design and ...
157
click to vote
ISORC
2006
IEEE
16 years 16 days ago
2006
IEEE
Convenience, reliability, and effectiveness of automatic memory management have long been established in modern systems and programming languages such as Java. The timeliness req...
183
click to vote
ISSRE
2006
IEEE
16 years 16 days ago
2006
IEEE
Test suite reduction uses test requirement coverage to determine if the reduced test suite maintains the original suite’s requirement coverage. Based on observations from our pr...
140
click to vote
SEW
2006
IEEE
16 years 15 days ago
2006
IEEE
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...