2307 search results - page 326 / 462 » Dynamic Fuzzy Logic |
138
click to vote
WSC
2000
15 years 5 months ago
2000
Analytical models for the dynamics of some discrete event systems are introduced where the system trajectories are solutions to linear and mixed-integer programs. 1 BACKGROUND The...
155
click to vote
ICFP
2005
ACM
16 years 3 months ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...
181
click to vote
DATE
1999
IEEE
15 years 8 months ago
1999
IEEE
Dynamically reconfigurable embedded systems offer potential for higher performance as well as adaptability to changing system requirements at low cost. Such systems employ run-tim...
169
click to vote
ECOWS
2007
Springer
15 years 7 months ago
2007
Springer
Web services are self-contained, modular units of application logic which provide business functionality to other applications via Internet connections. Several models have been u...
129
click to vote
ATMOS
2007
15 years 5 months ago
2007
Abstract. Approximate dynamic programming offers a new modeling and algorithmic strategy for complex problems such as rail operations. Problems in rail operations are often modeled...