3335 search results - page 188 / 667 » A Unified Approach to Modeling and Programming |
164
click to vote
SAT
2007
Springer
16 years 21 days ago
2007
Springer
Unmanned aerial vehicles (UAVs) represent an important class of networked robotic applications that must be both highly dependable and autonomous. This paper addresses sensor deplo...
178
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
Model-based diagnosis applied to computer programs has been studied for several years. Although there are still weaknesses in the used models, especially on dealing with dynamic da...
172
click to vote
EOR
2006
15 years 6 months ago
2006
In this paper, we present a stochastic model for the dynamic fleet management problem with random travel times. Our approach decomposes the problem into time-staged subproblems by...
168
click to vote
OTM
2005
Springer
16 years 2 days ago
2005
Springer
: Object-role Modeling (ORM) is a fact-oriented modeling approach for specifying, transforming, and querying information at a conceptual level. Unlike Entity-Relationship modeling ...
196
click to vote
AUSAI
2004
Springer
15 years 12 months ago
2004
Springer
The PolicyUpdater1 system is a fully-implemented access control system that provides policy evaluations as well as dynamic policy updates. These functions are achieved by the use o...