9989 search results - page 257 / 1998 » A CLP Approach to Modelling Systems |
200
click to vote
CAV
2005
Springer
16 years 22 days ago
2005
Springer
Statistical methods to model check stochastic systems have been, thus far, developed only for a sublogic of continuous stochastic logic (CSL) that does not have steady state operat...
227
click to vote
FMCO
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
211
click to vote
ICTAI
2008
IEEE
16 years 1 months ago
2008
IEEE
A major challenge in building recommender systems is organizing the recommendation space since, the underlying data organization scheme has a significant impact on the overall pe...
178
click to vote
AUTOMATICA
2010
15 years 6 months ago
2010
One of the important issues in networked control systems is the appropriate handling of the nonlinearities arising from uncertain time-varying delays. In this paper, using the Cay...
185
click to vote
ATAL
2005
Springer
16 years 22 days ago
2005
Springer
General trust management model that we present is adapted for ad-hoc coalition environment, rather than for classic client-supplier relationship. The trust representation used in ...