6953 search results - page 1107 / 1391 » Development Tools for Distributed Applications |
191
click to vote
FM
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...
189
click to vote
BIS
2007
15 years 8 months ago
2007
Business intelligence requires the collecting and merging of information from many different sources, both structured and unstructured, in order to analyse for example financial ...
196
click to vote
DGO
2010
15 years 8 months ago
2010
An applied research for the incremental evolution of a service oriented architecture for local eGovernment portals has been developed. Our reference eGovernment environment, curre...
163
click to vote
LREC
2010
15 years 8 months ago
2010
In this paper, we base on the syntactic structural Chinese Treebank corpus, construct the Chinese Opinon Treebank for the research of opinion analysis. We introduce the tagging sc...
165
click to vote
ISSA
2008
15 years 8 months ago
2008
Bluetooth connectivity allows workers to access information anywhere, including both personal and corporate information. Software and applications have been specifically developed...