3082 search results - page 390 / 617 » its 2004 |
160
click to vote
CAV
2004
Springer
16 years 6 days ago
2004
Springer
The logic of equality with uninterpreted functions (EUF) and its extensions have been widely applied to processor verification, by means of a large variety of progressively more s...
247
Voted
CAV
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
204
Voted
CBSE
2004
Springer
16 years 6 days ago
2004
Springer
Embedded systems must be cost-effective. This imposes strict requirements on the resource consumption of their applications. It is therefore desirable to be able to determine the ...
163
click to vote
CCS
2004
ACM
16 years 6 days ago
2004
ACM
WinZip is a popular compression utility for Microsoft Windows computers, the latest version of which is advertised as having “easy-to-use AES encryption to protect your sensitiv...
190
click to vote
CD
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. JBoss is an extensible Java application server that affords remote access to EJB components via multiple protocols. Its IIOP module supports IIOP-enabled EJBs, which are...