19986 search results - page 3666 / 3998 » On Designing Software Architectures |
169
click to vote
ISORC
2006
IEEE
16 years 21 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...
176
click to vote
ISSRE
2006
IEEE
16 years 21 days ago
2006
IEEE
A Java monitor is a Java class that defines one or more synchronized methods. Unlike a regular object, a Java monitor object is intended to be accessed by multiple threads simulta...
207
Voted
RSP
2006
IEEE
16 years 21 days ago
2006
IEEE
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
141
click to vote
SEW
2006
IEEE
16 years 21 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...
132
Voted
VTC
2006
IEEE
16 years 21 days ago
2006
IEEE
In this study, a new physical layer transmission technique is proposed with the spectrum efficiency up to two times of that of the Eureka-147 DAB system. The proposed technique com...