9626 search results - page 1642 / 1926 » Invariant Based Programming |
187
click to vote
ISPEC
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Access control is a system-wide concern that has both a generic nature and an application dependent characteristic. It is generic as many functions must be protected with...
140
click to vote
KES
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. This research develops an optimal planning model for pump-treatinject based groundwater remediation systems. Optimizing the design of the pump-treat-inject system is a no...
181
click to vote
MATES
2005
Springer
16 years 4 days ago
2005
Springer
One aspect of rational behavior is that agents can pursue multiple goals in parallel. Current BDI theory and systems do not provide a theoretical or architectural framework for dec...
181
click to vote
MICAI
2005
Springer
16 years 4 days ago
2005
Springer
Although undirected cycles in directed graphs of Bayesian belief networks have been thoroughly studied, little attention has so far been given to a systematic analysis of directed ...
161
click to vote
MKM
2005
Springer
16 years 4 days ago
2005
Springer
Recently, significant advances have been made in formalised mathematical texts for large, demanding proofs. But although such large developments are possible, they still take an i...