517 search results - page 81 / 104 » Translation in XBRL standardization |
ECWEB
2001
Springer
15 years 2 months ago
2001
Springer
Electronic B2B marketplaces bring together many online suppliers and buyers, each of which can potentially use his own format to represent the products in his product catalog. The ...
94
Voted
LSSC
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. Quasi-Monte Carlo methods are based on the idea that random Monte Carlo techniques can often be improved by replacing the underlying source of random numbers with a more ...
114
click to vote
ISSTA
2000
ACM
15 years 2 months ago
2000
ACM
A method for finding bugs in code is presented. For given small numbers j and k, the code of a procedure is translated into a relational formula whose models represent all executi...
90
Voted
ISSS
1999
IEEE
15 years 1 months ago
1999
IEEE
Decreasing the program size has become an important goal in the design of embedded systems target to mass production. This problem has led to a number of efforts aimed at designin...
62
Voted
IWPC
1999
IEEE
15 years 1 months ago
1999
IEEE
One of the fundamental problems with the static analysis of binary (executable) code is that7 of recognizing, in a machine-independent way, the target addresses of n-conditional b...