9989 search results - page 188 / 1998 » A CLP Approach to Modelling Systems |
131
click to vote
WSC
2000
15 years 6 months ago
2000
This paper presents an approach to the operational analysis of future space transportation systems. The approach combines knowledge from government and industry space operation an...
129
Voted
AI
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. This paper explores potential improvements to Zhang’s personalized trust approach for e-commerce, in particular examining means of optimizing the number of advisors tha...
125
Voted
PROMAS
2005
Springer
15 years 10 months ago
2005
Springer
The paper presents a way to robustly command a system of systems as a single entity. Instead of modeling each component system in isolation and then manually crafting interaction p...
112
click to vote
BPM
2004
Springer
15 years 10 months ago
2004
Springer
State-of-the-art systems engineering uses many models reflecting various aspects of the modeled system. A major task of system engineers is to ensure consistency between the many...
162
click to vote
RTSS
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...