2607 search results - page 502 / 522 » On the Architecture of System Verification Environments |
GRID
2004
Springer
14 years 21 days ago
2004
Springer
A comprehensive study of the whole petabyte-scale archival data of astronomical observatories has a possibility of new science and new knowledge in the field, while it was not fe...
CA
1999
IEEE
13 years 11 months ago
1999
IEEE
The continuously increasing complexity of computer animationsmakes it necessary to rely on the knowledge of various experts to cover the different areas of computer graphics and a...
TIC
1998
Springer
13 years 11 months ago
1998
Springer
In previous work, we presented a Typed Assembly Language (TAL). TAL is sufficiently expressive to serve as a target language for compilers of high-level languages such as ML. More...
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
We describe the commercial application of agents to the handling of catalogue and stock-control for the selling of books on the internet. The primary characteristic of the target ...
AICT
2006
IEEE
13 years 9 months ago
2006
IEEE
Fourth Generation (4G) is the next generation of wireless networks that will replace third Generation (3G) networks sometimes in future. 4G is intended to provide high speed, high...