22358 search results - page 3855 / 4472 » Software Performance Engineering |
179
click to vote
LCPC
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. We have designed and implemented an interprocedural algorithm to analyze symbolic value ranges that can be assumed by variables at any given point in a program. Our algor...
192
click to vote
PERVASIVE
2005
Springer
16 years 22 days ago
2005
Springer
Distributed sensor networks offer many new capabilities for contextually monitoring environments. By making such systems mobile, we increase the application-space for the distribut...
168
click to vote
PREMI
2005
Springer
16 years 22 days ago
2005
Springer
The configuration of a computational intelligence (CI) method is responsible for its intelligence (e.g. tolerance, flexibility) as well as its accuracy. In this paper, we investiga...
196
click to vote
SPC
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feahese approaches suffer from the need for ...
199
click to vote
TES
2005
Springer
16 years 22 days ago
2005
Springer
This paper discusses a combinatorial problem about the selection of candidates for Web service compositions. The problem occurs if we assume that a discovery process has identifi...