5622 search results - page 347 / 1125 » Solving architectural modelling problems using knowledge |
164
click to vote
FLAIRS
2006
15 years 8 months ago
2006
We propose a new decision-theoretic approach for solving execution-time deliberation scheduling problems using recent advances in Generalized Semi-Markov Decision Processes (GSMDP...
224
click to vote
SDL
2007
15 years 8 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
180
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: The indexing of scientific literature and content is a relevant and contemporary requirement within life science information systems. Navigating information available ...
188
click to vote
IWCMC
2006
ACM
16 years 21 days ago
2006
ACM
This paper presents a neural network model for routing in the space segment of a Satellite Personal Communication System. At first, a proper energy function is constructed from th...
193
click to vote
AI
2008
Springer
15 years 6 months ago
2008
Springer
Verification of reachability properties for probabilistic systems is usually based on variants of Markov processes. Current methods assume an exact model of the dynamic behavior a...