792 search results - page 86 / 159 » Reading What Machines |
ICSE
2010
IEEE-ACM
14 years 1 months ago
2010
IEEE-ACM
Many software artifacts are created, maintained and evolved as part of a software development project. As software developers work on a project, they interact with existing projec...
ISWC
1999
IEEE
14 years 1 months ago
1999
IEEE
In this paper, we present our e orts towards developing an intelligent tourist system. The system is equipped with a unique combination of sensors and software. The hardware inclu...
ELPUB
2007
ACM
14 years 29 days ago
2007
ACM
Despite the fact that electronic publishing is a common activity to scholars, electronic journals are still based in the print model and do not take full advantage of the faciliti...
GLVLSI
2007
IEEE
14 years 28 days ago
2007
IEEE
This paper describes a formal verification methodology of highnthesis (HLS) process. The abstraction level of the input to HLS is so high compared to that of the output that the v...
ICCTA
2007
IEEE
14 years 28 days ago
2007
IEEE
The variables of the high-level specifications and the automatically generated temporary variables are mapped on to the data-path registers during data-path synthesis phase of hig...