13306 search results - page 446 / 2662 » Theoretical Computer Science |
234
click to vote
TCS
2010
15 years 2 months ago
2010
We are interested in describing timed systems that exhibit probabilistic behaviour. To this purpose, we consider a model of Probabilistic Timed Automata and introduce a concept of ...
232
click to vote
SPIN
2012
Springer
13 years 10 months ago
2012
Springer
Abstract. Craig interpolation is an active research topic and has become a powerful technique in veriļ¬cation. We present SMTInterpol, an interpolating SMT solver for the quantiļ¬...
196
click to vote
CSE
2009
IEEE
15 years 11 months ago
2009
IEEE
ā Visible Past proposes a new class of interdisciplinary learning, documenting, knowledge production, and discovery experiences that are anchored in space and time indicators. Th...
164
click to vote
CSE
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper presents an algorithm to perform the broadcasting of a packet to all the peers that are located into a convex region (Area of Interest) in a Voronoi based peer-topeer ne...
164
click to vote
MFCS
2004
Springer
16 years 28 days ago
2004
Springer
Abstract. Problem parameters are ubiquitous. In every area of computer science, we ļ¬nd all kinds of āspecial aspectsā to the problems encountered. Hence, the study of paramet...