10890 search results - page 1817 / 2178 » Automatic Complexity Analysis |
204
click to vote
CSR
2007
Springer
16 years 25 days ago
2007
Springer
Traditionally, data that has both linear and hierarchical structure, such as annotated linguistic data, is modeled using ordered trees and queried using tree automata. In this pap...
153
click to vote
EGOV
2007
Springer
16 years 25 days ago
2007
Springer
eVoting is a challenging approach for increasing eParticipation. However, lack of citizens’ trust seems to be a main obstacle that hinders its successful realization. In this pap...
163
click to vote
ER
2007
Springer
16 years 25 days ago
2007
Springer
1 A number of e-Processes (i.e. software processes for developing e-Commerce information systems) exist in industry. We presuppose that for a subclass of these their targeted quali...
166
click to vote
FMCO
2007
Springer
16 years 25 days ago
2007
Springer
This paper describes the architecture of costa, an abstract interpretation based cost and termination analyzer for Java bytecode. The system receives as input a bytecode program, (...
165
click to vote
FSKD
2007
Springer
16 years 25 days ago
2007
Springer
The selection of web services according to different quality of service (QoS) is one of the most important decision issues for which complex considerations are involved. In many c...