13917 search results - page 2573 / 2784 » Abstraction of Probabilistic Systems |
202
click to vote
TACAS
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. The Real-Time Calculus (RTC) [16] is a framework to analyze heterogeneous real-time systems that process event streams of data. The streams are characterized by pairs of ...
210
click to vote
HICSS
2010
IEEE
16 years 2 months ago
2010
IEEE
in Progress – Extended Abstract Word count: 3124 Effectively managing IT service centers such as call centers, computerized diagnostic imaging facilities, data centers, e-commerc...
200
click to vote
BIRTHDAY
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We claim that user preferences are a key component of effective Web service composition, and one that has largely been ignored. In this paper we propose a means of speci...
224
click to vote
EDBT
2009
ACM
16 years 2 months ago
2009
ACM
Data stream management systems usually have to process many long-running queries that are active at the same time. Multiple queries can be evaluated more efficiently together tha...
185
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—While prior research has extensively evaluated the performance advantage of moving from a 2D to a 3D design style, the impact of process parameter variations on 3D desig...