9989 search results - page 257 / 1998 » A CLP Approach to Modelling Systems |
181
click to vote
CAV
2005
Springer
16 years 4 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...
199
click to vote
FMCO
2005
Springer
16 years 4 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...
187
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...
162
click to vote
AUTOMATICA
2010
15 years 5 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...
164
click to vote
ATAL
2005
Springer
16 years 4 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 ...