1690 search results - page 171 / 338 » Algorithmic Properties of Millstream Systems |
122
click to vote
HICSS
2007
IEEE
15 years 11 months ago
2007
IEEE
Next-generation software engineering is envisioned as a computational discipline that complements human capability through automated computation of software behavior and propertie...
139
click to vote
FORMATS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Quantitative model checking computes the probability values of a given property quantifying over all possible schedulers. It turns out that maximum and minimum probabilit...
115
click to vote
HPCS
2006
IEEE
15 years 10 months ago
2006
IEEE
We address computational issues relevant to the study of disordered quantum mechanical systems at very low temperatures. As an example we consider the disordered BoseHubbard model...
151
click to vote
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract— In the context of virtualized reality based telemicromanipulation, we present in this paper a visual calibration technique for optical microscope coupled with a CCD cam...
128
click to vote
PCI
2005
Springer
15 years 10 months ago
2005
Springer
Structured peer-to-peer overlay networks or Distributed Hash Tables (DHTs) are distributed systems optimized for storage and retrieval of read-only data. In this paper we elaborate...