17505 search results - page 3143 / 3501 » Use Cases as Workflows |
171
click to vote
ECSQARU
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We address the problem of providing a logical characterization of reasoning based on stereotypes. Following [6] we take a semantic perspective and we base our model on a ...
233
click to vote
ICFEM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...
181
Voted
NETCOOP
2009
Springer
16 years 1 months ago
2009
Springer
The fundamental limits on channel capacity form a barrier to the sustained growth on the use of wireless networks. To cope with this, multi-path communication solutions provide a p...
201
click to vote
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
Programmers build large-scale systems with multiple languages to reuse legacy code and leverage languages best suited to their problems. For instance, the same program may use Jav...
224
click to vote
RAID
2009
Springer
16 years 1 months ago
2009
Springer
The deployment and use of Anomaly Detection (AD) sensors often requires the intervention of a human expert to manually calibrate and optimize their performance. Depending on the si...