7366 search results - page 716 / 1474 » Development of the Information Systems Implementation Resear... |
221
click to vote
CAV
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. In earlier work, we developed a technique to prove termination of Java programs automatically: first, Java programs are automatically transformed to term rewrite systems...
223
click to vote
APIN
2006
15 years 7 months ago
2006
The problem of service and resource matching is being actively discussed currently as a new challenging task for the next generation of semantic discovery approaches for Web servic...
191
click to vote
WCRE
2009
IEEE
16 years 2 months ago
2009
IEEE
—During the evolution of a software system, a large amount of information, which is not always directly related to the source code, is produced. Several researchers have provided...
249
click to vote
FROCOS
2009
Springer
16 years 1 months ago
2009
Springer
The developments in information technology during the last decade have been rapidly changing the possibilities for data and knowledge access. To respect this, several declarative k...
206
click to vote
JHSN
2000
15 years 7 months ago
2000
Telemedicine is many things to many people. Only until a few years ago, telemedicine was equated to video teleconferencing between physicians, while nowadays, perhaps the most acti...