2661 search results - page 249 / 533 » Model Checking Performability Properties |
EPIA
2009
Springer
15 years 7 months ago
2009
Springer
Although several formal models of emotions for intelligent agents have recently been proposed, such models often do not formally specify how emotions influence the behavior of an ...
103
click to vote
PRL
2008
15 years 1 months ago
2008
In this paper, we propose spam e-mail filtering methods having high accuracies and low time complexities. The methods are based on the n-gram approach and a heuristics which is re...
119
click to vote
TCAD
2008
15 years 1 months ago
2008
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...
WSC
2008
15 years 3 months ago
2008
This paper investigates the effects of demand risk on the performance of supply chain in continuous time setting. The inventory level has been modeled as a jump-diffusion process ...
CORR
2008
Springer
15 years 1 months ago
2008
Springer
-- This paper presents the current state of a work in progress, whose objective is to better understand the effects of factors that significantly influence the performance of the L...