3799 search results - page 312 / 760 » An Engineering Approach to Formal Methods |
176
click to vote
ISSRE
2006
IEEE
16 years 22 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...
170
click to vote
GLVLSI
2003
IEEE
16 years 12 hour ago
2003
IEEE
Modeling on-chip inductive effects for interconnects of multigigahertz microprocessors remains challenging. SPICE simulation of these effects is very slow because of the large num...
176
Voted
SAFECOMP
1999
Springer
15 years 11 months ago
1999
Springer
A crucial aspect of safety case management is the ongoing maintenance of the safety argument through life. Throughout the operational life of any system, the corresponding safety ...
166
click to vote
SOQUA
2004
15 years 8 months ago
2004
: As more third-party software components are available in the commercial market, more people begin to use the component-based software engineering approach to developing component...
160
click to vote
ICAD
2004
15 years 8 months ago
2004
This paper describes a design approach for creating generic computer user interfaces with spatial auditory displays. It proposes a structured depiction process from formulating mo...