2203 search results - page 295 / 441 » Temporal Abstract Interpretation |
147
Voted
PAM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In this paper we analyze three and a half years of HTTP traffic observed at a small research institute to characterize the evolution of various facets of web operation. W...
146
Voted
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. User generated content in general, and blogs in particular, form an interesting and relatively little explored domain for mining knowledge. We address the task of blog di...
138
Voted
FORMATS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. In this paper, we propose a new framework for the parametric verification of time Petri nets with stopwatches controlled by inhibitor arcs. We first introduce an extensio...
99
Voted
ICONIP
2007
15 years 5 months ago
2007
Abstract. The present paper addresses a general diagram to investigate the real-time parallel computation mechanism in the brain, using an idea of “Gantt chart.” This diagram e...
191
Voted
CSAC
2006
15 years 5 months ago
2006
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...