42507 search results - page 295 / 8502 » On the analysis of |
128
click to vote
ICSE
2010
IEEE-ACM
15 years 8 months ago
2010
IEEE-ACM
In my dissertation, I aim to develop a dependence-based impact analysis technique for event-based systems and eventbased components that communicate via messages. This paper motiv...
163
click to vote
APLAS
2005
ACM
15 years 8 months ago
2005
ACM
In this paper we propose a new parametric abstract finite model of Mobile Ambients able to express several properties on processes. The model can be used for the analysis of these...
142
click to vote
ACL
2008
15 years 8 months ago
2008
We present a novel fine-grained semantic representation of text and an approach to constructing it. This representation is largely extractable by today's technologies and fac...
134
click to vote
SERVICES
2010
15 years 8 months ago
2010
In this paper, we propose an approach based on Formal Concept Analysis in order to organize the services registry at runtime and to allow the "best" service selection am...
154
click to vote
NIPS
2007
15 years 8 months ago
2007
We propose to investigate test statistics for testing homogeneity based on kernel Fisher discriminant analysis. Asymptotic null distributions under null hypothesis are derived, an...