29908 search results - page 282 / 5982 » On the Complexity of |
157
click to vote
CSL
2007
Springer
16 years 26 days ago
2007
Springer
We study the complexity of satisfiability for DLP+ dyn , an expressive logic introduced by Demri that allows to reason about dynamic policies. DLP+ dyn extends the logic DLPdyn of...
181
click to vote
EEMMAS
2007
Springer
16 years 26 days ago
2007
Springer
Although there is a huge amount of work and valuable proposals about agent oriented software engineering, it seems that the paradigm has not been fully accepted yet by software ind...
200
click to vote
FROCOS
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. We present an overview of results on hierarchical and modular reasoning in complex theories. We show that for a special type of extensions of a base theory, which we call...
177
click to vote
GEOS
2007
Springer
16 years 26 days ago
2007
Springer
Spatial and temporal data are critical components in many applications. This is especially true in analytical domains such as national security and criminal investigation. Often, t...
169
click to vote
IMR
2007
Springer
16 years 25 days ago
2007
Springer
Unstructured hexahedral mesh generation is a critical part of the modeling process in the Spectral-Element Method (SEM). We present some examples of seismic wave propagation in co...