809 search results - page 58 / 162 » 04421 Abstracts Collection - Algebraic Methods in Computatio... |
109
click to vote
AIMS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Dependable performance measurement is a common requirement for all on-line services. The ongoing tendency to outsource not only infrastructure, but also software parts to...
116
click to vote
IESA
2007
15 years 2 months ago
2007
Conventional approaches to manage and control security seem to have reached their limits in new complex environments. These environments are open, dynamic, heterogeneous, distribut...
104
click to vote
CIKM
2009
Springer
15 years 8 months ago
2009
Springer
We are building an interactive, visual text analysis tool that aids users in analyzing a large collection of text. Unlike existing work in text analysis, which focuses either on d...
135
click to vote
COMPSAC
2002
IEEE
15 years 6 months ago
2002
IEEE
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that...
102
click to vote
TACAS
2009
Springer
15 years 8 months ago
2009
Springer
We discuss the problem of path feasibility for programs manipulating strings using a collection of standard string library functions. We prove results on the complexity of this pro...